zkEVM para verificação de bloco da l1

A zkEVM é uma tecnologia que usa provas de conhecimento zero para verificar a execução de blocos do Ethereum. Em vez de exigir que cada reexecute todas as transações em um bloco, um único ator especializado (chamado de "provador") executa o bloco e gera uma prova criptográfica de que a execução foi correta. Qualquer nó pode então verificar essa prova — um processo que é ordens de magnitude mais barato do que reexecutar todas as transações.

O problema da reexecução

Hoje, o Ethereum usa um modelo de verificação "N-de-N": cada validador deve reexecutar independentemente cada transação em cada bloco para verificar se as mudanças de estado propostas estão corretas. Embora essa abordagem seja maximamente sem necessidade de confiança, ela cria um gargalo fundamental.

O problema é que a vazão do Ethereum é limitada pelo que o validador médio pode processar. Aumentar o permitiria mais transações por bloco, mas também aumentaria os requisitos de hardware para os validadores. Isso ameaça a descentralização — se executar um validador exigir hardware caro, menos pessoas poderão participar da segurança da rede.

A zkEVM oferece uma saída para esse dilema. Ao mudar de "todos reexecutam" para "um prova, todos verificam", o Ethereum pode aumentar com segurança o limite de gas sem aumentar os requisitos de hardware do validador.

Como funciona a verificação da l1 com zkEVM

A verificação da zkEVM transforma a validação de bloco em um modelo "1-de-N":

1. Execução: Um provador executa todas as transações em um bloco, rastreando cada mudança de estado
2. Prova: O provador gera uma prova criptográfica (um SNARK ou STARK) que atesta a correção da execução
3. Verificação: Os validadores verificam a prova em vez de reexecutar as transações — isso é drasticamente mais barato do que a reexecução completa

A garantia de segurança permanece a mesma: se a execução foi incorreta, nenhuma prova válida pode ser gerada. Mas agora, em vez de cada nó fazer computação cara, apenas o provador faz — e a verificação é barata o suficiente para não restringir o limite de gas.

zkEVMs do Tipo 1

As zkEVMs são classificadas em tipos com base em sua compatibilidade com o Ethereum:

• Tipo 1: Totalmente equivalente ao Ethereum. Sem modificações na EVM, de modo que qualquer bloco do Ethereum pode ser provado exatamente como é
• Tipos 2-4: Fazem várias concessões, modificando o comportamento da EVM para facilitar a prova

Para a verificação da camada 1 (l1), o Tipo 1 é essencial. A zkEVM deve ser capaz de provar qualquer bloco válido do Ethereum, incluindo casos extremos e blocos históricos. Qualquer desvio do comportamento exato do Ethereum criaria problemas de consenso.

A pesquisa de zkEVM da Fundação Ethereum concentra-se em implementações do Tipo 1 que são totalmente compatíveis com a execução existente do Ethereum.

Benefícios para o Ethereum

Maior vazão

Quando a verificação é barata, o limite de gas pode aumentar com segurança. Isso expande a capacidade da rede e ajuda a estabilizar as taxas durante períodos de alta demanda. O limite de gas atual é parcialmente restrito pelo hardware do validador — a zkEVM remove essa restrição.

Descentralização mais forte

Com a verificação da zkEVM, os validadores só precisam verificar provas em vez de executar transações. Isso reduz drasticamente os requisitos de hardware para executar um validador, permitindo que mais pessoas participem da segurança da rede. Uma maior diversidade de validadores fortalece a resistência à censura e a resiliência do Ethereum.

Note que a própria prova requer recursos computacionais significativos, maiores do que os do hardware atual do validador. No entanto, ao contrário da validação, a prova não precisa ser descentralizada da mesma maneira: apenas uma prova correta é necessária por bloco, e qualquer um pode verificá-la rapidamente. A pesquisa em mercados de provadores, agregação de provas e aceleração de hardware visa garantir que a prova permaneça competitiva e acessível, em vez de concentrada entre alguns grandes operadores.

Finalidade previsível

A verificação de provas opera em tempo constante, independentemente da complexidade do bloco. Isso torna o tempo de atestação mais previsível e reduz as atestações perdidas que podem ocorrer quando os validadores têm dificuldade para processar blocos complexos a tempo.

Desafios da prova em tempo real

O principal desafio para a verificação da l1 com zkEVM é a velocidade. Os blocos do Ethereum são produzidos a cada 12 segundos, o que significa que as provas precisam ser geradas em um período semelhante para serem úteis para o consenso.

As implementações atuais de zkEVM podem levar de minutos a horas para provar um único bloco. A pesquisa concentra-se em fechar essa lacuna por meio de:

• Paralelização: Distribuição do trabalho de prova em várias máquinas
• Hardware especializado: Design de circuitos e hardware otimizados para provas ZK
• Melhorias algorítmicas: Sistemas de prova e designs de circuitos mais eficientes
• Prova incremental: Geração de provas à medida que as transações são executadas, em vez de depois

Pesquisa e implementações atuais

A Fundação Ethereum financia a pesquisa de zkEVM por meio da equipe Privacy Stewards of Ethereum (PSE) (opens in a new tab). As principais linhas de pesquisa incluem:

• Prova em tempo real: Geração de provas completas de blocos dentro de slots de 12 segundos
• Integração de clientes: Padronização de interfaces entre clientes de execução e provadores
• Incentivos econômicos: Design de mercados de provadores sustentáveis e estruturas de taxas

Status de implementação

Várias implementações de zkVM estão sendo desenvolvidas e testadas para a prova de blocos do Ethereum:

Estas usam máquinas virtuais baseadas em RISC-V para executar o bytecode da EVM e, em seguida, gerar provas ZK de execução correta. Os resultados de testes atualizados e o progresso são acompanhados no rastreador de zkVM da Fundação Ethereum (opens in a new tab).

Como a zkEVM se encaixa com outras atualizações

A verificação da l1 com zkEVM se conecta com vários outros itens do roteiro do Ethereum:

• Árvores Verkle: Permitem testemunhas menores para verificação com ausência de estado, reduzindo os dados com os quais os provadores precisam trabalhar
• Ausência de estado: A zkEVM é um facilitador fundamental — com provas ZK de execução, os nós não precisam do estado completo para verificar blocos
• Separação propositor-construtor (PBS): Os construtores de blocos poderiam potencialmente integrar a geração de provas, ou um mercado de provadores separado poderia surgir
• Finalidade de slot único: A geração mais rápida de provas poderia permitir a finalidade de slot único com garantias criptográficas

Leitura adicional

• zkEVM Foundation (opens in a new tab) - Hub oficial de pesquisa de zkEVM da Fundação Ethereum
• Ethproofs (opens in a new tab) - Acompanhe a corrida para provar o Ethereum em tempo real
• zkevm.fyi (opens in a new tab) - Livro técnico sobre zkEVM para a l1
• Especificações da zkEVM da PSE (opens in a new tab) - Especificações técnicas
• The Verge (opens in a new tab) - Visão geral de Vitalik sobre as melhorias de verificação
• Blog da zkEVM da EF (opens in a new tab) - Análise de desempenho da equipe da EF

Última atualização da página: 6 de junho de 2026

J

w (opens in a new tab)

Ver contribuidores