https://elhadiq.github.io/tags/proof-of-stake/Proof of StakeHugo Blox Builder (https://hugoblox.com)en-usFri, 31 Jul 2026 00:00:00 +0000https://elhadiq.github.io/media/icon_hu_982c5d63a71b2961.pnghttps://elhadiq.github.io/tags/proof-of-stake/https://elhadiq.github.io/blog/casper-proof-of-stake/Fri, 31 Jul 2026 00:00:00 +0000https://elhadiq.github.io/blog/casper-proof-of-stake/ <blockquote class="border-l-4 border-neutral-300 dark:border-neutral-600 pl-4 italic text-neutral-600 dark:text-neutral-400 my-6"> <p><strong>Avertissement.</strong> Il s&rsquo;agit d&rsquo;une <strong>proposition personnelle</strong>, à but pédagogique — <strong>pas une épreuve officielle</strong> du Concours National Commun (CNC) ni de l&rsquo;Agrégation.</p> </blockquote> <p>Proposition d&rsquo;épreuve d&rsquo;informatique portant sur <strong>Casper</strong>, le protocole de finalité en <strong>Proof of Stake</strong> d&rsquo;Ethereum, avec son corrigé détaillé. Sujet et corrigé rédigés en LaTeX avec l&rsquo;aide de l&rsquo;AI</p> <h2 id="télécharger">Télécharger</h2> <div class="text-left"> <a id="button-f083e508fc96e32b7d1ef47844fcec33" href="casper_enonce.pdf" class="inline-flex items-center gap-2 font-medium no-underline transition-all duration-300 ease-out transform-gpu focus:outline-none focus:ring-4 focus:ring-offset-2 focus:ring-offset-white dark:focus:ring-offset-zinc-900 disabled:opacity-50 disabled:cursor-not-allowed disabled:pointer-events-none bg-gradient-to-br from-primary-500 to-primary-600 hover:from-primary-600 hover:to-primary-700 active:from-primary-700 active:to-primary-800 text-white shadow-lg shadow-primary-500/25 hover:shadow-xl hover:shadow-primary-500/30 hover:-translate-y-0.5 hover:scale-[1.02] active:scale-[0.98] focus:ring-primary-500/50 px-4 py-2 text-base rounded-lg" role="button" aria-label="Énoncé (PDF)" > <span class="flex-shrink-0"> <svg class="w-4 h-4" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="M19.5 14.25v-2.625a3.375 3.375 0 0 0-3.375-3.375h-1.5A1.125 1.125 0 0 1 13.5 7.125v-1.5a3.375 3.375 0 0 0-3.375-3.375H8.25m.75 12l3 3m0 0l3-3m-3 3v-6m-1.5-9H5.625c-.621 0-1.125.504-1.125 1.125v17.25c0 .621.504 1.125 1.125 1.125h12.75c.621 0 1.125-.504 1.125-1.125V11.25a9 9 0 0 0-9-9"/></svg> </span> <span>Énoncé (PDF)</span> </a> </div> <h2 id="contenu-de-lépreuve">Contenu de l&rsquo;épreuve</h2> <p><strong>Présentation générale</strong> — notations et conventions</p> <p><strong>Partie I</strong> — Points de contrôle, dépôts et fuite d&rsquo;inactivité</p> <ul> <li>Hauteurs</li> <li>Dépôts et supermajorités</li> <li>La fuite d&rsquo;inactivité</li> </ul> <p><strong>Partie II</strong> — Arbre de points de contrôle et sérialisation des votes</p> <ul> <li>Ancêtres, conflits, plus proche ancêtre commun</li> <li>Sérialisation à longueur variable des hauteurs</li> </ul> <p><strong>Partie III</strong> — Justification et finalisation</p> <ul> <li>La règle de choix de fourche</li> </ul> <p><strong>Partie IV</strong> — Détection des infractions et sûreté responsable</p> <ul> <li>Détection algorithmique</li> <li>Sûreté responsable</li> <li>Recherche probabiliste d&rsquo;un validateur fautif</li> </ul> <p><strong>Partie V</strong> — Coût minimal d&rsquo;une attaque (programmation dynamique)</p>https://elhadiq.github.io/blog/casper-modelisation-agregation/Fri, 31 Jul 2026 00:00:00 +0000https://elhadiq.github.io/blog/casper-modelisation-agregation/ <blockquote class="border-l-4 border-neutral-300 dark:border-neutral-600 pl-4 italic text-neutral-600 dark:text-neutral-400 my-6"> <p><strong>Avertissement.</strong> Il s&rsquo;agit d&rsquo;une <strong>proposition personnelle</strong>, à but pédagogique — <strong>pas une épreuve officielle</strong> du Concours National Commun (CNC) ni de l&rsquo;Agrégation.</p> </blockquote> <h2 id="télécharger">Télécharger</h2> <div class="text-left"> <a id="button-96b21513af38deb52806273e6853a2b4" href="casper_modelisation.pdf" class="inline-flex items-center gap-2 font-medium no-underline transition-all duration-300 ease-out transform-gpu focus:outline-none focus:ring-4 focus:ring-offset-2 focus:ring-offset-white dark:focus:ring-offset-zinc-900 disabled:opacity-50 disabled:cursor-not-allowed disabled:pointer-events-none bg-gradient-to-br from-primary-500 to-primary-600 hover:from-primary-600 hover:to-primary-700 active:from-primary-700 active:to-primary-800 text-white shadow-lg shadow-primary-500/25 hover:shadow-xl hover:shadow-primary-500/30 hover:-translate-y-0.5 hover:scale-[1.02] active:scale-[0.98] focus:ring-primary-500/50 px-4 py-2 text-base rounded-lg" role="button" aria-label="Texte de modélisation (PDF)" > <span class="flex-shrink-0"> <svg class="w-4 h-4" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="1.5" d="M19.5 14.25v-2.625a3.375 3.375 0 0 0-3.375-3.375h-1.5A1.125 1.125 0 0 1 13.5 7.125v-1.5a3.375 3.375 0 0 0-3.375-3.375H8.25m.75 12l3 3m0 0l3-3m-3 3v-6m-1.5-9H5.625c-.621 0-1.125.504-1.125 1.125v17.25c0 .621.504 1.125 1.125 1.125h12.75c.621 0 1.125-.504 1.125-1.125V11.25a9 9 0 0 0-9-9"/></svg> </span> <span>Texte de modélisation (PDF)</span> </a> </div> <p>Texte de modélisation pour l&rsquo;<strong>épreuve orale d&rsquo;informatique de l&rsquo;agrégation</strong> (option informatique), rédigé d&rsquo;après V. Buterin et V. Griffith, <em>Casper the Friendly Finality Gadget</em>, Ethereum Foundation, arXiv:1710.09437v4, 2019. Le texte formalise le protocole <strong>Casper</strong>, mécanisme de finalité en Proof of Stake d&rsquo;Ethereum, et propose dix suggestions de développement indépendantes pour la discussion du candidat.</p> <h2 id="plan-du-texte">Plan du texte</h2> <p><strong>1. Le problème</strong> — du consensus probabiliste (preuve de travail) à la finalité déterministe et imputable</p> <p><strong>2. Le modèle</strong></p> <ul> <li>Arbre de blocs et points de contrôle</li> <li>Validateurs, dépôts et votes</li> </ul> <p><strong>3. Sûreté responsable et vivacité</strong></p> <ul> <li>Les deux conditions de sanction</li> <li>Le lemme d&rsquo;intersection</li> <li>Le théorème de sûreté responsable</li> <li>Vivacité plausible et règle de choix de fourche</li> </ul> <p><strong>4. Aspects algorithmiques</strong></p> <ul> <li>Calcul des justifiés et des finalisés</li> <li>Détection des fautes</li> <li>Le coût d&rsquo;une attaque</li> </ul> <p><strong>5. Deux extensions et leurs limites</strong></p> <ul> <li>Jeu de validateurs dynamique</li> <li>Révisions lointaines</li> <li>Fuite d&rsquo;inactivité</li> </ul> <p>Le texte se conclut par dix suggestions de développement (implémentation de l&rsquo;arbre des points de contrôle, comparaison d&rsquo;algorithmes de calcul des justifiés, vérificateur de fautes, simulation d&rsquo;un réseau de validateurs, étude du coût minimal d&rsquo;une attaque, comparaison avec pBFT et Tendermint, etc.) et une bibliographie.</p>