Peercoin et la preuve d’enjeu

Curiosité

1. Pourquoi un réseau récompenserait-il la détention de pièces plutôt que la consommation d’électricité ?
2. Comment un attaquant peut-il réécrire l’historique à partir de clés qu’il détenait il y a dix ans, sans dépenser de nouvelles ressources ?
3. Qu’est-ce qui empêche un validateur de signer deux blocs différents en même temps ?

Explorer

1. La preuve d’enjeu a été évoquée pour la première fois sur le forum Bitcoin en 2011 ; la première version fonctionnelle est due au développeur pseudonyme Sunny King et à Scott Nadal, dont le PPCoin utilisait l’« âge des pièces » (coin age) pour sélectionner les producteurs de blocs. Dans ce modèle, les sorties de transaction non dépensées (UTXO) prenaient du poids du simple fait d’exister sur la chaîne. Plus une pièce restait longtemps intacte dans un portefeuille, plus sa probabilité d’être choisie pour forger le bloc suivant augmentait, ce qui liait directement les droits de consensus à la détention à long terme plutôt qu’à la puissance de calcul.
2. PPCoin, rebaptisé plus tard Peercoin, a été lancé en août 2012 sous une forme hybride : la preuve de travail émettait les nouvelles pièces, tandis que les blocs en preuve d’enjeu, qui rapportaient environ 1 % par an sur les pièces en staking, assuraient une grande partie de la sécurité. Pendant des années, il s’est également appuyé sur des points de contrôle signés de manière centralisée par ses développeurs, une protection que ses détracteurs considéraient comme un point de contrôle centralisé du réseau.
3. Les premières analyses ont révélé une vulnérabilité critique connue sous le nom de « nothing at stake ». Comme forger des blocs ne coûtait aucune ressource physique au-delà de l’achat initial des pièces, les validateurs pouvaient soutenir à moindre coût plusieurs forks concurrents de la chaîne. Un attaquant détenant un enjeu important pouvait signer des blocs valides des deux côtés d’une scission, créant une ambiguïté sur l’historique canonique sans supporter le moindre coût marginal pour ce travail supplémentaire.
4. Cela a conduit au problème des attaques longue portée (long-range attacks). Un adversaire ayant obtenu d’anciennes clés privées datant de plusieurs années pourrait en théorie réécrire tout l’historique de la chaîne à partir de ce point. Comme aucun nouveau calcul n’était nécessaire pour valider ces blocs historiques, un nœud se synchronisant depuis zéro pourrait accepter la version de l’attaquant si elle paraissait mathématiquement valide, ce qui compromettrait la finalité de transactions réglées des mois ou des années plus tôt.
5. Vitalik Buterin a répondu à ce problème en 2014 en introduisant la « subjectivité faible » (weak subjectivity). Les nouveaux nœuds qui rejoignent le réseau doivent faire confiance à un point de contrôle récent fourni par les participants existants. En s’accordant sur une hauteur de bloc précise comme point de départ de la validation, le réseau empêche les attaques longue portée qui reposent sur la réécriture de l’historique antérieur à ce point de contrôle. Ce compromis introduit une dépendance envers des pairs de confiance lors de la synchronisation initiale, mais protège contre la manipulation de l’historique.
6. Des conceptions ultérieures ont ajouté des mécanismes de slashing pour sanctionner les comportements malhonnêtes. Si un validateur signait des blocs contradictoires ou agissait de manière malveillante, ses pièces mises en jeu étaient confisquées. Nxt a été lancé en 2013 comme l’une des premières chaînes en preuve d’enjeu pure, abandonnant entièrement l’élément hybride. Ces évolutions ont posé les paramètres fondamentaux du consensus moderne fondé sur l’enjeu : les pénalités économiques garantissent l’honnêteté, tandis que la subjectivité faible gère la confiance lors de l’amorçage du réseau.

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. King & S. Nadal, 'PPCoin: Peer-to-Peer Crypto-Currency with Proof-of-Stake' (2012)
• V. Buterin, 'Proof of Stake: How I Learned to Love Weak Subjectivity' (2014)
• Nxt documentation and release notes (2013)