A Cysic disponibiliza oficialmente o Venus como código-fonte aberto, já listado como parceiro de integração da Ethproofs na Ethereum (Ethproofs).

Notícias da Mars Finance: a Cysic anunciou oficialmente o lançamento de código aberto do framework de provas zkVM Graph-First (primeiro o grafo) Venus. Venus é construída sobre o ZisK, abandona o modelo HAL tradicional que trata o processo de prova como uma série de funções backend isoladas e codifica todo o fluxo de prova ZK como um único grafo de computação global, desacoplando a lógica da execução no hardware. Testes em ambiente real mostram que, em comparação com o ZisK 0.16.1 existente, o Venus melhora o tempo de prova ponta a ponta em mais de 9%, reduz significativamente a sobrecarga de sincronização CPU-GPU e é compatível com GPU, FPGA e também ASIC. A Cysic foi listada como parceira de integração do Ethproofs e vai funcionar diretamente como um nó zkEVM da Ethereum. O ZisK zkVM sobre o qual o Venus se baseia utiliza um conjunto de instruções personalizado; é um dos cinco principais zkVMs explicitamente incluídos como candidatos nas discussões oficiais de atualização do EIP-8025 da Ethereum. A Cysic entra assim diretamente na corrida principal do mercado de provas para o Ethereum L1.