﻿---
title: "Árvore Verkle"
description: "Uma árvore Verkle combina uma árvore larga com compromissos vetoriais para criar testemunhos de estado compactos, com custos criptográficos, de prova e migração."
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Árvore Verkle

> Apenas para fins educacionais; não constitui recomendação de investimento. Investimentos podem causar perdas.

<a id="answer"></a>

## 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.

<a id="mechanism"></a>

## 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.

<a id="example"></a>

## 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.

<a id="risks"></a>

## 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.

<a id="misconceptions"></a>

## 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.

<a id="related"></a>

## Tópicos relacionados

- [Árvore de Merkle](/pt-br/crypto/merkle-tree/)
- [Cliente leve](/pt-br/crypto/light-client/)
- [Raiz de estado](/pt-br/crypto/state-root/)
- [Ethereum](/pt-br/crypto/ethereum/)
- [Disponibilidade de dados](/pt-br/crypto/data-availability/)

<a id="sources"></a>

## Fontes

- [Verkle Trees](https://math.mit.edu/research/highschool/primes/materials/2018/Kuszmaul.pdf) - MIT PRIMES (acesso: 2026-08-22)
- [EIP-6800: Ethereum state using a unified verkle tree](https://eips.ethereum.org/EIPS/eip-6800) - Ethereum Improvement Proposals (acesso: 2026-08-22)
- [Verkle tree structure](https://blog.ethereum.org/2021/12/02/verkle-tree-structure) - Ethereum Foundation (acesso: 2026-08-22)
- [Verkle trees](https://ethereum.org/roadmap/verkle-trees/) - Ethereum.org (acesso: 2026-08-22)

Source: https://wiki.fcontext.com/pt-br/crypto/verkle-tree/index.mdx
