Glossary
Árbol de Merkle
Un árbol binario de hashes que permite comprometerse con un gran conjunto de elementos en una sola raíz y luego demostrar la inclusión de cualquier elemento con una prueba diminuta.
Un árbol de Merkle hashea pares de elementos, luego pares de esos hashes, recursivamente, hasta que solo queda una única raíz. La raíz se compromete con cada hoja a la vez.
Para demostrar que un elemento dado está en el conjunto, solo necesitas los hashes hermanos a lo largo del camino de hoja a raíz — una "prueba de Merkle" — no todo el conjunto. Las cabeceras de bloque se comprometen con todas sus transacciones mediante una raíz de Merkle, que es como los clientes ligeros pueden verificar la inclusión sin descargar bloques enteros.