Venus zkVM de Cysic se vuelve de código abierto mientras Ethereum mira los mercados a prueba
Cysic abre su motor Venus zkVM, reformulando la generación de pruebas como un gráfico de cálculo global y posicionando a ZisK dentro del mercado emergente de pruebas EIP-8025 de Ethereum.
Cysic ha lanzado Venus, un nuevo motor informático zkVM de código abierto que reestructura la generación de pruebas en torno a un gráfico de cálculo 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 gráficos de todo el proceso de prueba. "Este cambio de paradigma produce tres ventajas principales: optimización informática global, reducción del movimiento de datos ineficaces y utilización de la GPU notablemente mejorada", escribió el equipo.
Diseño de zkVM basado en gráficos
En lugar de tratar los backends de hardware como una secuencia de llamadas a funciones aisladas, Venus codifica la generación de prueba de conocimiento cero como un gráfico de cálculo explícito que se puede programar de extremo a extremo en GPU, FPGA y futuros ASIC. Cysic dice que esto permite al compilador "reordenar instrucciones y fusionar operaciones de memoria a través de los límites del núcleo", reduciendo la pérdida de memoria entre la CPU y el acelerador y coincidiendo mejor con el carácter masivamente paralelo de las operaciones MSM y NTT. En pruebas internas, el motor Venus entregó "más del 9% de mejora en el tiempo de prueba de extremo a extremo en comparación con ZisK 0.16.1", principalmente al recortar la sobrecarga de sincronización CPU-GPU en lugar de depender de ganancias de hardware sin procesar.
Línea directa a la pista de prueba de Ethereum
El anuncio de Venus llega cuando 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 zkVM. En su explicación, Cysic señala que ZisK es "uno de los cinco zkVM nombrados explícitamente como candidatos en las discusiones oficiales de la comunidad", 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 utilizando 24 GPU", cumpliendo objetivos en tiempo real. El proyecto "ya está activo en Ethproofs, presentando pruebas en tiempo real para bloques de Ethereum utilizando un único RTX 4090" y figura como socio de integración de Ethproofs a medida que el ecosistema avanza hacia un mercado de prueba L1.eips.
Juego de infraestructura ZK de pila completa
Cysic enmarca a Venus como el núcleo de aceleración de software dentro de una pila más grande que incluye ZisK zkVM en el 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 una computación bruta insuficiente, sino una falta de coincidencia arquitectónica fundamental", argumenta el equipo, y sostiene que se necesita un zkVM, un hardware y una pila de programación estrechamente integrados para hiperescalar la hoja de ruta zkEVM planificada de Ethereum.