BAC-L3-TIA-114Celestia et blockchains modulaires
Preuves de fraude et preuves de validité
Deux réponses opposées à la même question — comment un vérificateur sait qu'une transition d'état est correcte sans la rejouer entièrement.
- Niveau
- L3 — Ingénieur d'infrastructure
- Durée
- 4 h
- Mainteneur
- Architecte blockchain modulaire / Celestia
Objectifs pédagogiques
- 01Comparer le modèle optimiste et le modèle par preuve de validité
- 02Expliquer le rôle de la fenêtre de contestation
- 03Évaluer le coût de vérification de chaque approche
Laboratoire guidé
Construire une preuve de fraude sur une transition volontairement invalide.
Laboratoire autonome
Comparer par écrit latence, coût et hypothèses des deux approches pour un cas d'usage réel.
Volet sécurité
Le modèle optimiste suppose au moins un vérificateur honnête et disponible : chiffrer ce que suppose ce « au moins un ».
Évaluation
Preuve de fraude fonctionnelle et note comparative.