Cysic lança como código aberto o framework Venus zkVM e se junta aos Ethproofs como parceiro de integração

ChainCatcher relata que a Cysic anunciou oficialmente a abertura do código do framework de prova Venus, de prioridade gráfica (Graph-First) zkVM. Venus é construído sobre o ZisK, abandonando o modelo HAL tradicional que trata o processo de prova como uma série de funções backend isoladas, codificando todo o fluxo de prova ZK como um único gráfico de cálculo global, desacoplando lógica e execução de hardware. Testes práticos mostram que o Venus reduz o tempo de prova ponto a ponto em mais de 9% em comparação com o ZisK 0.16.1 atual, diminui significativamente o overhead de sincronização CPU-GPU e é compatível com GPU, FPGA e até ASIC. A Cysic já foi listada como parceira integrada do Ethproofs e operará diretamente como nó zkEVM da Ethereum. O zkVM ZisK, sobre o qual o Venus se baseia, utiliza um conjunto de instruções personalizado e é um dos cinco zkVMs candidatos explicitamente mencionados na discussão oficial da atualização EIP-8025 da Ethereum, permitindo à Cysic acessar diretamente a principal faixa do mercado de provas L1 da Ethereum.