Cysic ha abierto el código de su framework Venus zkVM, un sistema de pruebas basado en gráficos construido sobre ZisK, que se aparta del modelo tradicional HAL al codificar toda la cadena de pruebas ZK como un grafo de computación global. Este enfoque desacopla la lógica de la ejecución del hardware, resultando en un proceso de prueba más eficiente. Pruebas en el mundo real indican que Venus mejora el tiempo de prueba de extremo a extremo en más del 9% en comparación con ZisK 0.16.1 y reduce la sobrecarga de sincronización CPU-GPU. El framework es compatible con GPU, FPGA y ASIC. Cysic también se ha unido a Ethproofs como socio de integración y operará como un nodo zkEVM de Ethereum. El zkVM ZisK que subyace en Venus está entre los cinco zkVMs considerados para la actualización EIP-8025 de Ethereum, posicionando a Cysic a la vanguardia del mercado de pruebas L1 de Ethereum.