BAC-L2-TIA-104Celestia et blockchains modulaires
Arbres de Merkle à espaces de noms
La structure qui permet à un rollup de prouver qu'il a reçu toutes ses données — et seulement les siennes — sans lire le bloc entier.
- Niveau
- L2 — Développeur d'appchain
- Durée
- 3 h
- Mainteneur
- Architecte blockchain modulaire / Celestia
Objectifs pédagogiques
- 01Expliquer ce qu'un espace de noms ajoute à un arbre de Merkle
- 02Produire une preuve de complétude pour un espace de noms
- 03Vérifier qu'aucune donnée n'a été omise
Laboratoire guidé
Implémenter l'arbre à espaces de noms et son vérificateur de preuve de complétude.
Laboratoire autonome
Construire une preuve d'absence pour un espace de noms vide et la vérifier.
Volet sécurité
Sans preuve de complétude, un fournisseur peut livrer un sous-ensemble et paraître honnête.
Évaluation
Vérificateur passant les vecteurs de test de l'atelier.