Fundação Ethereum Detalha Avanços do zkEVM e Roteiro para 2026

Resumidamente

A Fundação Ethereum relatou melhorias de desempenho do zkEVM ao longo do último ano e agora está a priorizar a segurança e a verificação formal, estabelecendo marcos para alcançar uma segurança comprovável de 128 bits até ao final de 2026.

A Fundação Ethereum, uma organização sem fins lucrativos dedicada a apoiar o desenvolvimento a longo prazo do Ethereum através de investigação, tecnologia e iniciativas comunitárias, publicou uma atualização sobre o progresso do seu ecossistema zkEVM, resumindo um ano de avanços e delineando objetivos futuros.

De acordo com o relatório, a latência para provas em tempo real diminuiu drasticamente de 16 minutos para 16 segundos, os custos caíram 45 vezes, e os zkVMs agora verificam 99% dos blocos do Ethereum em menos de 10 segundos no hardware alvo. Embora estas melhorias de desempenho resolvam obstáculos importantes, a segurança continua a ser uma preocupação primordial.

Muitos zkEVMs baseados em STARK ainda dependem de suposições matemáticas não comprovadas, e pesquisas recentes desafiaram algumas dessas conjecturas, reduzindo a margem de segurança efetiva. A Fundação Ethereum enfatiza que a segurança comprovável continua a ser essencial, visando uma segurança de 128 bits, conforme recomendado por organismos de normalização e validado por benchmarks computacionais, especialmente dado o potencial de atacantes explorarem falhas de solidez nos zkEVMs de Camada 1, o que poderia comprometer grandes quantidades de fundos.

Equilibrar segurança e tamanho da prova é fundamental, pois uma maior segurança geralmente aumenta o tamanho das provas, que deve permanecer gerível para propagação na rede Ethereum. Para abordar isto, a Fundação estabeleceu três marcos principais.

A Fundação Ethereum destaca que até ao final de fevereiro de 2026, espera-se que as equipas zkEVM integrem o SoundCalc, uma ferramenta para estimar de forma consistente a segurança com base nos limites criptográficos atuais e nos parâmetros de prova. Até ao final de maio de 2026, o ecossistema pretende alcançar uma segurança comprovável de 100 bits, com tamanhos finais de prova inferiores a 600 KiB e uma descrição compacta da arquitetura de recursão. Até ao final de 2026, o objetivo é uma segurança comprovável de 128 bits, tamanhos de prova inferiores a 300 KiB, e um argumento de segurança formal para a arquitetura recursiva.

Desenvolvimentos recentes em criptografia e engenharia, incluindo compromissos polinomiais compactos, técnicas avançadas de recursão e composição estruturada de circuitos, tornam esses marcos viáveis. Documentar a arquitetura e a solidez da recursão é particularmente importante, pois os zkEVMs modernos envolvem designs complexos de circuitos recursivos específicos de equipa, essenciais para a segurança do sistema global.

Fundação Ethereum Muda o Foco Para Segurança e Verificação Formal do zkEVM Antes do Marco H-star

Existe uma razão estratégica para focar na segurança do zkEVM nesta fase. Garantir a segurança de um sistema que ainda está em evolução é desafiante, mas assim que as arquiteturas zkVM se estabilizarem e as equipas atingirem os objetivos-chave, os esforços de verificação formal poderão ser totalmente realizados. Até ao marco H-star, espera-se que a camada do sistema de provas esteja em grande parte consolidada — não permanentemente fixa, mas suficientemente estável para permitir a verificação formal de componentes críticos, finalizar provas de segurança e alinhar especificações com o código implantado. Essa estabilidade é essencial para alcançar zkEVMs de Camada 1 seguros.

Há um ano, a questão principal era se os zkEVMs poderiam provar transações de forma rápida o suficiente, e esse desafio já foi resolvido. O foco atual é se podem fazê-lo de forma fiável e segura, e a confiança é alta de que sim. A Fundação Ethereum planeia publicar uma publicação em janeiro a formalizar esses marcos, seguida de uma atualização técnica detalhando técnicas do sistema de provas para atingir os níveis de segurança e tamanhos de prova pretendidos. Os Ethproofs também serão atualizados para refletir a mudança para uma ênfase na segurança juntamente com o desempenho. Apoio da equipa de criptografia da Fundação estará disponível ao longo de todo este processo. Com a corrida de desempenho concluída, o foco agora volta a reforçar as fundações.