💻 computer science

CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains

Cet article introduit CoBRA, un protocole de confirmation universellement stratégique qui étend les blockchains basées sur la preuve d'enjeu par quorum pour tolérer jusqu'à un tiers de validateurs byzantins et un tiers de validateurs rationnels en imposant des limites de volume de transactions et une règle de chaîne la plus forte, tout en fournissant également un mécanisme de récupération pour garantir la sécurité, la vivacité et le remboursement des clients, même sous des seuils adverses plus élevés.

Auteurs originaux : Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Publié 2026-06-16

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez une banque numérique où le « coffre-fort » est gardé par un comité de validateurs. Dans un monde parfait, tous les membres du comité sont honnêtes. Dans un scénario de cauchemar, tous sont des méchants chaotiques. Mais dans le monde réel, la plupart des gens sont rationnels : ils ne sont pas des méchants, mais ils enfreindront les règles si cela leur rapporte plus d'argent.

Le document CoBRA (Correct over Byzantine-Rational Adversary) introduit un nouvel ensemble de règles pour ce comité afin de gérer un mélange de personnes honnêtes, de méchants chaotiques et de chercheurs de profits opportunistes.

Voici l'histoire de la façon dont CoBRA fonctionne, en utilisant des analogies simples.

Le Problème : Le dilemme du « Voisin Gourmand »

Les systèmes de sécurité traditionnels supposent que si plus d'un tiers du comité est mauvais (Byzantin), tout le système s'effondre. Ils supposent également que si le reste est « bon », il le restera.

Mais CoBRA pose la question suivante : Et si les « bonnes » personnes étaient en fait simplement gourmandes ?
Si un méchant propose un pot-de-vin à un validateur rationnel pour signer une transaction falsifiée, le validateur rationnel pourrait dire : « Bien sûr, je prends le pot-de-vin. » Si le pot-de-vin est plus important que la pénalité en cas de capture, il enfreindra les règles.

Les auteurs prouvent d'abord deux choses effrayantes :

Dans un réseau lent : Si les méchants et les gourmands réunis constituent plus d'un tiers du comité, le système ne peut pas être sûr. Les gourmands trouveront toujours un moyen de pratiquer le double dépens (double-spending) pour faire du profit.
Dans un réseau rapide : Même si le réseau est super rapide, si les méchants et les gourmands constituent plus des 2/3 du comité, le système est quand même condamné.

La Solution : La « Limite de Vitesse » et la « Prime »

Puisque nous ne pouvons pas empêcher les gens gourmands de vouloir de l'argent, CoBRA change les règles du jeu pour que enfreindre les règles devienne un pari perdant.

1. La Limite de Vitesse (Finalisation liée aux enjeux / Stake-Bounded Finalization)

Imaginez que le comité soit autorisé à approuver des transactions, mais qu'il existe une limite de vitesse stricte sur la quantité d'argent qu'ils peuvent approuver dans une courte fenêtre de temps (disons 10 minutes).

La Règle : La valeur totale des transactions approuvées dans cette fenêtre de 10 minutes ne peut pas dépasser le montant d'argent (enjeu/stake) qu'un seul validateur a bloqué comme dépôt de garantie.
La Logique : Si un validateur gourmand tente de tricher et d'approuver une fausse transaction d'un million de dollars, mais qu'il n'a que 10 000 dollars de bloqués, il ne peut pas le faire. Même s'il obtient le pot-de-vin d'un million de dollars, il perdra son dépôt de 10 000 dollars lorsqu'le système le démasquera.
Le Résultat : Il est mathématiquement impossible pour un validateur rationnel de profiter de la triche. Il est « plafonné » par le montant qu'il peut perdre.

2. La Prime (Règle de la Chaîne la plus Forte / Strongest Chain Rule)

Parfois, le comité travaille parfaitement, et tout le monde coopère. Dans ce cas, CoBRA lève la limite de vitesse.

La Règle : Si une immense majorité du comité (plus de 5/6) se met d'accord sur un bloc très rapidement, le système dit : « D'accord, nous vous faisons confiance. Vous pouvez approuver autant d'argent que vous le souhaitez dès maintenant. »
Le Réalité Check : Le document a examiné les données réelles des réseaux Cosmos et Ethereum. Ils ont découvert que 99 % du temps, le comité est effectivement aussi coopératif. Ainsi, dans le monde réel, CoBRA permet des approbations de transactions instantanées et illimitées la plupart du temps.

Le Filet de Sécurité : La « Salle de Récupération »

Et si les méchants avaient vraiment de la chance et contrôlaient plus d'un tiers du comité ? Et s'ils réussissaient à tromper le système et à créer deux versions différentes du registre de la banque ?

CoBRA possède un protocole de « Salle de Récupération » :

