A Cysic tornou open-source seu framework Venus zkVM, um sistema de prova baseado em gráfico construído sobre o ZisK, que se afasta do modelo tradicional HAL ao codificar todo o pipeline de prova ZK como um gráfico de computação global. Essa abordagem desacopla a lógica da execução de hardware, resultando em um processo de prova mais eficiente. Testes no mundo real indicam que o Venus melhora o tempo de prova de ponta a ponta em mais de 9% em comparação com o ZisK 0.16.1 e reduz a sobrecarga de sincronização CPU-GPU. O framework é compatível com GPU, FPGA e ASIC. A Cysic também se juntou à Ethproofs como parceira de integração e operará como um nó zkEVM do Ethereum. O zkVM ZisK subjacente ao Venus está entre os cinco zkVMs considerados para a atualização EIP-8025 do Ethereum, colocando a Cysic na vanguarda do mercado de provas L1 do Ethereum.