Prueba de Merkle

Una prueba de Merkle, también llamada prueba de inclusión, es una lista corta de hashes que demuestra que una transacción concreta forma parte de un bloque, sin que el verificador tenga que descargar todas sus transacciones. Quien prueba aporta los hashes hermanos a lo largo del camino desde esa transacción hasta la raíz de Merkle; quien verifica recalcula la cadena de hashes y comprueba que el valor final coincide con la raíz ya guardada en la cabecera del bloque. Las carteras ligeras, los puentes entre cadenas y los rollups se apoyan en esto para verificar datos de forma barata. Ojo con su límite: solo demuestra pertenencia a un árbol concreto, no que ese bloque esté en la cadena canónica.