⚡ electrical engineering

BigDipper: Sharded Censorship Resistant Data Availability for Leader-Based BFT

BigDipper est un cadre de disponibilité des données fragmenté pour les protocoles BFT à leader qui découple la résistance à la censure de la couche de consensus en introduisant un mécanisme DA-CR, permettant aux validateurs de vérifier la disponibilité des mini-blocs sans reconstruction complète tout en permettant aux applications de couche supérieure de personnaliser leurs propres stratégies de protection.

Auteurs originaux : Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

Publié 2026-06-03

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

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

Le Problème : Le « Patron » qui peut cacher votre lettre

Imaginez qu'un réseau blockchain est comme un service postal massif et ultra-rapide. Dans beaucoup de ces systèmes, il y a un Leader (comme un Maître de Poste) qui est responsable du tri du courrier et de sa mise dans les camions de livraison (les blocs) qui partent vers le monde entier.

Ce système est rapide et efficace. Cependant, il présente un défaut : le Maître de Poste a le contrôle total sur ce qui monte dans le camion en ce moment même. Si le Maître de Poste est malveillant, il peut faire rouler les camions selon l'horaire prévu mais laisser secrètement votre lettre de côté. Il n'a pas besoin d'arrêter tout le système ; il lui suffit de retarder votre lettre spécifique de quelques minutes.

Dans le monde réel, c'est un désastre pour des choses comme :

Les enchères : Si votre offre est retardée d'un camion, vous persez l'enchère.
Les liquidations : Si une banque ne peut pas liquider un mauvais prêt rapidement, elle perd de l'argent.
Les messages de pont (Bridge) : Si vous déplacez des cryptos entre des chaînes, un retard peut signifier la perte de fonds.

Les solutions existantes tentent de corriger cela en forçant le Maître de Poste à suivre des règles strictes pour tout le monde. Mais cela revient à faire payer à tout le monde un camion blindé VIP juste parce qu'une seule personne envoie une lettre urgente. C'est coûteux et cela ralentit tout le processus.

La Solution : BigDipper

BigDipper est un nouveau système conçu pour corriger cela sans ralentir l'ensemble du réseau. Il suit une règle simple : « Ne codez pas les règles de manière rigide ; donnez les outils et laissez l'utilisateur décider. »

Voyez BigDipper comme une Salle de Tri Intelligente qui se situe entre les personnes envoyant les lettres et le Maître de Poste.

1. Les « Mini-Blocs » (Les Shards)

Au lieu que le Maître de Poste collecte tout le courrier lui-même, BigDipper permet aux Réplicas (les bureaux de poste locaux) de collecter le courrier en premier.

Chaque bureau de poste local rassemble les lettres qu'il reçoit et les place dans une petite enveloppe scellée appelée Mini-Bloc.
Ces enveloppes sont ensuite envoyées au Maître de Poste.

2. Le « Puzzle Magique » (Le Codage à Effacement / Erasure Coding)

C'est ici que réside l'astuce. Le Maître de Poste prend tous ces Mini-Blocs et les déchire en morceaux de puzzle en utilisant un tour mathématique spécial appelé Codage à Effacement (Erasure Coding).

Imaginez prendre 100 lettres, les déchiqueter et créer 300 pièces de puzzle.
Vous pouvez reconstruire les 100 lettres originales à partir de n'importe quelles 100 pièces parmi les 300.
Le Maître de Poste envoie ces pièces de puzzle aux Validateurs (les auditeurs qui vérifient si le système est honnête).

Pourquoi est-ce génial ?
Les auditeurs n'ont pas besoin de voir toute la cargaison de courrier pour savoir qu'elle est là. Ils ont juste besoin de vérifier quelques pièces de puzzle et un « reçu magique » (un engagement cryptographique) pour prouver que tout le camion est valide. Cela permet de garder le système rapide et évolutif.

3. La Règle de la « Résistance à la Censure » (DA-CR)

C'est l'innovation centrale. BigDipper introduit une règle appelée DA-CR (Data Availability with Censorship Resistance ou Disponibilité des Données avec Résistance à la Censure).

La Règle : Le Maître de Poste doit inclure des pièces de puzzle provenant d'au moins un certain nombre de bureaux de poste locaux. Il ne peut pas simplement choisir qui monte dans le camion et qui n'y monte pas.
Le Piège : Le Maître de Poste peut toujours essayer de cacher une lettre spécifique, mais il ne peut le faire que s'il parvient à exclure l'intégralité du bureau de poste local qui l'a reçue.

4. La Stratégie de « Fanout » (Le Navigateur)

C'est ici que l'utilisateur (le client) intervient. BigDipper vous donne un choix : Quel niveau de protection voulez-vous ?

L'Option à Faible Coût : Vous envoyez votre lettre à un seul bureau de poste local. C'est peu coûteux et rapide, mais si ce bureau de poste spécifique est ignoré par le Maître de Poste, votre lettre est censurée.
L'Option Haute Sécurité : Vous envoyez votre lettre à de nombreux bureaux de poste locaux (un « fanout » élevé). Même si le Maître de Poste ignore 50 % des bureaux, votre lettre est toujours entre les mains des autres. Cela coûte un peu plus cher d'envoyer la lettre à plusieurs endroits, mais votre chance d'être censuré tombe presque à zéro.

