🥩 Casper (Proof of Stake) — Proposition d'épreuve et corrigé

Avertissement. Il s’agit d’une proposition personnelle, à but pédagogique — pas une épreuve officielle du Concours National Commun (CNC) ni de l’Agrégation.

Proposition d’épreuve d’informatique portant sur Casper, le protocole de finalité en Proof of Stake d’Ethereum, avec son corrigé détaillé. Sujet et corrigé rédigés en LaTeX avec l’aide de l’AI

Télécharger

Contenu de l’épreuve

Présentation générale — notations et conventions

Partie I — Points de contrôle, dépôts et fuite d’inactivité

• Hauteurs
• Dépôts et supermajorités
• La fuite d’inactivité

Partie II — Arbre de points de contrôle et sérialisation des votes

• Ancêtres, conflits, plus proche ancêtre commun
• Sérialisation à longueur variable des hauteurs

Partie III — Justification et finalisation

• La règle de choix de fourche

Partie IV — Détection des infractions et sûreté responsable

• Détection algorithmique
• Sûreté responsable
• Recherche probabiliste d’un validateur fautif

Partie V — Coût minimal d’une attaque (programmation dynamique)