A ZKsync lançou o Airbender Prime, um prover de conhecimento zero que provou 7.200 blocos da Ethereum em menos de 10 segundos usando uma única GPU. O cofundador da Ethereum, Vitalik Buterin, chamou o feito de marco decisivo e afirmou que o desenvolvimento de zkEVMs precisa agora se concentrar em segurança, não em velocidade.
O que realmente aconteceu
A ZKsync anunciou o Airbender Prime, seu prover de conhecimento zero para a Ethereum, em 17 de outubro de 2026, segundo a Wu Blockchain. Nos testes, uma única GPU NVIDIA RTX PRO 6000 Blackwell gerou provas para um lote consecutivo de 7.200 blocos da mainnet da Ethereum. 99% das provas de blocos levaram menos de 10 segundos, e todos os blocos foram concluídos em até 12 segundos, incluindo o tempo de preparação das testemunhas (witness). O prover roda sobre o padrão aberto RISC-V e usa tecnologia de provas STARK baseadas em hash, construída com foco em segurança pós-quântica. Ele vem acompanhado de um verificador independente para checagens autônomas. Vitalik Buterin parabenizou a equipe do Airbender e disse que a corrida pela velocidade de prova em zkEVMs chegou a resultados decisivos. Segundo ele, a prioridade agora deve se voltar totalmente para a segurança.
Como chegamos aqui
Provas de conhecimento zero permitem que uma rollup comprove a validade de transações na Ethereum sem reexecutar cada cálculo, reduzindo custos e tempo de finalização. Por anos, as equipes de zkEVM competiram principalmente em velocidade de prova, já que provas lentas atrasavam saques e elevavam custos. Os resultados do Airbender Prime — 99% dos blocos provados em menos de 10 segundos em uma única GPU de uso comum — marcam um dos benchmarks públicos mais rápidos já vistos para um prover equivalente à Ethereum. Buterin listou três tarefas ainda pendentes para a verificação formal: confirmar que a aritmética do sistema de provas corresponde exatamente às regras do protocolo da Ethereum, estabelecer limites firmes de custo atrelados ao uso de gás por bloco, e verificar se o próprio sistema de conhecimento zero é matematicamente sólido. Isso transforma a disputa entre zkEVMs de uma corrida de desempenho em um problema de auditoria de segurança.
Por que isso importa para você
Para a ZKsync, provas mais rápidas podem significar taxas mais baratas e finalização mais ágil para quem faz bridge ou negocia em sua rollup. Para as demais equipes de zkEVM, as declarações de Buterin estabelecem um novo patamar: velocidade bruta não é mais o argumento decisivo, garantias formais de segurança sim. Desenvolvedores que trabalham em escalabilidade da Ethereum podem passar a priorizar auditorias e provas matemáticas de correção em vez de disputas de benchmark. Quem possui ativos em zk-rollups deve observar se os concorrentes direcionam recursos para verificação formal, o que pode atrasar alguns roteiros, mas reduz o risco de um bug no prover causar perda de fundos. No fim, os usuários ganham com uma chain que prova ser rápida e segura ao mesmo tempo.
A grande questão
Se a velocidade de prova deixou de ser o fator decisivo, qual será o novo critério para diferenciar os zkEVMs concorrentes? A verificação formal pode confirmar que um sistema corresponde à sua própria especificação, mas não garante que essa especificação cubra todos os ataques possíveis no mundo real. Quem decide quando um prover está seguro o suficiente para proteger bilhões em ativos?
O que observar
A ZKsync ainda não divulgou uma data para a integração do Airbender Prime à mainnet. Vale acompanhar como os desenvolvedores principais da Ethereum vão reagir ao roteiro de verificação formal proposto por Buterin nas próximas semanas. Outros projetos de zkEVM podem publicar seus próprios comparativos de benchmark à medida que o foco se desloca para auditorias de segurança. A Bonuz vai acompanhar como esse debate afeta a infraestrutura de provas que, eventualmente, pode sustentar dispositivos leves e sempre conectados, como óculos inteligentes, que dependem de verificação rápida e barata na borda da rede.
