A Cysic disponibilizou em open‑source o seu motor zkVM Venus, redefinindo a geração de provas como um grafo de computação global e posicionando a ZisK no mercado emergente de provas EIP‑8025 do Ethereum.
Resumo

• Venus substitui uma camada tradicional de abstração de hardware por uma visão baseada em grafos de todo o pipeline de prova, permitindo otimização global de computação e melhor utilização de GPU.
• A Cysic reporta ganhos de mais de 9% no tempo total de prova face à ZisK 0.16.1, ao reduzir a sobrecarga de sincronização CPU‑GPU em vez de depender de novo hardware.
• A ZisK já está em funcionamento no Ethproofs e é citada nas discussões do EIP‑8025, com a equipa a afirmar provas de blocos Ethereum em 7,4 segundos em 24 GPUs e prova em tempo real num único RTX 4090.

A Cysic lançou a Venus, um novo motor de computação zkVM open‑source que reorganiza a geração de provas em torno de um grafo de computação global em vez de uma camada tradicional de abstração de hardware, posicionando o stack ZisK da empresa de forma clara dentro do debate sobre o mercado emergente de provas L1 do Ethereum. Ao anunciar a mudança no X, a Cysic descreveu a Venus como «construída por cima da ZisK» e disse que o sistema «abandona o modelo HAL tradicional» em favor de uma representação baseada em grafos de todo o pipeline de prova. «Esta mudança de paradigma traz três vantagens principais: otimização global da computação, redução do movimento de dados ineficaz e uma melhoria claramente superior na utilização de GPU», escreveu a equipa.

Concepção de zkVM orientada a grafos {#graphfirst-zkvm-design}

Em vez de tratar os backends de hardware como uma sequência de chamadas de funções isoladas, a Venus codifica a geração de provas de conhecimento zero como um grafo de computação explícito que pode ser agendado fim‑a‑fim entre GPUs, FPGAs e futuros ASICs. A Cysic diz que isto permite ao compilador «reordenar instruções e fundir operações de memória entre limites de kernel», reduzindo o thrash de memória entre a CPU e o acelerador e melhor correspondendo ao carácter massivamente paralelo das operações de MSM e NTT. Em testes internos, o motor Venus entregou «uma melhoria de mais de 9% no tempo total de prova em comparação com a ZisK 0.16.1», principalmente ao reduzir a sobrecarga de sincronização CPU‑GPU em vez de depender de ganhos brutos de hardware.

Ligação direta ao trilho de provas do Ethereum {#direct-line-into-ethereums-proof-track}

O anúncio da Venus chega no momento em que a proposta do Ethereum EIP‑8025, denominada «Optional Execution Proofs», formaliza um modelo multi‑provedor para validação de blocos L1 usando zkVMs. No seu explainer, a Cysic nota que a ZisK é «um dos cinco zkVMs explicitamente nomeados como candidatos em discussões comunitárias oficiais», juntamente com sistemas como RISC Zero e openVM, e diz que a equipa já consegue «concluir a geração de provas para um bloco Ethereum em 7,4 segundos usando 24 GPUs», cumprindo metas de tempo real. O projeto «já está em funcionamento no Ethproofs, submetendo provas em tempo real para blocos Ethereum usando um único RTX 4090», e está listado como parceiro de integração do Ethproofs enquanto o ecossistema se move em direção a um mercado de provas L1.eips.

Jogada de infraestruturas ZK full‑stack {#fullstack-zk-infrastructure-play}

A Cysic apresenta a Venus como o núcleo de aceleração de software dentro de um stack maior que inclui a zkVM ZisK no ponto de entrada do protocolo, hardware ASIC personalizado como base computacional e uma rede ComputeFi para agendar jobs entre provedores. «O problema real não é computação bruta insuficiente, mas sim uma incompatibilidade arquitetural fundamental», argumenta a equipa, defendendo que é necessário um stack fortemente integrado de zkVM, hardware e agendamento para fazer o hyperscale do roadmap planeado de zkEVM do Ethereum.university.