Pause : Dès que les validateurs honnêtes voient les deux versions différentes (une « fourche » ou fork), ils arrêtent d'approuver de nouvelles choses.
L'Audit : Ils regardent qui a signé les versions falsifiées. Grâce aux règles, ils peuvent prouver exactement quels validateurs ont triché.
Le Remboursement Forcé : Le système saisit l'argent bloqué (l'enjeu/stake) des tricheurs.
L'Indemnisation : Cet argent saisi est utilisé pour rembourser chaque personne qui a perdu de l'argent à cause de la transaction frauduleuse.
- Point Crucial : Le système ne dit pas simplement « oups, votre argent est parti ». Il garantit que si vous avez été trompé en acceptant une mauvaise transaction, l'argent confisqué des tricheurs couvrira votre perte. On ne crée pas de nouvel argent ; ce sont les tricheurs qui paient.

Le « Client Silencieux »

Une caractéristique clé de CoBRA est qu'il fonctionne pour les clients silencieux.

Dans de nombreux systèmes, vous (le client) devez constamment surveiller le comité pour vous assurer qu'ils ne mentent pas.
Avec CoBRA, vous n'avez pas à surveiller. Vous attendez simplement un « Certificat de Finalité » (un reçu numérique). Si le certificat dit que la transaction est terminée, elle est terminée. Si le système doit plus tard effectuer une récupération, le certificat garantit que vous serez remboursé automatiquement.

Résumé

CoBRA est un nouveau protocole pour les registres numériques qui admet : « Les gens essaieront de tricher pour le profit. »

Au lieu d'espérer qu'ils ne le feront pas, il installe un piège :

Limiter le butin : Vous ne pouvez pas voler plus que ce que vaut votre propre dépôt de garantie.
Récompenser l'honnêteté : Si tout le monde joue le jeu, vous pouvez déplacer l'argent rapidement.
Indemniser les victimes : Si les méchants gagnent temporairement, les dépôts de garantie volés sont utilisés pour rembourser intégralement les victimes, garantissant qu'aucune personne honnête ne perde d'argent à la fin.

Cela transforme la « cupidité » des validateurs en l'outil même qui maintient la sécurité du système.

Résumé technique de CoBRA : Un protocole de confirmation universel et stratégiquement robuste pour les blockchains Proof-of-Stake basées sur des quorums

1. Énoncé du problème

Les protocoles traditionnels de réplication de machine d'état (SMR), tels que PBFT et HotStuff, opèrent sous un modèle de tolérance aux fautes byzantines (BFT) supposant qu'au moins $2/3$ des validateurs sont honnêtes. Cependant, dans les blockchains Proof-of-Stake (PoS), les validateurs sont des agents maximisant leur profit plutôt que des acteurs purement altruistes ou arbitrairement malveillants. Cela crée un modèle de menace hybride comprenant des validateurs honnêtes, byzantins (arbitrairement malveillants) et rationnels (stratégiques, motivés par le profit).

L'article identifie une lacune critique : les protocoles existants ne parviennent pas à garantir la sécurité lorsque les validateurs rationnels et byzantins colludent. Spécifiquement :

Dans les réseaux à synchronie partielle, si la fraction combinée des validateurs byzantins et rationnels dépasse $1/3$ , aucun protocole SMR basé sur des quorums ne peut garantir la sécurité (safety). Les validateurs rationnels peuvent colluder avec des acteurs byzantins pour créer des blocs conflictuels (équivocation) et réaliser des doubles dépenses sans être dissuadés par le slashing, car le profit potentiel excède la mise en jeu (stake).
Dans les réseaux synchrones, même avec une borne de délai connue, la sécurité est inatteignable si la coalition dépasse $2/3$ de l'ensemble des validateurs.
Les protocoles « imputables » existants peuvent détecter les comportements malveillants mais échouent à fournir une restitution économique aux clients ayant accepté des transactions conflictuelles, nécessant souvent la participation des clients ou la création de nouvelles pièces pour rembourser les pertes.

2. Méthodologie et conception du protocole

