Saltar para o conteúdo principal

Cysic Venus Abre o Código-Fonte da Stack de Provas ZK Tornando a Verificação do Ethereum em Tempo Real Econômica

· 14 min de leitura
Dora Noda
Dora Noda
Software Engineer

Sete vírgula quatro segundos. Esse é o tempo que leva agora para gerar uma prova de conhecimento zero para um bloco inteiro da mainnet Ethereum em um cluster de 24 GPUs executando o novo prover Venus da Cysic. Há um ano, a mesma tarefa exigia 200 placas de última geração e dez segundos para atingir a paridade em tempo real. O colapso dessa lacuna — aproximadamente uma ordem de grandeza no custo de hardware ao mesmo tempo em que quebra o limite de doze segundos do slot time da Ethereum — é o ponto de inflexão mais silencioso na infraestrutura de cripto deste trimestre. E isso está acontecendo precisamente quando a atualização PeerDAS do Fusaka abre as comportas de disponibilidade de dados, transformando a geração de provas no único gargalo remanescente entre a Ethereum e um futuro de centenas de rollups.

Em 8 de abril de 2026, a Cysic abriu o código do Venus, um backend de prova otimizado para hardware construído sobre o Zisk, o zkVM originalmente desenvolvido pela Polygon Hermez. O lançamento não foi comercializado com a coreografia habitual de desbloqueio de tokens. Foi postado no GitHub com uma nota técnica alegando uma melhoria de nove por cento de ponta a ponta em relação ao ZisK 0.16.1 e um convite para contribuir. Esse eufemismo esconde a verdadeira história: a prova ZK cruzou silenciosamente de projeto de pesquisa para computação de commodity, e a stack de infraestrutura que vencerá os próximos dois anos não se parecerá com o que a maioria das equipes de L2 está construindo atualmente.

O Gargalo que Ninguém Precificou​

Por três anos, o debate sobre a escalabilidade da Ethereum fixou-se na disponibilidade de dados. Blobs, EIP-4844, PeerDAS, danksharding — cada conversa sobre o roadmap assumia que, uma vez que a Ethereum pudesse postar dados de rollup de forma barata, as L2s herdariam a redução de custos automaticamente. Essa suposição quebrou silenciosamente no final de 2025. O Fusaka foi lançado em 3 de dezembro de 2025, e o PeerDAS chegou com ele, prometendo 48 blobs por bloco e um caminho para 12.000 transações por segundo. A disponibilidade de dados, pela primeira vez na história da Ethereum, deixou de ser a restrição mais apertada do sistema.

A nova restrição mais apertada é a geração de provas. Os ZK rollups precisam de atestações criptográficas de que suas transições de estado são válidas. Gerar essas provas é um trabalho de computação caro que acontece off-chain, em hardware especializado. Os Optimistic rollups, que resolvem disputas por meio de uma janela de desafio em vez de prova matemática, pulam esse custo inteiramente — e é por isso que os principais ZK L2s atualmente possuem cerca de US3,3bilho~esemvalortotalbloqueado,enquantoosoptimisticrollupsultrapassaramUS 3,3 bilhões em valor total bloqueado, enquanto os optimistic rollups ultrapassaram US 40 bilhões. A lacuna de doze para um não é um problema de narrativa. É um problema de economia do prover.

A pesquisa interna da Succinct colocou a matemática de forma direta. Para provar cada bloco da Ethereum em tempo real com o SP1 Turbo, era necessário um cluster de 160 a 200 GPUs RTX 4090 — um gasto de capital de US300.000aUS 300.000 a US 400.000 por cluster de prova, consumindo eletricidade em escala de rede. Qualquer L2 que quisesse rodar seu próprio prover enfrentava a escolha entre centralizar a geração de provas com um punhado de operadores que podiam pagar por essa stack, ou aceitar latências de prova de vários minutos que quebravam a experiência do usuário. Nenhuma das opções entregava o "ZK endgame" que Vitalik vem esboçando desde 2021.

Como o Venus Realmente Funciona​

O Venus é interessante menos pelo que é e mais pelo que representa. A Cysic não inventou um novo sistema de prova. A criptografia subjacente vem do Zisk, que descende de anos de trabalho de Jordi Baylina e da equipe da Polygon. O que a Cysic fez foi redesenhar a camada de execução para que a geração de provas se torne um gráfico de computação explícito — um diagrama acíclico direcionado de operações que podem ser agendadas de ponta a ponta em hardware heterogêneo.

Na prática, isso significa que o overhead de sincronização CPU-GPU que dominava os zkVMs anteriores é otimizado na camada de agendamento. O prover não para e espera que um kernel de GPU termine antes de despachar a próxima operação. O gráfico é conhecido antecipadamente, portanto, a movimentação de dados, alocação de memória e lançamentos de kernel podem ser encadeados. É daí que vem a melhoria de nove por cento em relação ao ZisK 0.16.1 — não de uma inovação na matemática polinomial, mas de uma vitória de engenharia em como a matemática toca o silício.

