Consensus de Nakamoto : la chaîne qui cumule le plus de travail

Curiosité

1. Comment des milliers d’inconnus peuvent-ils s’accorder sur un historique unique sans chef ni vote ?
2. Pourquoi l’ajout d’un bloc supplémentaire rend-il une ancienne transaction plus difficile à annuler ?
3. Que se passe-t-il lorsque deux chaînes coexistent pendant dix minutes ?

Explorer

1. Le consensus de Bitcoin n’est pas une élection. Il n’y a ni ensemble fixe de membres, ni chef, ni vote formel. Chaque nœud complet vérifie indépendamment les transactions au regard d’un ensemble exhaustif de règles. Lorsque les mineurs regroupent ces transactions valides en blocs, ils effectuent une preuve de travail : ils résolvent un problème coûteux en calcul qui sert d’horodatage. Ce travail ancre le bloc dans la chaîne et l’intègre à un historique global coûteux à modifier.
2. Lorsque deux chaînes concurrentes apparaissent, chaque nœud suit une règle simple : adopter la chaîne qui cumule le plus de preuve de travail. Lorsqu’une branche prend l’avantage en travail accumulé, l’autre est abandonnée et ses transactions retournent dans le mempool, à moins que la branche gagnante ne les contienne déjà. Ce mécanisme neutralise les attaques Sybil : créer des milliers d’identités fictives ne sert à rien si leur détenteur ne dispose pas d’une puissance de calcul proportionnelle. C’est le poids, mesuré en preuve de travail, qui détermine quel historique valide l’emporte, et non l’identité.
3. Le consensus est probabiliste, non absolu. Une transaction devient plus sûre à chaque bloc ajouté par-dessus, car un attaquant doit refaire le travail de ce bloc et de tous les suivants pour dépasser la chaîne honnête. La section 11 du livre blanc calcule ce risque : si un attaquant contrôle une part q de la puissance de hachage, la probabilité qu’il rattrape un jour la chaîne depuis z blocs de retard diminue exponentiellement à mesure que z augmente.
4. Pour un attaquant ne disposant que de 10 % du hashrate du réseau (q = 0,1), la probabilité d’annuler une transaction enfouie sous cinq confirmations est inférieure à 0,1 %. Cette décroissance mathématique fonde le modèle de sécurité des commerçants et des plateformes d’échange. Les courtes réorganisations, au cours desquelles quelques blocs sont écartés au profit d’une autre chaîne valide, font partie du fonctionnement normal : elles ne signalent pas une défaillance, mais la concurrence dynamique inhérente à la preuve de travail.
5. La section 6 soutient que les incitations alignent les acteurs rationnels sur la stabilité du réseau. Un mineur disposant d’une puissance de hachage importante gagne plus en respectant les règles qu’en attaquant le système, car la valeur de ses pièces dépend de la fiabilité du réseau. Détruire cette confiance déprécierait les actifs qu’il détient. Ce lien économique garantit que les grands acteurs ont un intérêt réel à maintenir le consensus plutôt qu’à le perturber.
6. Reproduisez les calculs du livre blanc. La section 11 présente un court programme en C ainsi qu’un tableau : pour un attaquant avec q = 0,1, la probabilité de rattraper un retard de cinq blocs est d’environ 0,0009, soit moins de 0,1 %. Pour q = 0,3, ces mêmes cinq blocs laissent encore une probabilité d’environ 18 %, et il faut beaucoup plus de confirmations pour faire passer ce risque sous 0,1 %. La sécurité dépend de la puissance de hachage qu’un attaquant pourrait mobiliser, et non d’un nombre fixe de blocs.

Faits clés

Exercice neuf, six, trois, un

Vérification des faits

Les dates, les chiffres et les affirmations ont été vérifiés à l’aide des sources publiées listées ci-dessous.

• S. Nakamoto, 'Bitcoin: A Peer-to-Peer Electronic Cash System' (2008), Sections 4, 6, and 11.
• J. Garay, A. Kiayias & N. Leonardos, 'The Bitcoin Backbone Protocol: Analysis and Applications' (2015)