A Cysic abrirá o código do mecanismo Venus zkVM, reformulará a geração de provas como um gráfico computacional global e posicionará o ZisK no emergente mercado de provas EIP-8025 da Ethereum.
resumo
O Venus substitui as tradicionais camadas de abstração de hardware por uma visualização baseada em gráficos de todo o pipeline de prova, permitindo otimização global da computação e maior utilização da GPU. Cysic relata uma melhoria de mais de 9% no tempo de prova ponta a ponta em comparação com ZisK 0.16.1, reduzindo a sobrecarga de sincronização de CPU e GPU em vez de depender de novo hardware. ZisK já está rodando em Ethproofs e foi citado na discussão EIP-8025, com a equipe reivindicando provas de bloco Ethereum de 7,4 segundos em 24 GPUs e provas em tempo real em um RTX 4090.
Cysic lançou Venus, um novo mecanismo de computação zkVM de código aberto que reestrutura a geração de provas em torno de um gráfico computacional global, em vez de camadas tradicionais de abstração de hardware. Isso coloca a pilha ZisK da empresa diretamente na discussão do mercado emergente de prova L1 da Ethereum. Ao anunciar a mudança para X, Cysic descreveu Vênus como “construído em cima do ZisK” e disse que o sistema “abandonou o modelo HAL tradicional” em favor de uma representação baseada em gráfico de todo o pipeline de provas. “Essa mudança de paradigma oferece três benefícios principais: otimização global da computação, redução da movimentação ineficiente de dados e utilização de GPU significativamente melhorada”, escreveu a equipe.
Em vez de tratar o backend de hardware como uma série de chamadas de função independentes, Venus codifica a geração de prova de conhecimento zero como um gráfico computacional explícito que pode ser programado de ponta a ponta em GPUs, FPGAs e futuros ASICs. De acordo com Cysic, isso permite ao compilador “reordenar instruções e fundir operações de memória através dos limites do kernel”, reduzindo o desgaste da memória entre a CPU e os aceleradores e combinando melhor a natureza massivamente paralela das operações MSM e NTT. Em testes internos, o mecanismo Venus alcançou “melhoria de mais de 9% no tempo de prova ponta a ponta em comparação com ZisK 0.16.1” reduzindo a sobrecarga de sincronização de CPU e GPU, em vez de depender principalmente de ganhos brutos de hardware.
O anúncio da Venus foi anunciado como a proposta EIP-8025 da Ethereum, chamada “Provas de Execução Opcionais”, que formaliza um modelo multi-provador para verificação de bloco L1 usando zkVM. Cysic disse em sua descrição que ZisK é “um dos cinco zkVMs explicitamente mencionados como candidatos em discussões oficiais da comunidade”, junto com sistemas como RISC Zero e openVM, e que a equipe já é capaz de “concluir a geração de prova de um bloco Ethereum em 7,4 segundos usando 24 GPUs”, atingindo metas em tempo real. O projeto “já está em execução no Ethproofs, transmitindo provas em tempo real de blocos Ethereum usando um único RTX 4090” e está listado como parceiro de integração do Ethproofs à medida que o ecossistema avança em direção a um mercado de provas L1. eips
Cysic enquadra Venus como um núcleo de aceleração de software dentro de uma pilha maior que inclui um ZisK zkVM como ponto de entrada do protocolo, hardware ASIC personalizado como base de computação e uma rede ComputeFi para agendar trabalhos entre provadores. “O verdadeiro problema não é a falta de computação bruta, mas uma incompatibilidade arquitetônica fundamental”, argumenta a equipe, argumentando que o roteiro zkEVM planejado da Ethereum para hiperescalar requer um zkVM, hardware e pilha de agendamento totalmente integrados.
