BAC-L0-FOUND-106
Arbres de Merkle et preuves d'inclusion
Comment prouver qu'une donnée appartient à un ensemble sans transmettre l'ensemble. La structure qui rend possibles clients légers et échantillonnage de disponibilité.
- Niveau
- L0 — Fondation
- Durée
- 3 h
- Piste
- Fondation
- Mainteneur
- Architecte du curriculum développeur
Objectifs pédagogiques
- 01Construire un arbre de Merkle à partir d'un ensemble de transactions
- 02Produire et vérifier une preuve d'inclusion
- 03Calculer la taille d'une preuve en fonction du nombre de feuilles
Laboratoire guidé
Implémenter l'arbre, la génération de preuve et le vérificateur, puis mesurer la croissance logarithmique.
Laboratoire autonome
Étendre l'implémentation aux preuves de non-inclusion sur un arbre trié.
Volet sécurité
L'attaque par extension de second préimage sur les arbres binaires mal domaine-séparés.
Évaluation
Vérificateur de preuve passant la suite de tests de l'atelier.