Cysic publica de forma open-source su motor Venus zkVM, replanteando la generación de pruebas como un gráfico de computación global y posicionando ZisK dentro del mercado emergente de pruebas EIP‑8025 de Ethereum.
Resumen

• Venus reemplaza una capa tradicional de abstracción de hardware con una vista basada en grafos de todo el pipeline de generación de pruebas, habilitando optimización global del cómputo y mejor utilización de GPU.
• Cysic reporta más de un 9% de mejoras en el tiempo total de generación de pruebas frente a ZisK 0.16.1 al recortar la sobrecarga de sincronización CPU‑GPU, en lugar de depender de hardware nuevo.
• ZisK ya está en funcionamiento en Ethproofs y se cita en las discusiones de EIP‑8025, con el equipo afirmando pruebas de bloques de Ethereum de 7,4 segundos en 24 GPUs y generación de pruebas en tiempo real en una sola RTX 4090.

Cysic ha lanzado Venus, un nuevo motor open-source de computación zkVM que reestructura la generación de pruebas en torno a un gráfico de computación global en lugar de una capa tradicional de abstracción de hardware, posicionando el stack de ZisK de la compañía de lleno dentro del debate sobre el mercado L1 de pruebas de Ethereum en proceso de consolidación. Al anunciar el movimiento en X, Cysic describió Venus como “construido sobre ZisK” y dijo que el sistema “abandona el modelo tradicional HAL” a favor de una representación basada en grafos de todo el pipeline de pruebas. “Este cambio de paradigma ofrece tres ventajas principales: optimización global del cómputo, reducción del movimiento de datos ineficaz y una utilización de GPU marcadamente mejorada”, escribió el equipo.

Diseño de zkVM con enfoque en grafos {#graphfirst-zkvm-design}

En lugar de tratar los backends de hardware como una secuencia de llamadas aisladas a funciones, Venus codifica la generación de pruebas de conocimiento cero como un gráfico de computación explícito que puede programarse de extremo a extremo entre GPUs, FPGAs y futuros ASICs. Cysic dice que esto permite al compilador “reordenar instrucciones y fusionar operaciones de memoria a través de límites de kernel”, reduciendo la agitación de memoria entre la CPU y el acelerador y ajustándose mejor al carácter masivamente paralelo de las operaciones de MSM y NTT. En pruebas internas, el motor Venus entregó “una mejora de más del 9% en el tiempo total de las pruebas frente a ZisK 0.16.1”, principalmente recortando la sobrecarga de sincronización CPU‑GPU en lugar de depender de mejoras brutas de hardware.

Línea directa hacia el carril de pruebas de Ethereum {#direct-line-into-ethereums-proof-track}

El anuncio de Venus llega mientras la propuesta EIP‑8025 de Ethereum, denominada “Optional Execution Proofs”, formaliza un modelo de múltiples probadores para la validación de bloques L1 usando zkVMs. En su explicador, Cysic señala que ZisK es “uno de los cinco zkVM nombrados explícitamente como candidatos en discusiones comunitarias oficiales”, junto con sistemas como RISC Zero y openVM, y dice que el equipo ya puede “completar la generación de pruebas para un bloque de Ethereum en 7,4 segundos usando 24 GPUs”, cumpliendo objetivos de tiempo real. El proyecto “ya está en marcha en Ethproofs, enviando pruebas en tiempo real para bloques de Ethereum usando una sola RTX 4090”, y figura como un socio de integración de Ethproofs mientras el ecosistema avanza hacia un mercado L1 de pruebas.eips.

Estrategia integral de infraestructura ZK {#fullstack-zk-infrastructure-play}

Cysic presenta Venus como el núcleo de aceleración de software dentro de un stack más grande que incluye el zkVM ZisK en el punto de entrada del protocolo, hardware ASIC personalizado como base computacional y una red ComputeFi para programar trabajos entre probadores. “El problema real no es la falta de cómputo bruto, sino un desajuste arquitectónico fundamental”, argumenta el equipo, sosteniendo que se necesita un stack de zkVM, hardware y planificación estrechamente integrado para hiperescalar la hoja de ruta planificada de zkEVM de Ethereum.university.