Fundação Ethereum mapeia o caminho para provas zkEVM na mainnet L1

Conteúdo editorial de confiança, revisado por especialistas líderes da indústria e editores experientes. Divulgação de Anúncios A Fundação Ethereum publicou um plano passo a passo para permitir que a cadeia principal do Ethereum valide blocos usando provas zkEVM, reduzindo a necessidade de validadores reexecutarem cada cálculo por si próprios. A proposta, compartilhada via X em 15 de janeiro por Tomasz K. Stańczak, Co-Director Executivo da Fundação Ethereum, detalha o trabalho de engenharia necessário nos clientes de execução e consenso do Ethereum, além de uma nova infraestrutura de prova e processos de segurança.

Ethereum L1 Avança em Direção à Validação Baseada em Provas zk

Já em julho do ano passado, a Fundação Ethereum anunciou sua abordagem “zk-primeiro”. Hoje, os validadores do Ethereum normalmente verificam um bloco reexecutando as transações e comparando os resultados. O plano propõe uma alternativa: os validadores poderiam verificar uma prova criptográfica de que a execução do bloco foi correta.

O documento resume a pipeline pretendida em termos simples: um cliente de execução produz um pacote “testemunha” compacto para um bloco, um programa zkEVM padronizado usa esse pacote para gerar uma prova de execução correta, e os clientes de consenso verificam essa prova durante a validação do bloco.

O primeiro marco é criar uma “ExecutionWitness”, uma estrutura de dados por bloco contendo as informações necessárias para validar a execução sem reexecutá-la. O plano prevê um formato formal de testemunha nas especificações de execução do Ethereum, testes de conformidade e um endpoint RPC padronizado. Observa que o endpoint debug_executionWitness atual já está “sendo usado em produção pelo Kona da Optimism”, enquanto sugere que pode ser necessário um endpoint mais zk-friendly.

Leitura Relacionada: Ethereum Ganha Apoio Institucional, Embora a Perspectiva de Preço do ETH Permaneça ControversaUm dependência chave é adicionar um melhor rastreamento de quais partes do estado um bloco toca, via Listas de Acesso ao Nível do Bloco (BALs). O documento afirma que, em novembro de 2025, esse trabalho não foi tratado como urgente o suficiente para ser backportado para forks anteriores.

O próximo marco é um “programa de hóspede zkEVM”, descrito como uma lógica de validação sem estado que verifica se um bloco produz uma transição de estado válida quando combinado com sua testemunha. O plano enfatiza construções reproduzíveis e compilação para alvos padronizados para que suposições sejam explícitas e verificáveis.

Além do código específico do Ethereum, o plano visa padronizar a interface entre zkVMs e o programa hóspede: alvos comuns, formas comuns de acessar pré-compilados e I/O, e suposições acordadas sobre como os programas são carregados e executados.

No lado do consenso, o roteiro prevê mudanças para que os clientes de consenso possam aceitar provas zk como parte da validação do bloco do farol, com especificações acompanhantes, vetores de teste e um plano de implementação interna. O documento também destaca a disponibilidade de carga útil de execução como importante, incluindo uma abordagem que poderia envolver “colocar o bloco em blobs”.

A proposta trata a geração de provas tanto como um problema operacional quanto como um problema de protocolo. Inclui marcos para integrar zkVMs nas ferramentas EF, como Ethproofs e Ere, testar configurações de GPU (incluindo “zkboost”), e acompanhar confiabilidade e gargalos.

Leitura Relacionada: Dinheiro da Ivy League Compra Bitcoin e Ethereum: Dartmouth Revela IBIT, ETH Mini StakesA avaliação é apresentada como trabalho contínuo, com objetivos explícitos como medir o tempo de geração de testemunhas, tempo de criação e verificação de provas, e o impacto na rede da propagação de provas. Essas medições podem alimentar futuras propostas de reajuste de gás para cargas de trabalho com forte uso de zk.

A segurança também é marcada como perpétua, com planos para especificações formais, monitoramento, controles de cadeia de suprimentos como construções reproduzíveis e assinatura de artefatos, e um modelo de confiança e ameaças documentado. O documento propõe uma “estrutura de decisão sim/não” para determinar quando os sistemas de prova estão maduros o suficiente para uso mais amplo.

Uma dependência externa que se destaca é o ePBS, que o documento descreve como necessário para dar mais tempo aos provadores. Sem ele, o plano diz que o provador tem “1–2 segundos” para criar uma prova; com ele, “6–9 segundos”. O documento acrescenta uma estrutura de duas frases que captura a urgência: “Este não é um projeto no qual estamos trabalhando. No entanto, é uma otimização de que precisamos.” Espera-se que o ePBS seja implantado em “Glamsterdam”, com previsão para meados de 2026.

Se esses marcos forem alcançados, o Ethereum estaria avançando em direção à validação baseada em provas como uma opção prática na L1, enquanto o tempo e a complexidade operacional de provar permanecem como fatores limitantes.

No momento do fechamento, o ETH negociava a $3.300.

ETH enfrenta o Fib 0.618, gráfico de 1 semana | Fonte: ETHUSDT no TradingView.comImagem em destaque criada com DALL.E, gráfico do TradingView.com Processo Editorial para bitcoinist é centrado em fornecer conteúdo minuciosamente pesquisado, preciso e imparcial. Mantemos padrões rigorosos de fontes, e cada página passa por uma revisão diligente por nossa equipe de especialistas em tecnologia e editores experientes. Este processo garante a integridade, relevância e valor do nosso conteúdo para nossos leitores.