⚡ electrical engineering

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

BigDipper is een gescheiden data-beschikbaarheidsframework voor leader-gebaseerde BFT-protocollen dat censuurresistentie ontkoppelt van de consensuslaag door een DA-CR-mechanisme te introduceren, waardoor validators de beschikbaarheid van mini-blocks kunnen verifiëren zonder volledige reconstructie, terwijl hogere-laag applicaties hun eigen beschermingsstrategieën kunnen aanpassen.

Oorspronkelijke auteurs: Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

Gepubliceerd 2026-06-03

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Probleem: De "Baas" die je brief kan verbergen

Stel je voor dat een blockchain-netwerk een enorme, razendsnelle postservice is. In veel van deze systemen is er een Leader (zoals een Postmeester) die verantwoordelijk is voor het sorteren van de post en het plaatsen ervan op de bezorgwagens (blocks) die de wereld in gaan.

Dit systeem is snel en efficiënt. Het heeft echter een gebrek: de Postmeester heeft de totale controle over wat er op dit moment op de wagen komt te staan. Als de Postmeester kwaadwillend is, kan hij de wagens volgens schema laten rijden, maar stiekem jouw specifieke brief achterhouden. Hij hoeft het hele systeem niet te stoppen; hij hoeft alleen maar jouw specifieke brief een paar minuten te vertragen.

In de echte wereld is dit een ramp voor zaken als:

Veilingbiedingen: Als jouw bod door één wagen wordt vertraagd, verlies je de veiling.
Liquidaties: Als een bank een slecht krediet niet snel genoeg kan liquideren, verliezen ze geld.
Bridge-berichten: Als je crypto tussen chains verplaatst, kan een vertraging betekenen dat je fondsen verloren gaat.

Bestaande oplossingen proberen dit op te lossen door de Postmeester strikte regels op te leggen voor iedereen. Maar dit is alsof iedereen moet betalen voor een VIP-gepantserde wagen, alleen maar omdat één persoon een tijdgevoelige brief verstuurt. Het is duur en vertraagt alles.

De Oplossing: BigDipper

BigDipper is een nieuw systeem dat is ontworpen om dit op te lossen zonder het hele netwerk te vertragen. Het volgt een simpele regel: "Hardcode de regels niet; geef de tools en laat de gebruiker zelf beslissen."

Zie BigDipper als een Slimme Sorteerkamer die tussen de mensen die brieven versturen en de Postmeester in zit.

1. De "Mini-Blocks" (De Shards)

In plaats van dat de Postmeester alle post zelf verzamelt, laat BigDipper de Replicas (de lokale postkantoren) de post eerst verzamelen.

Elk lokaal postkantoor verzamelt de brieven die zij ontvangen en plaatst ze in een kleine, verzegelde envelop die een Mini-Block wordt genoemd.
Deze enveloppen worden vervolgens naar de Postmeester gestuurd.

2. De "Magische Puzzel" (Erasure Coding)

Dit is het slimme gedeelte. De Postmeester neemt al deze Mini-Blocks en versnippert ze in puzzelstukjes met een speciale wiskundige truc die Erasure Coding wordt genoemd.

Stel je voor dat je 100 brieven neemt, ze versnippert en 300 puzzelstukjes creëert.
Je kunt de originele 100 brieven reconstrueren uit elke 100 van die 300 stukjes.
De Postmeester stuurt deze puzzelstukjes naar de Validators (de controleurs die checken of het systeem eerlijk is).

Waarom is dit cool?
De controleurs hoeven niet de hele lading post te zien om te weten dat deze er is. Ze hoeven alleen een paar puzzelstukjes en een "magisch bonnetje" (een cryptografische commitment) te controleren om te bewijzen dat de hele wagen geldig is. Dit houdt het systeem snel en schaalbaar.

3. De "Censuur-resistente" Regel (DA-CR)

