Prueba de Merkle

Un árbol de Merkle es un árbol binario de hashes: las hojas son hashes de los datos y cada nodo interno es el hash de la concatenación de sus dos hijos hasta llegar a la raíz. Para probar que una hoja pertenece al árbol, el probador entrega los hashes hermanos a lo largo del camino hasta la raíz, alrededor de log₂(N) hashes para N hojas. El verificador recombina ascendiendo y comprueba que el resultado iguala la raíz conocida. Para un millón de hojas bastan unos 20 hashes frente a procesar el conjunto entero.

Permite verificar pertenencia de forma sucinta sin descargar conjuntos de datos completos. Sus usos típicos son los airdrops, donde la lista de elegibles se compromete en una raíz y cada usuario presenta su prueba para reclamar; las pruebas de reservas de exchanges; y los clientes ligeros (SPV en Bitcoin), que verifican que una transacción está en un bloque sin descargarlo. Como buena práctica, una implementación sólida separa el dominio de hojas y de nodos internos para evitar ataques de segunda preimagen.