⚡ electrical engineering

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

BigDipper è un framework di disponibilità dei dati a partizionamento (sharded) per protocolli BFT basati su leader che disaccoppia la resistenza alla censura dallo strato di consenso introducendo un meccanismo DA-CR, permettendo ai validatori di verificare la disponibilità dei mini-blocchi senza una ricostruzione completa e consentendo al contempo alle applicazioni di livello superiore di personalizzare le proprie strategie di protezione.

Autori originali: Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

Pubblicato 2026-06-03

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il Problema: Il "Capo" che può nascondere la tua lettera

Immagina che una rete blockchain sia come un enorme servizio postale ad alta velocità. In molti di questi sistemi, c'è un Leader (come un Direttore Postale) che è responsabile dell'ordinare la posta e di caricarla sui camion per la consegna (i blocchi) che partono verso il mondo.

Questo sistema è veloce ed efficiente. Tuttavia, ha un difetto: il Direttore Postale ha il controllo totale su ciò che viene caricato sul camion proprio in questo momento. Se il Direttore Postale è malizioso, può far sì che i camion rispettino la tabella di marcia, ma può segretamente lasciare la tua lettera fuori dal camion. Non deve fermare l'intero sistema; deve solo ritardare la tua specifica lettera di qualche minuto.

Nel mondo reale, questo è un disastro per cose come:

Offerte d'asta: Se la tua offerta viene ritardata di un camion, perdi l'asta.
Liquidazioni: Se una banca non può liquidare un cattivo prestito rapidamente, perde denaro.
Messaggi di Bridge: Se stai spostando criptovalute tra diverse catene, un ritardo potrebbe significare la perdita dei fondi.

Le soluzioni esistenti cercano di risolvere il problema costringendo il Direttore Postale a seguire regole rigide per tutti. Ma questo è come costringere tutti a pagare per un camion blindato VIP solo perché una persona sta inviando una lettera urgente. È costoso e rallenta tutto.

La Soluzione: BigDipper

BigDipper è un nuovo sistema progettato per risolvere questo problema senza rallentare l'intera rete. Segue una regola semplice: "Non codificare le regole in modo rigido; fornisci gli strumenti e lascia che l'utente decida."

Pensa a BigDipper come a una Stanza di Smistamento Intelligente che si trova tra le persone che inviano le lettere e il Direttore Postale.

1. I "Mini-Blocchi" (Gli Shard)

Invece di far raccogliere tutta la posta al Direttore Postale, BigDipper permette ai Replica (gli uffici postali locali) di raccogliere la posta per primi.

Ogni ufficio postale locale raccoglie le lettere che riceve e le inserisce in una piccola busta sigillata chiamata Mini-Blocco.
Queste buste vengono poi inviate al Direttore Postale.

2. Il "Puzzle Magico" (Erasure Coding)

Ecco la parte geniale. Il Direttore Postale prende tutti i Mini-Blocchi e li frammenta in pezzi di un puzzle usando un trucco matematico speciale chiamato Erasure Coding.

Immagina di prendere 100 lettere, sminuzzarle e creare 300 pezzi di un puzzle.
Puoi ricostruire le 100 lettere originali da qualsiasi 100 dei 300 pezzi.
Il Direttore Postale invia questi pezzi del puzzle ai Validator (gli auditor che controllano se il sistema è onesto).

Perché è fantastico?
Gli auditor non hanno bisogno di vedere l'intero carico di posta per sapere che è lì. Devono solo controllare alcuni pezzi del puzzle e una "ricevuta magica" (un impegno crittografico) per dimostrare che l'intero camion è valido. Questo mantiene il sistema veloce e scalabile.

3. La Regola della "Resistenza alla Censura" (DA-CR)

Questa è l'innovazione centrale. BigDipper introduce una regola chiamata DA-CR (Data Availability con Resistenza alla Censura).

La Regola: Il Direttore Postale deve includere i pezzi del puzzle provenienti da almeno un certo numero di uffici postali locali. Non può semplicemente scegliere chi viene caricato sul camion.
Il Trucco: Il Direttore Postale può comunque provare a nascondere una specifica lettera, ma può farlo solo se riesce a escludere l'intero ufficio postale locale che l'ha ricevuta.

4. La Strategia "Fanout" (Navigator)

È qui che entra in gioco l'utente (il cliente). BigDipper ti dà una scelta: Quanto vuoi protezione?

L'Opzione a Basso Costo: Invii la tua lettera a un solo ufficio postale locale. È economico e veloce, ma se quel particolare ufficio postale viene ignorato dal Direttore Postale, la tua lettera viene censurata.
L'Opzione ad Alta Sicurezza: Invii la tua lettera a molti uffici postali locali (alto "fanout"). Anche se il Direttore Postale ignora il 50% degli uffici, la tua lettera è ancora nelle mani degli altri. Costa un po' di più inviarla in più posti, ma la tua probabilità di essere censurato scende quasi a zero.