Dit is de kerninnovatie. BigDipper introduceert een regel genaamd DA-CR (Data Availability met Censorship Resistance).

De Regel: De Postmeester moet puzzelstukjes bevatten van ten minste een bepaald aantal lokale postkantoren. Hij kan niet zomaar kiezen wie er wel of niet op de wagen komt.
De Catch: De Postmeester kan nog steeds proberen een specifieke brief te verbergen, maar dat kan alleen als hij erin slaagt het volledige lokale postkantoor dat de brief ontving, uit te sluiten.

4. De "Fanout" Strategie (Navigator)

Dit is waar de gebruiker (de client) in beeld komt. BigDipper geeft je een keuze: Hoeveel bescherming wil je?

De Goedkope Optie: Je stuurt je brief naar slechts één lokaal postkantoor. Het is goedkoop en snel, maar als dat specifieke postkantoor door de Postmeester wordt genegeerd, wordt je brief gecensureerd.
De Hoge Beveiligingsoptie: Je stuurt je brief naar veel lokale postkantoren (hoge "fanout"). Zelfs als de Postmeester 50% van de kantoren negeert, zit jouw brief nog steeds in de handen van de anderen. Het kost iets meer om het naar meer plaatsen te sturen, maar je kans op censuur daalt naar bijna nul.

De Analogie:
Als je een gewone verjaardagskaart stuurt, gooi je hem misschien in één brievenbus. Als je een winnende loterijkaart stuurt, stuur je misschien kopieën naar 10 verschillende brievenbussen. BigDipper laat je kiezen hoeveel brievenbussen je wilt gebruiken op basis van hoeveel de brief je waard is.

Het Resultaat: Een Modulair Systeem

BigDipper scheidt de Consensus (het overeenkomen over de volgorde van gebeurtenissen) van de Execution (het daadwerkelijk verwerken van de data).

De Validators (Controleurs) controleren alleen de "Magische Bonnetjes" en een paar puzzelstukjes. Ze hoeven niet de hele wagen te downloaden. Dit maakt het systeem ongelooflijk snel.
De Execution Layer (De mensen die de apps daadwerkelijk draaien) kan beslissen hoe ze de volledige data later ophalen. Ze kunnen krachtige computers, gespecialiseerde teams of andere methoden gebruiken om het volledige plaatje te krijgen.

Samenvatting van Claims

Het paper beweert dat door deze "Sharded" (opgesplitste) aanpak met Erasure Coding en Lineaire Commitments:

Censuur is afstelbaar: Gebruikers kunnen hun eigen niveau van bescherming kiezen. Als je onveranderlijkheid nodig hebt, betaal je de kosten voor het versturen naar meer nodes. Als dat niet nodig is, bespaar je geld.
Schaalbaarheid: Het systeem vertraagt niet naarmate het groeit, omdat validators niet de volledige block hoeven te downloaden; ze controleren alleen hun specifieke "shards" (puzzelstukjes).
Veiligheid: Zelfs met een kwaadwillende Postmeester garandeert het systeem dat als genoeg eerlijke nodes jouw data hebben, het systeem niet kan worden misleid om te denken dat de data ontbreekt of is veranderd.
Integratie: Ze hebben dit succesvol geïntegreerd in HotStuff-2 (een populair blockchain-protocol) zonder de veiligheidsregels te breken, wat bewijst dat het werkt in een echte setting.

Kortom, BigDipper stopt de "Postmeester" van een single point of failure te zijn door de post over veel handen te verspreiden, wiskunde te gebruiken om te bewijzen dat de post er is, en de verzender te laten beslissen hoeveel handen hij wil vertrouwen.

Technische Samenvatting: BigDipper

Probleemstelling