Mais importante ainda, o mesmo gráfico de computação roda em FPGAs e, eventualmente, no ASIC ZK dedicado da Cysic. A empresa afirmou publicamente que seu ASIC pode realizar 1,33 milhão de avaliações de função hash Keccak por segundo, uma melhoria de cem vezes em relação às cargas de trabalho típicas de GPU, com uma eficiência energética aproximadamente cinquenta vezes melhor. Estimativas internas sugerem que uma única unidade ZK Pro construída especificamente para esse fim poderia substituir cerca de 50 GPUs enquanto consome uma fração da energia. Se esses números se mantiverem na produção, a economia da prova mudará do aluguel de armazéns cheios de placas RTX para a operação de um rack compacto de chips especializados.

A Corrida para a Prova em Menos de Doze Segundos​

O Venus não chegou em um vácuo. Nos últimos doze meses, três equipes convergiram para o mesmo marco: provar blocos da Ethereum em menos do slot time de doze segundos que define a verificação em tempo real.

A Succinct atingiu isso primeiro publicamente. O SP1 Hypercube, anunciado em maio de 2025, provou 93 por cento de uma amostra de 10.000 blocos da mainnet em tempo real usando um cluster de 200 placas RTX 4090. Uma revisão de novembro de 2025 elevou a taxa de sucesso para 99,7 por cento usando apenas dezesseis GPUs RTX 5090 — uma redução de custo de hardware de cerca de 90 por cento em seis meses. O sistema está agora ativo na mainnet Ethereum, produzindo provas para cada bloco conforme são minerados.

O número da Cysic é ainda mais apertado em termos de custo. Sete vírgula quatro segundos com 24 GPUs coloca a prova de ponta a ponta confortavelmente dentro do slot time em hardware de commodity. O lançamento atual do Venus é de código aberto, não auditado para produção e ainda está em desenvolvimento ativo. Mas a trajetória da engenharia sugere que uma prova em menos de dez segundos em um cluster de nível de consumidor é agora uma questão de ajuste de software, em vez de arquitetura fundamental.

Os custos por prova colapsaram em sincronia. Os benchmarks da indústria colocam o melhor custo atual em cerca de dois centavos por prova de bloco da Ethereum usando hardware 16x RTX 5090. A meta para a adoção em massa é inferior a um centavo. Há um ano, essa mesma prova custava perto de um dólar. Há três anos, era literalmente antieconômico — as taxas de gás no rollup liquidado não cobririam a conta de eletricidade do prover. Esse é o tipo de curva de custo que mata silenciosamente categorias inteiras de produtos, e está acelerando.

As Guerras de Marketplace Já Estão Aqui​

Provas rápidas e baratas não se tornam acessíveis automaticamente. Alguém tem de operar o hardware, corresponder à procura, definir o preço dos trabalhos de prova e liquidar os pagamentos. Três apostas arquitetónicas diferentes competem agora por essa camada de middleware.

O Boundless, lançado na mainnet pela RISC Zero em setembro de 2025, opera um marketplace de leilões. Os operadores de GPU licitam para produzir provas, e o sistema encaminha o trabalho para o provador qualificado de menor custo. O modelo inspira-se em mercados de computação spot, como o AWS Spot Instances, e promete levar os custos de prova em direção ao custo marginal do hardware. O Boundless adicionou recentemente a liquidação em Bitcoin, o que permite que provas de Ethereum e Base sejam verificadas na camada base do Bitcoin — uma expansão de nicho, mas significativa, de onde as atestações ZK podem residir.

A Prover Network da Succinct faz uma aposta diferente. Em vez de um leilão puro, opera um protocolo de encaminhamento com provadores de alto desempenho aprovados que lidam com cargas de trabalho específicas. A Cysic juntou-se à rede como operadora de provadores multi-node, executando clusters de GPU afinados para o tráfego de produção do SP1 Hypercube. Este arranjo sugere que a Succinct vê valor em garantias de fiabilidade e latência que um mercado spot puro não pode fornecer para rollups voltados para o consumidor.

A própria Cysic lançou a sua mainnet e o token CYS em 11 de dezembro de 2025, e desde então processou mais de dez milhões de provas ZK integradas com Scroll, Aleo, Succinct, ETHProof e outros. A proposta da rede é o " ComputeFi " — transformar a capacidade de prova num ativo líquido onchain que os operadores podem tokenizar e realizar stake. Se isto se tornará um terceiro grande marketplace ou se estabelecerá num papel de fornecedor para as duas redes maiores é a questão em aberto para 2026.

