A máquina virtual do Ethereum (ETH) foi criada em 2015 para executar contratos inteligentes — não para gerar provas criptográficas. Provas de conhecimento zero nasceram para verificar computações de forma barata e privada, sem qualquer noção do que seja um opcode.
Por anos, os dois mundos pareciam fundamentalmente incompatíveis.
Até que engenheiros descobriram como uni-los. O resultado é uma das infraestruturas tecnicamente mais exigentes de todo o universo cripto.
ZkEVM — sigla para “zero-knowledge Ethereum Virtual Machine” — é a tentativa de executar contratos inteligentes compatíveis com Ethereum e, em seguida, provar que eles rodaram corretamente usando provas de conhecimento zero (ZK proofs), sem exigir que desenvolvedores reescrevam uma única linha de código.
Na teoria, parece simples. Na prática, significou resolver problemas que travaram a indústria inteira por mais de cinco anos.
Resumo rápido (TL;DR)
- Um ZkEVM executa contratos inteligentes compatíveis com Ethereum e gera uma prova de conhecimento zero de que a execução foi correta, permitindo liquidação de transações rápida e barata de volta na mainnet do Ethereum.
- Quanto mais difícil é construir um ZkEVM, maior tende a ser sua compatibilidade com o ecossistema atual do Ethereum; esse trade-off está no centro de todas as decisões de design.
- Usuários capturam as garantias de segurança do Ethereum sem pagar o gás da camada principal, e desenvolvedores podem implantar contratos Solidity existentes com pouca ou nenhuma modificação.
O que as provas de conhecimento zero realmente fazem
Antes de falar de EVM, é preciso entender com clareza o que é — e o que não é — uma prova de conhecimento zero. Uma ZK proof é um método criptográfico que permite que uma parte, o provador, convença outra parte, o verificador, de que uma afirmação é verdadeira, sem revelar os dados que a tornam verdadeira.
O exemplo clássico é provar que você sabe uma senha sem nunca transmiti-la. Em blockchains, a afirmação quase sempre é computacional: “Eu rodei este programa com esta entrada, cheguei a esta saída e fiz tudo corretamente.”
No nosso contexto, o verificador é um contrato inteligente no Ethereum, na Layer 1, que checa a prova em milissegundos, sem precisar reexecutar cada transação.
Provas de conhecimento zero permitem que uma rede de Layer 2 agrupe milhares de transações, gere uma única prova compacta de que todas são válidas e publique apenas essa prova no Ethereum, reduzindo drasticamente o custo por usuário.
Hoje, dois sistemas de prova dominam o universo ZkEVM. SNARKs (Succinct Non-interactive ARguments of Knowledge) geram provas minúsculas, rápidas de verificar, mas exigem uma cerimônia de configuração confiável. STARKs (Scalable Transparent ARguments of Knowledge) dispensam essa etapa e são resistentes a ataques quânticos, porém produzem provas maiores. A maior parte dos times de ZkEVM, por enquanto, converge para sistemas baseados em SNARKs porque o custo de verificação na mainnet do Ethereum é um limite rígido.
Veja também: Trump Media Scraps $6.42B Cronos Treasury Deal With Crypto.com
Por que é tão difícil provar a EVM
A Ethereum Virtual Machine é um ambiente de execução baseado em pilha, com mais de 140 opcodes, um sistema de contabilidade de gás, uma arquitetura de memória complexa e uma coleção de casos de borda acumulados em quase uma década de uso em produção. Cada opcode, de um simples ADD até precompilados criptográficos como ECRECOVER, precisa ser representado como uma restrição aritmética para que o sistema de provas ZK consiga raciocinar sobre ele.
O problema é que sistemas de prova ZK “falam” uma linguagem matemática extremamente limitada. Eles operam nativamente sobre corpos finitos e equações polinomiais. A EVM foi projetada sem nada disso em mente. OpCodes como KECCAK256 (a função de hash do Ethereum) são quase o pior cenário possível para circuitos ZK, porque envolvem operações em nível de bit que se traduzem em conjuntos enormes e caros de restrições.
Esse descompasso originou o chamado “problema de incompatibilidade com a EVM”. Era possível construir um rollup ZK rápido e barato, mas que só rodava programas feitos sob medida para ambientes “ZK-friendly”. Ou tentar suportar a EVM completa, ao custo de uma geração de provas tão cara e lenta que anulava os benefícios. O desafio de engenharia do ZkEVM é justamente reduzir esse trade-off.
Gerar uma prova ZK para um único hash KECCAK256 pode exigir milhões de restrições aritméticas. Um bloco típico do Ethereum contém milhares de hashes, o que explica por que a geração de provas ZkEVM levava horas nas primeiras implementações e ainda hoje demanda hardware especializado.
Veja também: Arthur Hayes Sees Bitcoin Rally If Fed Opens Japan’s $1.373 Trillion Treasury Pool
Os quatro tipos de ZkEVM e o que eles significam
Nem todo ZkEVM é igual. O pesquisador do Ethereum Vitalik Buterin propôs em 2022 uma taxonomia hoje amplamente adotada, que divide implementações em quatro tipos, de acordo com o grau de compatibilidade com o stack atual do Ethereum. Entender esses tipos é a forma mais rápida de avaliar qualquer projeto de ZkEVM.
Tipo 1 é totalmente equivalente ao Ethereum. Prova exatamente a mesma transição de estado, mesma estrutura de bloco, mesmas funções de hash — tudo, sem alterações. Isso permite que clientes Ethereum atuais sincronizem com ele nativamente e que todas as ferramentas funcionem sem ajustes. O preço é que a geração de provas se torna extremamente lenta e cara. Nenhum ZkEVM em produção hoje opera como Tipo 1, embora alguns times persigam esse objetivo.
Tipo 2 é equivalente à EVM. Faz mudanças internas em algumas estruturas de dados — por exemplo, trocando KECCAK por uma hash mais amigável a ZK na árvore de estado —, mas mantém compatibilidade completa com o bytecode da EVM. Os contratos se comportam de forma idêntica. Do ponto de vista do desenvolvedor, nada muda. A geração de provas é mais rápida que no Tipo 1, embora ainda pesada. Scroll e as primeiras versões da Polygon zkEVM se enquadram nessa faixa.
Tipo 3 adiciona modificações que quebram um número pequeno de funcionalidades de borda, como certos precompilados. A imensa maioria dos contratos existentes continua funcionando. O custo de prova cai de forma relevante. A maior parte dos ZkEVMs lançados comercialmente entre 2023 e 2024 operou entre os Tipos 2 e 3 nas primeiras fases.
Tipo 4 compila código-fonte em Solidity ou Vyper para uma máquina virtual customizada e amigável a ZK, em vez de provar bytecode EVM diretamente. É a opção mais rápida e barata, mas pode introduzir diferenças sutis de comportamento — e alguns truques de baixo nível da EVM deixam de ser possíveis. O zkSync Era segue esse caminho, usando um compilador próprio baseado em LLVM.
Essa taxonomia é crucial para quem constrói aplicações. Um projeto que pretende migrar um protocolo DeFi maduro, já testado na mainnet do Ethereum, tende a buscar um ZkEVM Tipo 2 ou 3, onde o comportamento é praticamente idêntico. Já quem está começando do zero pode aceitar um Tipo 4 em troca de provas mais baratas e finalização mais rápida.
Veja também: Anthropic Locks Up 191 Megawatts Of Texas Power From A Bitcoin Miner
Como um ZkEVM processa uma transação na prática
Seguir uma transação de ponta a ponta ajuda a materializar a arquitetura. Quando um usuário envia uma transação para uma rede ZkEVM, a sequência é basicamente esta:
Primeiro, a transação chega ao sequencer, o nó responsável por ordenar e agrupar transações em lotes. O sequencer executa as transações, atualiza o estado da Layer 2 e fornece ao usuário uma “confirmação suave” imediata. Nesse momento, a carteira já exibe o novo saldo, mas a transação ainda não está criptograficamente finalizada no Ethereum.
Depois, o lote de transações é enviado a um prover, um software (ou hardware) especializado que roda o algoritmo de prova ZK. O prover pega o estado antes da execução, todas as transações e o estado depois da execução e gera uma prova de validade confirmando que a transição de estado foi computada corretamente. Essa etapa é computacionalmente pesada e pode levar de alguns segundos a vários minutos, a depender do sistema.
Em seguida, a prova e uma pequena quantidade de dados comprimidos das transações são enviados para um contrato inteligente no Ethereum, o verifier contract.
Esse contrato verifica a prova em uma única chamada on-chain, com um custo de gás fixo, independentemente do número de transações no lote. Uma vez verificada, a raiz de estado da Layer 2 é finalizada no Ethereum e passa a ser tão segura quanto qualquer transação na mainnet.
Veja também: XRP ETF Appears In National Bank Of Canada’s $111K Crypto Fund Disclosure
ZkEVM modular e interoperabilidade entre cadeias
O desenho original de ZkEVM pressupunha uma única camada de liquidação: o Ethereum. Tudo era provado e liquidado na mainnet. Uma arquitetura mais recente, porém, o ZkEVM modular, separa camada de execução, camada de prova e camada de liquidação, permitindo que cada uma seja combinada de forma independente.
É nesse contexto que entram projetos como o Prom.
O Prom se define como um ZkEVM modular de Layer 2 voltado à interoperabilidade entre cadeias EVM e não-EVM. Em vez de provar a execução e liquidar apenas no Ethereum, ele envia provas simultaneamente para múltiplas redes, criando uma ponte matemática entre ecossistemas que, até então, não tinham conexão trustless.
A abordagem modular importa porque elimina a suposição de que o Ethereum é a única superfície de liquidação válida.
No fim das contas, uma prova ZkEVM é apenas matemática. Se a Chain A e a Chain B têm contratos verificadores capazes de checar essa matemática, uma única prova pode finalizar a mesma transição de estado em ambas, ao mesmo tempo. É assim que ZK proofs deixam de ser apenas uma técnica de escalabilidade e passam a funcionar como um “primitivo” universal de interoperabilidade.
Arquiteturas de ZkEVM modular desacoplam execução e liquidação, o que significa que a mesma prova de validade pode ser verificada no Ethereum, em uma chain não-EVM, ou nas duas ao mesmo tempo — criando uma base criptográfica comum entre ecossistemas que, de outra forma, seriam incompatíveis.
Veja também: [TRON Cleared $2.1 Trillion In USDT, But Its DeFi Pool Shrank ] 1,9%
ZkEVM versus Optimistic Rollups, lado a lado
A comparação entre ZkEVM e optimistic rollups aparece o tempo todo – com razão: ambos atacam o mesmo problema, mas com filosofias opostas.
Os optimistic rollups partem do princípio de que as transações são válidas por padrão e só as verificam se alguém apresentar uma prova de fraude dentro de uma janela de disputa (normalmente sete dias). Isso torna a operação mais barata e a infraestrutura mais simples, mas significa que saques para a mainnet do Ethereum levam cerca de uma semana, a menos que o usuário recorra a um bridge de liquidez. Arbitrum e Optimism são hoje as principais redes nesse modelo.
Já os rollups ZkEVM não assumem nada. Cada lote de transações é considerado inválido até que uma prova criptográfica demonstre o contrário. O custo computacional do lado do provador é maior, mas os saques podem ser liquidados no Ethereum em questão de horas, e o sistema não depende de “observadores honestos” para flagrar fraudes.
Na prática, para o usuário final, as diferenças se resumem a:
- Velocidade de saque: clara vantagem do ZkEVM. A finalidade baseada em prova leva horas, contra sete dias nos saques nativos de optimistic rollups.
- Custo de transação: hoje, em muitos casos, optimistic rollups ainda são mais baratos, porque a geração de provas adiciona custo. Essa diferença vem diminuindo à medida que hardware e algoritmos de prova evoluem.
- Modelo de segurança: ZkEVM oferece garantias de validade criptográfica. Optimistic rollups entregam segurança econômica via provas de fraude – robusta, mas não equivalente a uma prova matemática de correção.
- Compatibilidade com a EVM: ZkEVMs modernos (Tipos 2/3) praticamente fecharam a lacuna e já suportam quase todo o ecossistema de ferramentas do Ethereum, eliminando o que foi, no passado, uma grande vantagem dos optimistic rollups.
- Risco de liveness: sistemas ZkEVM podem travar se o provador falhar. Optimistic rollups continuam processando blocos enquanto o sequencer estiver operacional.
Nenhuma abordagem é “melhor” em todos os cenários. Aplicações de altíssimo volume, que priorizam custo baixo e toleram janelas longas de saque, tendem a preferir optimistic rollups. Já casos de uso que exigem finalização rápida, liquidação entre múltiplas cadeias ou prova matemática de correção se inclinam para ZkEVM.
Leia também: Ações da CoreWeave disparam 11% após receita do 2º tri dobrar com boom de IA
Quem, na prática, mais se beneficia de ZkEVM hoje
ZkEVM já saiu do papel. Há múltiplas redes em produção, com valor travado relevante e usuários pagando taxas reais. Ainda assim, vale mapear quem captura mais valor em cada camada da pilha.
Protocolos DeFi migrando da mainnet do Ethereum se beneficiam de semântica de execução quase idêntica (Tipos 2/3) e de uma queda brutal nos custos de gás. Um protocolo que na mainnet cobrava algo como US$ 30 em gás por swap – expulsando o varejo – pode oferecer transações a frações de centavo em um ZkEVM, sem reescrever seus smart contracts.
Bridges e aplicações cross-chain se beneficiam de arquiteturas ZkEVM modulares que enviam provas para múltiplas redes. Em vez de confiar em bridges baseadas em multisig – historicamente, o alvo favorito de hackers no cripto – o usuário passa a depender de uma prova matemática verificada on-chain.
Empresas e instituições que constroem aplicações permissionadas ou semipermissionadas ganham um ambiente de execução testado em produção, com auditabilidade criptográfica. Cada transição de estado é provadamente correta, algo crucial para conformidade regulatória e prestação de contas.
Desenvolvedores que começam projetos do zero hoje precisam entender bem o trade-off entre Tipo 4 e Tipo 2 antes de escolher uma rede. Se você está escrevendo novos contratos em Solidity e quer máxima velocidade de prova e taxas mínimas, um ZkEVM Tipo 4 pode ser mais adequado. Se está migrando um protocolo já existente e não pode correr o risco de diferenças de comportamento, um Tipo 2 ou Tipo 3 tende a ser a opção mais segura.
Para o usuário comum, ZkEVM se apresenta basicamente como uma chain barata, rápida e compatível com Ethereum, onde a mesma carteira funciona e os mesmos tokens podem ser bridged. Toda a engenharia criptográfica por baixo do capô permanece invisível – exatamente como se espera de uma boa infraestrutura.
Leia também: Monad bate recorde de US$ 868 mi em TVL, mas demanda por MON segue fraca
Conclusão
ZkEVM é hoje um dos problemas mais complexos de convergência na criptografia aplicada: pegar uma máquina virtual concebida sem estrutura matemática e obrigá‑la a “falar” a linguagem das provas de conhecimento zero.
As equipes que chegaram lá passaram anos lidando com incompatibilidades de funções de hash, explosão de constraints e limitações de hardware de prova que nem existia quando os papers originais foram publicados.
O campo segue evoluindo rapidamente. Tempos de geração de prova continuam caindo. Redes descentralizadas de provadores começam a entrar em operação. A equivalência total ao Ethereum (Tipo 1) segue como alvo, com vários times já bastante próximos.
Para quem constrói ou aloca capital no ecossistema do Ethereum, entender como ZkEVM realmente funciona – para além dos slogans de marketing – é o alicerce de qualquer decisão estratégica a partir de agora.
Leia a seguir: Investida de US$ 500 bi da Nvidia em IA coloca tokens de computação cripto no radar
