A Cysic torna seu motor Venus zkVM de código aberto, reformulando a geração de provas como um grafo de computação global e posicionando o ZisK dentro do emergente mercado de provas EIP‑8025 do Ethereum.
A Cysic lançou o Venus, um novo motor de computação zkVM de código aberto que reestrutura a geração de provas em torno de um grafo de computação global, em vez de uma camada de abstração de hardware tradicional, posicionando a pilha ZisK da empresa diretamente no debate emergente do mercado de provas L1 do Ethereum. Anunciando a mudança no X, a Cysic descreveu o Venus como “construído sobre o ZisK” e disse que o sistema “abandona o modelo HAL tradicional” em favor de uma representação baseada em grafo de todo o pipeline de provas. “Esta mudança de paradigma oferece três vantagens principais: otimização global da computação, redução da movimentação ineficaz de dados e melhoria notável na utilização da GPU”, escreveu a equipe.
Em vez de tratar os backends de hardware como uma sequência de chamadas de função isoladas, o Venus codifica a geração de provas de conhecimento zero como um grafo de computação explícito que pode ser agendado de ponta a ponta em GPUs, FPGAs e futuros ASICs. A Cysic afirma que isso permite ao compilador “reordenar instruções e fundir operações de memória entre limites de kernel”, reduzindo o desperdício de memória entre CPU e acelerador e combinando melhor o caráter massivamente paralelo das operações MSM e NTT. Em testes internos, o motor Venus proporcionou “uma melhoria de mais de 9% no tempo de prova de ponta a ponta em comparação com o ZisK 0.16.1”, principalmente ao reduzir a sobrecarga de sincronização CPU‑GPU, em vez de depender de ganhos brutos de hardware.
O anúncio do Venus chega no momento em que a proposta EIP‑8025 do Ethereum, apelidada de “Provas de Execução Opcionais”, formaliza um modelo multi‑prover para validação de blocos L1 usando zkVMs. Em seu explicador, a Cysic observa que o ZisK é “um dos cinco zkVMs explicitamente nomeados como candidatos em discussões oficiais da comunidade”, juntamente com sistemas como RISC Zero e openVM, e afirma que a equipe já consegue “completar a geração de provas para um bloco Ethereum em 7,4 segundos usando 24 GPUs”, atingindo as metas em tempo real. O projeto “já está ativo no Ethproofs, enviando provas em tempo real para blocos Ethereum usando uma única RTX 4090”, e está listado como um parceiro de integração do Ethproofs à medida que o ecossistema avança em direção a um mercado de provas L1.eips.
A Cysic enquadra o Venus como o núcleo de aceleração de software dentro de uma pilha maior que inclui o ZisK zkVM no ponto de entrada do protocolo, hardware ASIC personalizado como base computacional e uma rede ComputeFi para agendamento de tarefas entre os provers. “O problema real não é a computação bruta insuficiente, mas uma incompatibilidade arquitetônica fundamental”, argumenta a equipe, afirmando que uma pilha de zkVM, hardware e agendamento firmemente integrada é necessária para escalar exponencialmente o roadmap zkEVM planejado do Ethereum.university.
