Apenas para fins educacionais; não constitui recomendação de investimento. Investimentos podem causar perdas.
Resposta direta
Uma árvore Verkle é uma árvore autenticada de chave-valor cujos nós internos usam compromissos vetoriais. Como uma árvore de Merkle, vincula muitos valores a uma raiz; diferente de uma árvore comum baseada em hash, prova um filho em uma posição sem fornecer todos os irmãos.
Isso permite alta ramificação e agregação de aberturas de várias chaves, reduzindo o testemunho diante de uma Merkle-Patricia Trie. O testemunho ainda contém valores de execução e prova que os liga a uma raiz autenticada. Validação “sem estado” não significa que ninguém armazene estado nem elimina consenso. Em 2026-08-22, o roteiro do Ethereum ainda citava testnets e trabalho pendente de clientes; EIP-6800 estava Stagnant.
Como funciona
O protocolo fixa codificações determinísticas, esquema de compromisso e regras para nós vazios. Cada nó compromete um vetor ordenado de filhos; o provador abre a posição relevante em cada nível, e um multiproof agrega aberturas e reutiliza caminhos. O verificador confere chaves, valores, compromissos e prova contra uma raiz confiável.
No EIP-6800, uma chave de 32-byte tem stem de 31-byte e suffix de 1-byte, com nós de largura 256. Valores do mesmo stem compartilham material. É um layout específico: maior largura encurta caminhos, mas exige aritmética de curva elíptica e pré-computação para comprometer, atualizar e verificar.
Exemplo
Suponha que um stem de 31-byte agrupe 256 suffix possíveis. Se um bloco lê 2 valores do mesmo stem, reutiliza o caminho e agrega aberturas em vez de carregar 2 conjuntos de hashes irmãos de Merkle. Ainda verifica ambas as chaves e valores, a prova e a raiz escolhida.
Mudar um valor atualiza seu compromisso e os ancestrais até a raiz. Prova da raiz antiga não prova a nova. A economia depende do acesso: prova compacta não significa banda ou custo zero nem garante disponibilidade.
Riscos
Erros em derivação de chave, ordem de bytes, vínculo de posição, separação de domínios, validação de pontos, conversão escalar ou distinção entre vazio e zero podem romper a segurança. Vetores de teste e interoperabilidade são essenciais.
Provas menores não resolvem disponibilidade nem vivacidade: reter um valor impede execução, e raiz ou finality incorreta aceita outro histórico. Produzir provas também pode virar gargalo ou ponto de censura.
Migrar muda layout, sincronização, formatos, bancos, contabilização de Gas e provas históricas. Proposta ou devnet não comprova prontidão. Os compromissos de curva elíptica considerados também não costumam ser post-quantum secure.
Equívocos comuns
Equívoco 1: é só uma árvore de Merkle com mais filhos
A diferença decisiva é abrir um filho por compromisso vetorial sem listar todos os irmãos.
Equívoco 2: toda prova tem tamanho total constante
Aberturas agregam, mas o testemunho cresce com valores, caminhos e metadados.
Equívoco 3: sem estado significa que ninguém guarda estado
O verificador evita a cópia completa, mas alguém conserva ou reconstrói e entrega os dados.
Equívoco 4: Ethereum mainnet já usa árvores Verkle
As fontes tratam de pesquisa e testnets; na data verificada, EIP-6800 era Stagnant.
Tópicos relacionados
Fontes
- Verkle Trees - MIT PRIMES (acesso: 2026-08-22)
- EIP-6800: Ethereum state using a unified verkle tree - Ethereum Improvement Proposals (acesso: 2026-08-22)
- Verkle tree structure - Ethereum Foundation (acesso: 2026-08-22)
- Verkle trees - Ethereum.org (acesso: 2026-08-22)