Leader-gebaseerde Byzantine Fault Tolerant (BFT) protocollen zijn dominant in productierijpe blockchain-systemen vanwege hun lage latentie en eenvoudige communicatiestructuren. Echter, ze verlenen de leader korte-termijn controle over de inclusie van transacties. Een kwaadwillende leader kan het protocol levend houden (liveness waarborgen), terwijl hij selectief tijdgevoelige transacties, zoals veilingbiedingen, oracle-updates, liquidaties en bridge-berichten, vertraagt of uitsluit. Dit fenomeen, getermd kort-termijn censuur, wordt niet gevangen door standaard BFT liveness-garanties.

Bestaande oplossingen implementeren vaak sterke anti-censuur-, verbergings- of ordeningsmechanismen direct in het consensuspad. Hoewel deze benaderingen effectief zijn voor specifieke use cases, dwingen ze alle transacties om dezelfde hoge kosten te betalen voor bescherming, ongeacht of een specifieke transactie dergelijke robuustheid vereist. Dit artikel pleit voor een moderner ontwerp dat voldoet aan het end-to-end principe: de consensuslaag moet minimale primitieven blootstellen voor veilige ordening en data-beschikbaarheid, waarbij de keuze voor strategieën en kosten voor censuurresistentie aan hogere-laags applicaties wordt overgelaten.

Methodologie

BigDipper introduceert een Censuurresistente Data-Beschikbaarheidslaag (DA-CR) gepositioneerd tussen de transactie-indiening en het leader-gebaseerde BFT-consensusproces. Het systeem is ontworpen rond drie kerncomponenten:

DA-CR Abstractie: Een laag waar replica's mini-blocks bijdragen, en een mechanisme certificeert welke data beschikbaar is en door de leader moet worden opgenomen. Deze laag wordt gekenmerkt door parameters $(t, \eta)$ , waarbij $t$ de gegarandeerde inclusie van eerlijke mini-blocks vertegenwoordigt, en $\eta$ het resterende vermogen van de leader om ruimte in te nemen (data uit te sluiten).
Geshard Consensus Kritieke Pad: In tegenstelling tot traditionele ontwerpen waar validators de volledige block-payload moeten downloaden en uitvoeren, houdt BigDipper de data geshard op het kritieke pad. Validators stemmen op basis van compacte commitments, beschikbaarheidsbewijs en DA-CR inclusieregels, in plaats van de volledige payload te reconstrueren.
Client-Tunable Indiening (Navigator): Een transactie-verspreidingsprotocol waarbij cliënten een "fanout"-parameter $x$ kiezen, waarbij ze transacties naar $x$ verschillende replica's sturen. Dit stelt cliënten in staat om de communicatiekosten af te wegen tegen de waarschijnlijkheid van prompt inclusie.

Kernconstructies

Het artikel presenteert concrete DA-CR constructies gebaseerd op Reed-Solomon (RS) erasure coding en lineaire polynomiale commitments (KZG):

Card-7: Een verantwoordingsplichtig protocol waarbij de leader attestaties moet verstrekken voor geïncludeerde mini-blocks. Het garandeert dat $t = n - 2f$ eerlijke mini-blocks worden opgenomen en $\eta = 0$ (geen ruimte-inname). Het vereist $n \ge 3f + 1$ .
Card-1/4: Een variant zonder verantwoordingsplicht met lagere overhead. Het verwijdert de vereiste voor publieke attestaties, waardoor de leader kan verbergen welke replica's zijn opgenomen. Het bereikt $t = n - 3f$ en $\eta = n - f - 1$ , wat een sterkere assumptie vereist van $n \ge 4f + 1$ .
Card-Lite: Een optimalisatie van Card-7 met behulp van een dubbel homomorfe commitment-schema. Het vermindert de per-replica overhead naar $O(\log n)$ door commitments te samplen in plaats van de volledige lijst te verzenden, terwijl $t \approx n - 2f$ behouden blijft.

Integratie met HotStuff-2