L'Analogia:
Se stai inviando un normale biglietto di auguri, potresti semplicemente lasciarlo in una cassetta delle lettere. Se stai inviando un biglietto della lotteria vincente, potresti inviare copie a 10 diverse cassette delle lettere. BigDipper ti permette di scegliere quante cassette delle lettere utilizzare in base a quanto è importante per te quella lettera.

Il Risultato: Un Sistema Modulare

BigDipper separa il Consenso (concordare l'ordine degli eventi) dall'Esecuzione (elaborare effettivamente i dati).

I Validator (Auditor) controllano solo le "Ricevute Magiche" e alcuni pezzi del puzzle. Non devono scaricare l'intero camion. Questo rende il sistema incredibilmente veloce.
Lo Strato di Esecuzione (le persone che gestiscono effettivamente le app) può decidere come recuperare i dati completi in seguito. Possono usare computer potenti, team specializzati o altri metodi per ottenere il quadro completo.

Sintesi delle Rivendicazioni

Il paper afferma che, utilizzando questo approccio "frammentato" (sharded) con Erasure Coding e Impegni Lineari:

La Censura è Regolabile: Gli utenti possono scegliere il proprio livello di protezione. Se hai bisogno di essere inattaccabile dalla censura, paghi il costo di inviare i dati a più nodi. Se non ne hai bisogno, risparmi denaro.
Scalabilità: Il sistema non rallenta man mano che cresce perché i validator non devono scaricare l'intero blocco; controllano solo i loro specifici "shard" (pezzi del puzzle).
Sicurezza: Anche con un Direttore Postale malizioso, il sistema garantisce che se abbastanza nodi onesti hanno i tuoi dati, il sistema non può essere ingannato facendogli credere che i dati siano mancanti o modificati.
Integrazione: Hanno integrato con successo questo sistema in HotStuff-2 (un popolare protocollo blockchain) senza violare le sue regole di sicurezza, dimostrando che funziona in un contesto reale.

In breve, BigDipper impedisce al "Direttore Postale" di essere un singolo punto di fallimento, distribuendo la posta in molte mani, usando la matematica per dimostrare che la posta è presente e lasciando al mittente la decisione di quante mani vuole fidarsi.

Sintesi Tecnica: BigDipper

Definizione del Problema

I protocolli BFT (Byzantine Fault Tolerant) basati su un leader sono dominanti nei sistemi blockchain in produzione grazie alla loro bassa latenza e alle strutture di comunicazione semplici. Tuttavia, essi conferiscono al leader un controllo a breve termine sull'inclusione delle transazioni. Un leader malevolo può mantenere il protocollo attivo (garantendo la liveness) pur ritardando o escludendo selettivamente transazioni sensibili al tempo, come offerte d'asta, aggiornamenti di oracle, liquidazioni e messaggi di bridge. Questo fenomeno, denominato censura a breve termine, non è catturato dalle standard garanzie di liveness BFT.

Le soluzioni esistenti spesso integrano meccanismi di anti-censura, occultamento o ordinamento direttamente nel percorso del consenso. Sebbene efficaci per casi d'uso specifici, questi approcci costringono tutte le transazioni a pagare lo stesso elevato costo per la protezione, indipendentemente dal fatto che una specifica transazione richieda tale robustezza. Questo documento sostiene una progettazione più modulare che aderisca al principio end-to-end: lo strato di consenso dovrebbe esporre primitivi minimi per l'ordinamento sicuro e la disponibilità dei dati, lasciando la scelta delle strategie di resistenza alla censura e dei relativi costi alle applicazioni dello strato superiore.

Metodologia

BigDipper introduce uno strato di Disponibilità dei Dati Resistente alla Censura (DA-CR) posizionato tra la sottomissione delle transazioni e il consenso BFT basato su leader. Il sistema è progettato attorno a tre componenti principali:

Astrazione DA-CR: Uno strato in cui le repliche contribuiscono con mini-blocchi, e un meccanismo certifica quali dati sono disponibili e devono essere catturati dal leader. Questo strato è caratterizzato dai parametri $(t, \eta)$ , dove $t$ rappresenta l'inclusione garantita di mini-blocchi onesti e $\eta$ rappresenta la capacità residua del leader di catturare spazio (escludere dati).
Percorso Critico di Consenso Shardato: A differenza dei design tradizionali in cui i validatori devono scaricare ed eseguire l'intero payload del blocco, BigDipper mantiene i dati shardati sul percorso critico. I validatori votano sulla base di impegni compatti, prove di disponibilità e regole di inclusione DA-CR piuttosto che ricostruire l'intero payload.
Sottomissione Regolabile dal Client (Navigator): Un protocollo di disseminazione delle transazioni in cui i client scelgono un parametro di "fanout" $x$ , inviando le transazioni a $x$ repliche distinte. Ciò consente ai client di scambiare il costo di comunicazione con la probabilità di un'inclusione tempestiva.

Costruzioni Core

Il documento presenta costruzioni concrete di DA-CR basate sulla codifica di cancellazione Reed-Solomon (RS) e sugli impegni polinomiali lineari (KZG):

Card-7: Un protocollo responsabile in cui il leader deve fornire attestazioni per i mini-blocchi inclusi. Garantisce che $t = n - 2f$ mini-blocchi onesti siano inclusi e $\eta = 0$ (nessun cattura di spazio). Richiede $n \ge 3f + 1$ .
Card-1/4: Una variante non responsabile con overhead inferiore. Rimuove l'obbligo di attestazioni pubbliche, permettendo al leader di nascondere quali repliche siano state incluse. Ottiene $t = n - 3f$ e $\eta = n - f - 1$ , richiedendo un'assunzione più forte di $n \ge 4f + 1$ .
Card-Lite: Un'ottimizzazione di Card-7 che utilizza uno schema di impegno doppiamente omomorfo. Riduce l'overhead per replica a $O(\log n)$ campionando gli impegni invece di trasmettere l'elenco completo, mantenendo $t \approx n - 2f$ .

Integrazione con HotStuff-2

BigDipper è istanziato all'interno di HotStuff-2. L'integrazione è chirurgica, introducendo una regola di Scooping come predicato di validità. Una proposta del leader è valida solo se incorpora un output DA-CR completato (un certificato che prova la disponibilità dei dati e l'inclusione dei mini-blocchi richiesti). Questo non altera il nucleo di sicurezza di HotStuff-2 ma impedisce ai leader di procedere senza catturare i dati richiesti dai membri della replica.

Contributi Chiave

Astrazione Modulare per la Resistenza alla Censura a Breve Termine: L'introduzione di DA-CR, che decoppia il meccanismo di disponibilità dei dati dalle specifiche politiche di resistenza alla censura. Formalizza i trade-off tra inclusione garantita ( $t$ ) e influenza del leader ( $\eta$ ).
Percorso Dati Shardato e Scalabile: Un design in cui i validatori ordinari non devono scaricare l'intero payload del blocco per votare. Essi verificano impegni e metadati, permettendo alla larghezza di banda della proposta aggregata di scalare con il contributo di dati lato replica piuttosto che essere limitata dalla larghezza di banda di input di un singolo leader.
Resistenza alla Censura Regolabile dal Client: Il protocollo Navigator consente ai client di amplificare la probabilità di inclusione aumentando il proprio fanout. Il documento analizza il compromesso costo/sicurezza, dimostrando tramite un argomento di union-bound che la censura estesa diventa esponenzialmente improbabile all'aumentare del numero di transazioni inviate e delle repliche.
Integrazione e Analisi Concreta: Un'istanza completa di BigDipper all'interno di HotStuff-2, dimostrando che DA-CR può essere connesso precisamente ai protocolli BFT basati su leader esistenti senza compromettere la sicurezza o la liveness.

Risultati e Analisi

Resistenza alla Censura: L'analisi mostra che, sebbene un leader malevolo possa censurare le transazioni inviate a un piccolo numero di repliche, censurare una grande frazione di transazioni diventa esponenzialmente difficile man mano che il sistema scala. Nello specifico, se $T$ client inviano $x$ copie, la probabilità che un avversario censuri una frazione $\alpha$ delle transazioni diminuisce esponenzialmente con l'aumentare di $T$ .
Scalabilità: Separando il consenso dall'esecuzione del payload completo, BigDipper permette al livello di consenso di scalare linearmente con la larghezza di banda aggregata delle repliche. La capacità del sistema non è strozzata dalla necessità di ogni validatore di elaborare l'intero payload.
Performance: Il protocollo Card-7 si inserisce nel programma di messaggistica esistente di HotStuff-2 (Propose, Vote, Prepare, Vote2) senza aggiungere nuove fasi, agganciando i messaggi DA-CR (Collection, Dispersal, Approval, Agreement) ai messaggi BFT standard.

Significato

Il documento sostiene che BigDipper fornisce un framework modulare per la resistenza alla censura a breve termine che evita la "tassa universale" dei protocolli esistenti. Seguendo l'argomento end-to-end, permette alle applicazioni di scegliere le proprie strategie di sottomissione (ad esempio, quanti contatti con le repliche, se utilizzare la codifica di cancellazione) in base alle proprie specifiche esigenze economiche di latenza e garanzie di inclusione.

Il significato risiede nello spostare l'onere della resistenza alla censura da un costo fisso del protocollo a un parametro regolabile lato client, assicurando al contempo che il livello di consenso rimanga efficiente e shardato. Dimostra che i protocolli BFT basati su leader possono essere resi resistenti alla censura senza sacrificare i benefici di bassa latenza del modello basato su leader, a condizione che la disponibilità dei dati sia certificata attraverso un meccanismo basato su impegni e sharding anziché sulla replica completa.