Por Que Isto Importa para a Economia dos Rollups​

A conclusão reside três camadas abaixo das notícias de infraestrutura, na economia unitária das L2 s reais. Hoje, um rollup zkEVM gasta uma fração significativa dos seus custos por transação na geração de provas. Esses custos são repassados aos utilizadores como taxas de gás ou absorvidos pelo operador do rollup como margem. De qualquer forma, eles aumentam a lacuna entre o que um rollup ZK pode cobrar e o que um rollup otimista cobra pela mesma transação.

Se os custos de prova caírem para níveis inferiores a um cêntimo e a latência de prova se ajustar ao tempo de slot do Ethereum, essa lacuna fecha-se. Um rollup ZK deixa de precisar de cobrar um prémio de segurança. A experiência do utilizador torna-se indistinguível de um rollup otimista — exceto que os levantamentos são liquidados em minutos, em vez da janela de desafio de sete dias que ainda taxa com fricção cada ponte otimista.

Essa inversão é estruturalmente importante porque os maiores pools de liquidez institucional ainda citam o atraso de levantamento dos rollups otimistas como uma razão para permanecerem na L1. A prova ZK em tempo real com preços impulsionados pelo mercado remove o último argumento funcional contra a arquitetura de rollup ZK - first. Todas as equipas de L2 que atualmente utilizam uma stack otimista enfrentarão uma revisão técnica séria em 2026. Várias irão migrar ou, no mínimo, lançar um fork ZK do seu sequenciador.

O Que Ainda Pode Falhar​

O lançamento do Venus é honesto sobre as suas limitações. O código não foi auditado para uso em produção. Executar software de provador não auditado num rollup ativo é o tipo de decisão que arruína carreiras se um bug de integridade criar uma prova inválida que o verificador aceite. Espera-se que a implementação em produção ocorra meses, e não semanas, após o lançamento do código aberto.

A questão do hardware também concentra riscos. Se a prova baseada em ASIC proporcionar o ganho de eficiência de cinquenta vezes prometido, um punhado de fabricantes dominará o hardware de provadores da mesma forma que a Bitmain dominou a mineração de Bitcoin. Essa dinâmica vai contra a narrativa de descentralização que justificou os rollups ZK em primeiro lugar. O roteiro de ASIC da Cysic é uma resposta a um problema de computação, mas é uma nova questão sobre quem detém os chips que protegem a maior plataforma de contratos inteligentes do mundo.

Finalmente, a prova em tempo real só importa se o resto da stack acompanhar. A amostragem de disponibilidade de dados via PeerDAS precisa de funcionar realmente à escala de produção, não apenas em benchmarks de testnet. A descentralização do sequenciador continua a ser um problema não resolvido em todas as principais L2 s. A prova é necessária, mas não suficiente para o objetivo final, e a indústria tem um historial de declarar vitória numa camada enquanto ignora silenciosamente falhas em camadas adjacentes.

A Inflexão a Curto Prazo​

Ao observar o panorama geral, o padrão torna-se claro. Em maio de 2025, a prova de Ethereum em tempo real exigia um cluster de GPU de $ 400.000 e um orçamento de investigação de nove dígitos. Em abril de 2026, ela corre em 24 placas comuns com software de código aberto. Os próximos dezoito meses comprimirão ainda mais a curva de custos — em direção à economia de ASIC, em direção a preços por prova ao nível de cêntimos, em direção à geração de provas como um serviço de utilidade pública em vez de um projeto de infraestrutura personalizado.

Para os construtores, a implicação prática é que as arquiteturas baseadas em ZK que eram inviáveis economicamente em 2024 valem a pena ser reavaliadas agora. Protocolos de transação que preservam a privacidade, inferência de IA verificável, mensagens cross - chain com segurança matemática em vez de multisig, identidade onchain com divulgação de credenciais de conhecimento zero — tudo isto estava atrás de uma barreira de custos de prova que já não existe.

O lançamento do Cysic Venus, lido isoladamente, é uma atualização de engenharia modesta para um backend de prova de código aberto. Lido no contexto do SP1 Hypercube da Succinct a chegar à mainnet, do Boundless a executar leilões de prova ao vivo e do PeerDAS da Fusaka a eliminar o gargalo da disponibilidade de dados — é o ponto onde a infraestrutura ZK deixa de ser a restrição e passa a ser o substrato. Todas as teses de rollup escritas antes desta transição precisam de uma revisão.

A BlockEden.xyz fornece RPC de nível empresarial e infraestrutura de dados em mais de 27 cadeias, incluindo L2 s de Ethereum, Scroll e Aptos. À medida que a prova em tempo real remodela o cenário das L2 s, explore o nosso marketplace de APIs para construir sobre bases fiáveis para a era ZK - native.

Fontes:

Share on Twitter