Árbol de Merkle

Un árbol de Merkle empieza calculando el hash de cada dato, por ejemplo de cada transacción de un bloque. Esos hashes se agrupan por parejas y se vuelven a resumir, nivel a nivel, hasta que solo queda uno: la raíz de Merkle. Cambiar cualquier elemento altera su hash y todos los que están por encima, de modo que la raíz funciona como una huella compacta de todo el conjunto.

Bitcoin guarda en la cabecera de cada bloque la raíz de Merkle de sus transacciones. Las billeteras ligeras usan pruebas de Merkle, un camino corto de hashes, para confirmar que una transacción está en un bloque sin descargarlo entero. Ethereum emplea una variante llamada Merkle Patricia trie para su estado, y los exchanges recurren a árboles de Merkle en sus pruebas de reservas para que cada cliente compruebe que su saldo está incluido.

Una prueba de Merkle solo demuestra que un elemento forma parte de un conjunto comprometido; no dice nada sobre si ese conjunto es completo u honesto. Un árbol de saldos de clientes, por ejemplo, no puede revelar las deudas que se dejaron fuera.