Cysic libera como código abierto su motor zkVM Venus, reformulando la generación de pruebas como un grafo de computación global y posicionando a ZisK dentro del emergente mercado de pruebas EIP‑8025 de Ethereum.
Cysic ha lanzado Venus, un nuevo motor de computación zkVM de código abierto que reestructura la generación de pruebas en torno a un grafo de computación global en lugar de una capa de abstracción de hardware tradicional, posicionando la pila ZisK de la compañía directamente dentro del emergente debate sobre el mercado de pruebas L1 de Ethereum. Al anunciar el movimiento en X, Cysic describió a Venus como “construido sobre ZisK” y dijo que el sistema “abandona el modelo HAL tradicional” en favor de una representación basada en grafos de todo el pipeline de pruebas. “Este cambio de paradigma ofrece tres ventajas fundamentales: optimización global de la computación, reducción del movimiento ineficaz de datos y una mejora notable en la utilización de la GPU”, escribió el equipo.
En lugar de tratar los backends de hardware como una secuencia de llamadas a funciones aisladas, Venus codifica la generación de pruebas de conocimiento cero como un grafo de computación explícito que puede programarse de principio a fin en GPUs, FPGAs y futuros ASICs. Cysic afirma que esto permite al compilador “reordenar instrucciones y fusionar operaciones de memoria a través de los límites del kernel”, reduciendo la contención de memoria entre la CPU y el acelerador y adaptándose mejor al carácter masivamente paralelo de las operaciones MSM y NTT. En pruebas internas, el motor Venus logró “una mejora de más del 9% en el tiempo de prueba de principio a fin en comparación con ZisK 0.16.1”, principalmente al reducir la sobrecarga de sincronización CPU-GPU en lugar de depender de las ganancias brutas de hardware.
El anuncio de Venus llega mientras la propuesta EIP‑8025 de Ethereum, denominada “Pruebas de Ejecución Opcionales”, formaliza un modelo de múltiples probadores para la validación de bloques L1 utilizando zkVMs. En su explicación, Cysic señala que ZisK es “uno de los cinco zkVMs explícitamente nombrados como candidatos en las discusiones oficiales de la comunidad”, junto con sistemas como RISC Zero y openVM, y afirma que el equipo ya puede “completar la generación de pruebas para un bloque de Ethereum en 7.4 segundos usando 24 GPUs”, cumpliendo los objetivos en tiempo real. El proyecto “ya está en vivo en Ethproofs, enviando pruebas en tiempo real para bloques de Ethereum usando una sola RTX 4090”, y está listado como socio de integración de Ethproofs a medida que el ecosistema avanza hacia un mercado de pruebas L1.eips.
Cysic enmarca a Venus como el núcleo de aceleración de software dentro de una pila más grande que incluye el zkVM ZisK como punto de entrada del protocolo, hardware ASIC personalizado como base computacional y una red ComputeFi para programar trabajos entre probadores. “El verdadero problema no es la computación bruta insuficiente, sino un desajuste arquitectónico fundamental”, argumenta el equipo, sosteniendo que se necesita una pila zkVM, de hardware y de programación estrechamente integrada para hiperescalar la hoja de ruta planificada de zkEVM de Ethereum.university.