L'Analogie :
Si vous envoyez une simple carte d'anniversaire, vous pouvez simplement la déposer dans une boîte aux lettres. Si vous envoyez un ticket de loterie gagnant, vous pourriez en envoyer des copies dans 10 boîtes aux lettres différentes. BigDipper vous permet de choisir combien de boîtes aux lettres utiliser en fonction de la valeur de votre lettre pour vous.

Le Résultat : Un Système Modulaire

BigDipper sépare le Consensus (se mettre d'accord sur l'ordre des événements) de l'Exécution (traiter réellement les données).

Les Validateurs (Auditeurs) ne vérifient que les « Reçus Magiques » et quelques pièces de puzzle. Ils n'ont pas besoin de télécharger tout le camion. Cela rend le système incroyablement rapide.
La Couche d'Exécution (les personnes qui font tourner réellement les applications) peut décider de la manière de récupérer l'intégralité des données plus tard. Elles peuvent utiliser des ordinateurs puissants, des équipes spécialisées ou d'autres méthodes pour obtenir l'image complète.

Résumé des Revendications

Le papier affirme qu'en utilisant cette approche « fragmentée » (sharded) avec le Codage à Effacement et les Engagements Linéaires :

La Censure est Ajustable : Les utilisateurs choisissent leur propre niveau de protection. Si vous avez besoin de ne pas être censuré, vous payez le coût de l'envoi vers plus de nœuds. Si vous n'en avez pas besoin, vous économisez de l'argent.
Évolutivité (Scalability) : Le système ne ralentit pas lorsqu'il grandit car les validateurs n'ont pas besoin de télécharger le bloc entier ; ils ne vérifient que leurs propres « shards » (pièces de puzzle).
Sécurité : Même avec un Maître de Poste malveillant, le système garantit que si suffisamment de nœuds honnêtes possèdent vos données, le système ne peut pas être trompé en prétendant que les données sont manquantes ou modifiées.
Intégration : Ils ont réussi à intégrer cela dans HotStuff-2 (un protocole blockchain populaire) sans briser ses règles de sécurité, prouvant ainsi que cela fonctionne dans un environnement réel.

En bref, BigDipper empêche le « Maître de Poste » d'être un point de défaillance unique en répartissant le courrier entre de nombreuses mains, en utilisant les mathématiques pour prouver que le courrier est présent, et en laissant l'expéditeur décider de combien de mains il souhaite faire confiance.

Résumé Technique : BigDipper

Énoncé du Problème

Les protocoles BFT (Byzantine Fault Tolerant) basés sur un leader sont dominants dans les systèmes blockchain en production en raison de leur faible latence et de leurs structures de communication simples. Cependant, ils accordent au leader un contrôle à court terme sur l'inclusion des transactions. Un leader malveillant peut maintenir le protocole en vie (garantissant la vivacité) tout en retardant ou en excluant sélectivement des transactions sensibles au facteur temps, telles que des enchères, des mises à jour d'oracles, des liquidations ou des messages de pont (bridge). Ce phénomène, nommé censure à court terme, n'est pas capturé par les garanties de vivacité standards du BFT.

Les solutions existantes intègrent souvent des mécanismes robustes d'anti-censure, de dissimulation ou d'ordonnancement directement dans le chemin de consensus. Bien qu'efficaces pour des cas d'utilisation spécifiques, ces approches forcent toutes les transactions à payer le même coût élevé pour la protection, indépendamment du fait qu'une transaction spécifique nécessite cette robustesse ou non. Ce document plaide pour une conception plus modulaire qui adhère au principe de bout en bout : la couche de consensus doit exposer des primitives minimales pour l'ordonnancement sûr et la disponibilité des données, laissant le choix des stratégies de résistance à la censure et des coûts aux applications de couches supérieures.

Méthodologie

BigDipper introduit une couche de Disponibilité des Données Résistante à la Censure (DA-CR) positionnée entre la soumission des transactions et le consensus BFT basé sur un leader. Le système est conçu autour de trois composantes centrales :

Abstraction DA-CR : Une couche où les répliques contribuent avec des mini-blocs, et un mécanisme certifie quelles données sont disponibles et doivent être capturées par le leader. Cette couche est caractérisée par des paramètres $(t, \eta)$ , où $t$ représente l'inclusion garantie des mini-blocs honnêtes, et $\eta$ représente la capacité résiduelle du leader à capturer de l'espace (exclure des données).
Chemin Critique de Consensus Partagé (Sharded) : Contrairement aux conceptions traditionnelles où les validateurs doivent télécharger et exécuter l'intégralité de la charge utile du bloc, BigDipper maintient les données partagées sur le chemin critique. Les validateurs votent sur la base de engagements compacts, de preuves de disponibilité et de règles d'inclusion DA-CR plutôt que de reconstruire la charge utile complète.
Soumission Réglable par le Client (Navigator) : Un protocole de dissémination de transactions où les clients choisissent un paramètre de « fanout » $x$ , envoyant les transactions à $x$ répliques distinctes. Cela permet aux clients de troquer le coût de communication contre la probabilité d'une inclusion rapide.

