---
title: "Árvore de Merkle"
description: "Uma árvore de Merkle compromete dados ordenados com um único hash raiz e permite provas compactas de inclusão sem transferir todo o conjunto."
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 de Merkle
> Apenas para fins educacionais; não é recomendação de investimento. Investir pode resultar em perdas.
## Resposta direta
Uma árvore de Merkle transforma cada dado em uma folha por meio de hash, combina hashes vizinhos repetidamente e produz uma raiz de Merkle. A raiz compromete de forma compacta as folhas e as regras de ordem e hash usadas.
Uma prova de Merkle contém o hash irmão de cada nível para uma folha. O verificador refaz o caminho até a raiz e aceita a inclusão somente quando o resultado coincide com uma raiz confiável. As demais folhas não são necessárias.
O compromisso trata da representação dos dados, não da sua verdade. Uma raiz correspondente não prova que a fonte está correta, que os dados continuam disponíveis ou que contrato, ponte, oráculo e mercado são seguros. O verificador deve obter raiz e folha por protocolo autenticado e entender separação de domínio, ordem e regras de folhas ímpares.
Árvores de Merkle aparecem em vários projetos. O Bitcoin coloca a raiz das transações no cabeçalho de cada bloco; o Ethereum usa uma Trie de Merkle-Patricia modificada para o estado e outras estruturas autenticadas. Codificação, formato de prova, atualizações e premissas de segurança diferem.
## Como funciona
O sistema define uma codificação determinística das folhas e uma função hash. Em seguida calcula o hash de cada folha, de pares de filhos para criar pais e repete até restar uma raiz. A prova deve informar posição ou direção quando o protocolo não permite inferi-la.
Em uma árvore binária equilibrada, uma prova para uma de 1024 folhas precisa de cerca de 10 hashes irmãos, pois cada nível dobra o intervalo coberto. O tamanho depende da forma, do comprimento do hash, da política de duplicação e de provas múltiplas ou comprimidas.
A relação central é `parent = Hash(left || right)` e `root = fold(parent, leaves)`. É uma notação esquemática: o protocolo pode usar prefixos, outra aridade ou chaves em uma trie. A prova demonstra consistência com a construção, mas não autentica uma raiz que o verificador não tenha aceitado independentemente.
Em uma blockchain, a raiz é comprometida por cabeçalho, registro de estado ou contrato. Um cliente leve solicita folha e caminho de autenticação, recalcula a raiz e aplica regras de confirmação, finalidade, atualidade e disponibilidade. Verificar hashes não substitui essas regras.
## Exemplo
Suponha um bloco com 1024 transações em uma árvore binária. Uma transação pode levar cerca de 10 hashes irmãos em vez das outras 1023 transações. O verificador ainda precisa do cabeçalho e das regras de codificação e posição.
Se a prova falhar, confira os bytes da folha, a ordem dos bytes, o preenchimento, a origem da raiz e o status do bloco antes de concluir que a transação não existe. Uma prova válida para raiz não finalizada ou antiga pode não representar o estado canônico.
Para um saldo ou recompensa exibidos, separe a validade da prova do resultado econômico. Taxas, preços, slippage, permissões do contrato, limites de saque ou uma fonte indisponível podem alterar o valor. A prova verifica pertencimento, não um valor resgatável.
## Riscos
Os riscos técnicos incluem codificações ambíguas, uso incorreto do hash, fraquezas de segunda pré-imagem ou colisão, ordem errada dos irmãos e raízes não confiáveis ou desatualizadas. A separação de domínio exige implementação consistente.
Os riscos operacionais ficam fora do cálculo. Ponte, oráculo, sequenciador, exchange ou administrador pode publicar, atrasar, censurar ou trocar a raiz; falha de disponibilidade pode impedir a obtenção da folha ou prova; uma reorganização pode invalidar prova ligada a bloco anterior.
Antes de confiar na prova, identifique quem autentica a raiz, como atualidade e finalidade são verificadas, como folhas ausentes ou ímpares são tratadas e se os usuários conseguem recuperar os dados. Limite autorizações e exposição quando a perda potencial não puder ser delimitada.
## Equívocos comuns
### Mito 1: Uma raiz correspondente prova que os dados são verdadeiros
Ela prova apenas que a folha fornecida é consistente com a raiz comprometida segundo a construção. Se um oráculo comprometer um valor errado, a prova verificará fielmente esse valor.
### Mito 2: Uma prova de Merkle torna todo o sistema sem confiança
O verificador ainda confia no hash, na codificação, no caminho de autenticação e no sistema que entrega os dados. Consenso, finalidade, disponibilidade e governança continuam separados.
### Mito 3: Toda blockchain usa a mesma árvore de Merkle
Árvores de transações do Bitcoin, Trie de Merkle-Patricia do Ethereum e árvores de aplicação têm layouts e regras de prova distintos. Um formato não é automaticamente transferível.
### Mito 4: Uma prova curta garante uma transação barata e segura
O tamanho reduz a transferência, mas gas de verificação, leituras, congestionamento, bugs e riscos de saque ou liquidação podem dominar o resultado.
## Tópicos relacionados
- [Blockchain](/pt-br/crypto/blockchain/)
- [Hash criptográfico](/pt-br/crypto/cryptographic-hash/)
- [Cliente leve](/pt-br/crypto/light-client/)
- [Ethereum](/pt-br/crypto/ethereum/)
- [Disponibilidade de dados](/pt-br/crypto/data-availability/)
## Fontes
- [Blockchain Technology Overview](https://doi.org/10.6028/NIST.IR.8202) - NIST (acesso: 2026-08-21)
- [Merkle Trees](https://developer.bitcoin.org/devguide/block_chain.html#merkle-trees) - Bitcoin.org (acesso: 2026-08-21)
- [Merkle Patricia Trie](https://ethereum.org/developers/docs/data-structures-and-encoding/patricia-merkle-trie/) - Ethereum Foundation (acesso: 2026-08-21)
Source: https://wiki.fcontext.com/pt-br/crypto/merkle-tree/index.mdx