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 os validadores executarem novamente cada cálculo. A proposta, compartilhada via X em 15 de janeiro por Tomasz K. Stańczak, codiretor executivo da Fundação Ethereum, descreve o trabalho de engenharia necessário nos clientes de consenso e execução da Ethereum, além de novas infraestruturas de prova e processos de segurança.
zkEVM em L1 – o planohttps://t.co/KLz7PoH6q9
– Tomasz K. Stańczak (@tkstanczak) 15 de janeiro de 2026
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-first”. 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 estava correta.
O documento resume o pipeline pretendido em termos simples: um cliente de execução produz um pacote compacto de “testemunha” 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 um “ExecutionWitness”, uma estrutura de dados por bloco contendo as informações necessárias para validar a execução sem executá-la novamente. O plano exige um formato de testemunha formal nas especificações de execução do Ethereum, testes de conformidade e um endpoint RPC padronizado. Ele observa que o endpoint debug_executionWitness atual já está “sendo usado na produção pelo Kona do Optimism”, enquanto sugere que um endpoint mais compatível com zk pode ser necessário.
Uma dependência importante é adicionar um melhor rastreamento de quais partes do estado um bloco toca, por meio de listas de acesso em nível de bloco (BALs). O documento diz que em novembro de 2025, este trabalho não foi tratado como urgente o suficiente para ser transferido para bifurcações anteriores.
O próximo marco é um “programa convidado 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 metas padronizadas para que as 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 convidado: alvos comuns, formas comuns de acessar pré-compilações e E/S, e suposições acordadas sobre como os programas são carregados e executados.
Do lado do consenso, o roteiro pede mudanças para que os clientes do consenso possam aceitar provas zk como parte da validação do bloco de beacon, com especificações, vetores de teste e um plano de implementação interno. O documento também sinaliza a disponibilidade da 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 de protocolo. Inclui marcos para integrar zkVMs em ferramentas EF, como Ethproofs e Ere, testar configurações de GPU (incluindo “zkboost”) e rastrear confiabilidade e gargalos.
O benchmarking é enquadrado como um trabalho contínuo, com objetivos explícitos, como medir o tempo de geração de testemunhas, o tempo de criação e verificação de provas e o impacto da propagação de provas na rede. Essas medições poderiam contribuir para futuras propostas de reprecificação de gás para cargas de trabalho pesadas em zk.
A segurança também é marcada como perpétua, com planos para especificações formais, monitoramento, controles da cadeia de suprimentos, como construções reproduzíveis e assinatura de artefatos, e um modelo documentado de confiança e ameaças. O documento propõe um “quadro de aprovação/reprovação” para decidir quando os sistemas de prova estão suficientemente maduros para uma utilização mais ampla.
Uma dependência externa 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 um enquadramento de duas frases que capta a urgência: “Este não é um projeto em que estamos trabalhando. No entanto, é uma otimização que precisamos”. Espera-se que o ePBS seja implantado em “Glamsterdam”, previsto para meados de 2026.
Se esses marcos atingirem, o Ethereum estaria caminhando em direção à validação baseada em provas como uma opção prática em L1, enquanto o tempo e a complexidade operacional da prova continuariam sendo os fatores determinantes.
Até o momento, a ETH era negociada a US$ 3.300.
Imagem em destaque criada com DALL.E, gráfico de TradingView.com
Processo Editorial for bitcoinist está centrado na entrega de conteúdo exaustivamente pesquisado, preciso e imparcial. Mantemos padrões rígidos de fornecimento 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 de nosso conteúdo para nossos leitores.
Fontebitcoinist