BigDipper wordt geïnstantieerd binnen HotStuff-2. De integratie is chirurgisch; er wordt een Scooping rule geïntroduceerd als een geldigheidspredicaat. Een leader-voorstel is alleen geldig als het een voltooide DA-CR output incorporeert (een certificaat dat data-beschikbaarheid en de inclusie van vereiste mini-blocks bewijst). Dit verandert de veiligheidscore van HotStuff-2 niet, maar voorkomt dat leaders progressie maken zonder de vereiste door replica's bijgedragen data te bevatten.

Belangrijkste Bijdragen

Modulaire Abstractie voor Kort-termijn Censuurresistentie: De introductie van DA-CR, die het mechanisme voor data-beschikbaarheid ontkoppelt van de specifieke beleidsregels voor censuurresistentie. Het formaliseert de trade-offs tussen gegarandeerde inclusie ( $t$ ) en de invloed van de leader ( $\eta$ ).
Gesharde, Schaalbare Datapad: Een ontwerp waarbij gewone validators niet de volledige block-payload hoeven te downloaden om te stemmen. Zij verifiëren commitments en metadata, waardoor de bandbreedte van de geaggregeerde voorstellen schaalt met de data-bijdrage aan de replica-zijde in plaats van beperkt te worden door de input-bandbreedte van een enkele leader.
Client-Tunable Censuurresistentie: Het Navigator-protocol stelt cliënten in staat om de kans op inclusie te vergroten door hun fanout te verhogen. Het artikel analyseert de kosten/beveiliging trade-off en bewijst via een union-bound argument dat brede censuur exponentieel minder waarschijnlijk wordt naarmate het aantal ingediende transacties en replica's toeneemt.
Concrete Integratie en Analyse: Een volledige instantiatie van BigDipper binnen HotStuff-2, die aantoont dat DA-CR precies verbonden kan worden met bestaande leader-gebaseerde BFT-protocollen zonder veiligheid of liveness in gevaar te brengen.

Resultaten en Analyse

Censuurresistentie: De analyse toont aan dat hoewel een kwaadwillende leader transacties die naar een klein aantal replica's worden gestuurd kan censureren, het censureren van een groot deel van de transacties exponentieel moeilijker wordt naarmate het systeem schaalt. Specifiek, als $T$ cliënten elk $x$ kopieën sturen, neemt de waarschijnlijkheid dat een tegenstander een fractie $\alpha$ van de transacties censureert exponentieel af met $T$ .
Schaalbaarheid: Door consensus te scheiden van de volledige data-executie, stelt BigDipper de consensuslaag in staat om lineair te schalen met de geaggregeerde bandbreedte van de replica's. De capaciteit van het systeem wordt niet beperkt door de noodzaak voor elke validator om de volledige payload te verwerken.
Prestaties: Het Card-7 protocol past binnen het bestaande berichtenschema van HotStuff-2 (Propose, Vote, Prepare, Vote2) zonder nieuwe fasen toe te voegen, door DA-CR berichten (Collection, Dispersal, Approval, Agreement) mee te sturen met de standaard BFT-berichten.

Betekenis

Het artikel stelt dat BigDipper een modulair framework biedt voor kort-termijn censuurresistentie dat de "one-size-fits-all" belasting van bestaande protocollen vermijdt. Door het end-to-end principe te volgen, stelt het applicaties in staat om hun eigen indieningsstrategieën te kiezen (bijv. hoeveel replica's te contacteren, of gebruik te maken van erasure coding) op basis van hun specifieke economische behoeften voor latentie en inclusiegaranties.

De betekenis ligt in het verschuiven van de last van censuurresistentie van een vaste protocolkost naar een aanpasbare client-zijde parameter, terwijl de consensuslaag efficiënt en geshard blijft. Het demonstreert dat leader-gebaseerde BFT censuurresistent kan worden gemaakt zonder de voordelen van lage latentie van het leader-gebaseerde model op te offeren, mits de data-beschikbaarheid gecertificeerd wordt via een geshard, commitment-gebaseerd mechanisme in plaats van volledige replicatie.