Les auteurs proposent CoBRA (Correct over Byzantine-Rational Adversary), une transformation générique pour les protocoles PoS basés sur des quorums. La conception repose sur un modèle de menace hybride où les validateurs sont statiques et les clients sont « silencieux » (ils ne surveillent pas activement l'exécution du protocole mais interrogent les validateurs pour confirmation).

Mécanismes clés :

Finalisation limitée par la mise (Stake-Bounded Finalization) :
Pour empêcher les validateurs rationnels de trouver rentable de créer des fourches (forks), CoBRA impose une limite supérieure au volume de transactions finalisées dans toute fenêtre temporelle $\Delta^*$ .
- Les validateurs ne finalisent des blocs que si la valeur totale des transactions dans l'ensemble finalisé n'excède pas $C = D$ (où $D$ est la mise d'un seul validateur).
- Cela garantit que même si un validateur rationnel collude pour réaliser une double dépense, son gain maximum est plafonné à $D$ . Puisqu'il risque de perdre l'intégralité de sa mise $D$ via le slashing s'il est détecté, l'attaque devient non rentable.
- *Règle de la chaîne la plus forte (Strongest Chain Rule) : Si une supermajorité de participants (spécifiquement $> f + 1/2$ ) supporte de manière prouvable une chaîne, le protocole permet la confirmation instantanée d'un volume de transaction infini, contournant ainsi la limite de volume.
Récompenses compatibles avec les incitations :
Pour prévenir la censure (attaques sur la vivacité/liveness), les récompenses sont distribuées uniquement dans les fenêtres où au moins $n-f$ validateurs distincts participent. Cela garantit que les validateurs rationnels sont incités à inclure des votes et des propositions plutôt qu'à les censurer, car l'exclusion réduit la réserve totale de récompenses.
Récupération et restitution économique :
Lorsque le nombre de validateurs byzantins dépasse le seuil standard de $1/3$ mais reste inférieur à $2/3$ , CoBRA entre dans un régime de sécurité économique récupérable.
- Détection de conflit : Lors de la détection d'une équivocation (certificats de finalité conflictuels), les validateurs interrompent la finalisation.
- Accord d'ensemble (Set Agreement) : Les validateurs exécutent un protocole d'accord d'ensemble pour s'accorder sur un ensemble commun de blocs à exécuter, incluant tous les blocs conflictuels qui ont été acceptés par les clients.
- Remboursement : Le système revient à un état antérieur à la fourche et réexécute toutes les transactions conflictuelles dans un ordre déterministe. Les pertes subies par les clients dues à la double dépense sont remboursées grâce à la mise (stake) amputée (slashed) des validateurs prouvés malveillants. Crucialement, cela se produit sans créer de nouvelles pièces et sans participation des clients dans le processus de récupération.

3. Contributions clés et résultats d'impossibilité

Résultats d'impossibilité :
L'article établit les limites fondamentales pour les SMR basés sur des quorums sous un modèle hybride avec des clients silencieux :

Synchronie partielle : Aucun protocole SMR basé sur des quorums ne peut être $(n, k, f)$ -résilient (où $k$ est rationnel, $f$ est byzantin) si $f + k \geq n/3$ . Cela généralise le seuil byzantin classique de $1/3$ pour inclure les déviations économiquement motivées.
Synchronie : Même avec une borne de synchronie connue, le SMR est impossible si $f + k \geq 2n/3$ .
Latence de finalité : Sans limites sur les fonds liquides ou les récompenses de participation, aucun protocole ne peut garantir la finalité dans une fenêtre $\Delta^*$ si la taille de l'adversaire dépasse ces seuils, car les validateurs rationnels peuvent réaliser des doubles dépenses dépassant leur mise.

Contributions du protocole :

Transformation CoBRA : Une méthode générique pour convertir tout SMR basé sur des quorums $(n, f)$ -résilient en un protocole $(n, k, f^*)$ -résilient.
Trois régimes opérationnels :
1. Régime standard : Maintient la sécurité contre jusqu'à $1/3$ de validateurs byzantins en synchronie partielle.
2. Régime de résilience rationnelle : Garantit la sécurité et la vivacité lorsqu'il existe jusqu'à $1/3$ de validateurs rationnels supplémentaires (totalisant $< 2/3$ ), à condition qu'une borne de synchronie $\Delta^*$ soit connue.
3. Régime récupérable : Garantit le remboursement complet des clients et la récupération de l'état lorsque les validateurs byzantins dépassent $1/3$ mais restent sous $2/3$ .
Conformité de la coalition : Le protocole garantit qu'aucion validateur rationnel n'a d'incitation à dévier, même en colludant avec des acteurs byzantins, en faisant en sorte que les stratégies conformes au protocole dominent faiblement les stratégies de déviation.

4. Résultats et validation empirique

Les auteurs valident la faisabilité de CoBRA par une analyse empirique des réseaux Cosmos et Ethereum :

Taux de participation : L'analyse d'un million de blocs consécutifs de Cosmos montre que plus de 99 % des blocs ont dépassé le seuil de participation de $5/6$ requis pour la règle de la « chaîne la plus forte ».
Implication : Dans ces scénarios réels, CoBRA permettrait la confirmation instantanée des transactions pour la grande majorité des blocs, tandis que la règle de la mise limitée gérerait les périodes rares de faible participation (durent jusqu'à environ 15 minutes dans les données observées) sans compromettre la sécurité.
Sécurité économique : L'étude démontre que la mise minimale amputable des validateurs actifs (environ $470\,000 dans le cas de Cosmos) est suffisante pour couvrir le volume de transactions des fenêtres de faible participation (environ$ 180,000), garantissant ainsi qu'un remboursement complet des clients est théoriquement possible.

5. Signification et revendications

L'article affirme être la première transformation générique pour les SMR basés sur des quorums qui :

Fournit une résilience rationnelle optimale lorsque les parties byzantines sont inférieures à $1/3$ .
Offre une protection économique pour les clients lorsque le seuil byzantin est dépassé (jusqu'à $2/3$ ), spécifiquement en garantissant le remboursement complet des pertes sans créer de nouvelles pièces.
Comble le fossé entre les limites théoriques de consensus et la sécurité pratique des PoS en abordant le comportement stratégique des validateurs rationnels, un facteur souvent ignoré dans les analyses BFT traditionnelles.

Les auteurs positionnent CoBRA comme une solution permettant aux blockchains PoS de maintenir la sécurité et la vivacité même lorsque l'hypothèse de la « supermajorité honnête » est violée par une collusion stratégique, à condition que la force adverse totale ne dépasse pas $2/3$ de la mise.