Glossary
Arbre de Merkle
Arbre binaire de hash qui permet de s'engager sur un grand ensemble d'éléments via une racine unique, et de prouver ensuite l'inclusion d'un élément avec une preuve minuscule.
Un arbre de Merkle hache des paires d'éléments, puis des paires de ces hash, récursivement, jusqu'à ce qu'il ne reste qu'une seule racine. La racine s'engage sur toutes les feuilles à la fois.
Pour prouver qu'un élément donné fait partie de l'ensemble, il suffit de fournir les hash frères le long du chemin de la feuille jusqu'à la racine — une « preuve de Merkle » — et non l'ensemble complet. Les en-têtes de blocs s'engagent sur toutes leurs transactions via une racine de Merkle, ce qui permet aux clients légers de vérifier l'inclusion sans télécharger les blocs entiers.