Constructions Fondamentales

Le document présente des constructions concrètes de DA-CR basées sur le codage d'effacement de Reed-Solomon (RS) et les engagements polynomiaux linéaires (KZG) :

Card-7 : Un protocole imputable où le leader doit fournir des attestations pour les mini-blocs inclus. Il garantit que $t = n - 2f$ mini-blocs honnêtes sont inclus et que $\eta = 0$ (pas de capture d'espace). Il nécessite $n \ge 3f + 1$ .
Card-1/4 : Une variante non imputable avec un overhead réduit. Elle supprime l'exigence d'attestations publiques, permettant au leader de cacher quels répliques ont été inclus. Elle atteint $t = n - 3f$ et $\eta = n - f - 1$ , nécessitant une hypothèse plus forte de $n \ge 4f + 1$ .
Card-Lite : Une optimisation de Card-7 utilisant un schéma d'engagement doublement homomorphe. Elle réduit l'overhead par réplique à $O(\log n)$ en échantillonnant les engagements plutôt qu'en transmettant la liste complète, tout en maintenant $t \approx n - 2f$ .

Intégration avec HotStuff-2

BigDipper est instancié au sein de HotStuff-2. L'intégration est chirurgicale, introduisant une règle de "Scooping" comme prédicat de validité. Une proposition de leader n'est valide que si elle incorpore un output DA-CR complété (un certificat prouvant la disponibilité des données et l'inclusion des mini-blocs requis). Cela ne modifie pas le cœur de sécurité de HotStuff-2 mais empêche les leaders de progresser sans capturer les données requises contribuées par les répliques.

Contributions Clés

Abstraction Modulaire pour la Résistance à la Censure à Court Terme : L'introduction de la DA-CR, qui découple le mécanisme de disponibilité des données de la politique spécifique de résistance à la censure. Elle formalise les compromis entre l'inclusion garantie ( $t$ ) et l'influence du leader ( $\eta$ ).
Chemin de Données Partagé et Scalable : Une conception où les validateurs ordinaires n'ont pas besoin de télécharger l'intégralité de la charge utile du bloc pour voter. Ils vérifient les engagements et les métadonnées, permettant à la bande passante globale des propositions de passer à l'échelle avec la contribution de données côté réplique plutôt que d'être limitée par la bande passante d'entrée d'un seul leader.
Résistance à la Censure Réglable par le Client : Le protocole Navigator permet aux clients d'amplifier la probabilité d'inclusion en augmentant leur fanout. Le document analyse le compromis coût/sécurité, prouvant via un argument de borne supérieure d'union (union-bound) que la censure massive devient exponentiellement improbable à mesure que le nombre de transactions soumises et de répliques augmente.
Intégration et Analyse Concrètes : Une instantiation complète de BigDipper à l'intérieur de HotStuff-2, démontrant que la DA-CR peut être connectée précisément aux protocoles BFT basés sur un leader existants sans compromettre la sécurité ou la vivacité.

Résultats et Analyse

Résistance à la Censure : L'analyse montre que si un leader malveillant peut censurer des transactions envoyées à un petit nombre de répliques, censurer une grande fraction des transactions devient exponentiellement difficile à mesure que le système passe à l'échelle. Plus précisément, si $T$ clients envoient chacun $x$ copies, la probabilité qu'un adversaire censure une fraction $\alpha$ des transactions diminue exponentiellement avec $T$ .
Scalabilité : En séparant le consensus de l'exécution des données complètes, BigDipper permet au niveau de consensus de passer à l'échelle linéairement avec la bande passante agrégée des répliques. La capacité du système n'est pas limitée par la nécessité pour chaque validateur de traiter l'intégralité de la charge utile.
Performance : Le protocole Card-7 s'insère dans le calendrier de messages existant de HotStuff-2 (Propose, Vote, Prepare, Vote2) sans ajouter de nouvelles phases, en utilisant les messages DA-CR (Collection, Dispersal, Approval, Agreement) comme compléments aux messages BFT standards.

Signification

Le document affirme que BigDipper fournit un cadre modulaire pour la résistance à la censure à court terme qui évite la taxe du "taille unique" des protocoles existants. En suivant l'argument de bout en bout, il permet aux applications de choisir leurs propres stratégies de soumission (par exemple, le nombre de répliques à contacter, l'utilisation ou non du codage d'effacement) en fonction de leurs besoins économiques spécifiques en matière de latence et de garanties d'inclusion.

La signification réside dans le transfert de la charge de la résistance à la censure d'un coût de protocole fixe vers un paramètre réglable côté client, tout en garantissant que la couche de consensus reste efficace et partagée. Il démontre que le BFT basé sur un leader peut être rendu résistant à la censure sans sacrifier les avantages de faible latence du modèle basé sur un leader, à condition que la disponibilité des données soit certifiée par un mécanisme partagé basé sur des engagements plutôt que par une réplication complète.