Riepilogo Tecnico: WONDERBOOM

Enunciato del Problema

Ethereum si è evoluto in un'infrastruttura finanziaria globale critica che garantisce oltre 650 miliardi di dollari in asset, tuttavia il suo attuale meccanismo di consenso affronta significativi colli di bottiglia in termini di scalabilità e sicurezza a causa delle dimensioni del suo insieme di validatori (in avvicinamento a un milione). Le limitazioni principali identificate sono:

1. Finalità Lenta: Il protocollo richiede attualmente circa 15 minuti per finalizzare un blocco. Questa latenza deriva dagli elevati costi computazionali e di larghezza di banda necessari per aggregare e verificare le firme su milioni di validatori. Il design attuale partiziona i validatori in comitati e utilizza un protocollo di aggregazione ad albero gerarchico che si estende su più epoche (32 slot per epoca), richiedendo due epoche consecutive per la finalità.
2. Vulnerabilità alla Censura: Il protocollo di aggregazione esistente è suscettibile ad attacchi di censura che possono spostare la distribuzione delle quote da nodi onesti a nodi avversari.
   • Censura del Propositore: Gli avversari possono de-anonimizzare i proponenti tramite la rete gossip e censurare i loro blocchi, causando perdite di ricompensa per i validatori onesti.
   • Censura del Voto: Il protocollo attuale si basa su rappresentanti dei comitati. L'articolo sostiene che la probabilità che un comitato non abbia nessun rappresentante onesto (tutti i 16 rappresentanti selezionati siano bizantini) è significativamente più alta di quanto suggerito dalle metriche calcolate in precedenza. Ciò consente agli avversari di censurare i voti, portando a perdite aggregate di ricompense stimate in oltre 100 milioni di dollari annualmente.
   • Aggregazione Inefficiente: La dipendenza dalla rete gossip per la propagazione dei messaggi introduce una latenza intrinseca (circa 4 secondi per raggiungere il 98% dei nodi), limitando la profondità degli alberi di aggregazione che possono essere costruiti all'interno di un singolo slot di 12 secondi.

Metodologia

Gli autori propongono WONDERBOOM, un protocollo di aggregazione delle firme basato su alberi, progettato per aggregare le firme da tutti gli $N$ validatori all'interno di un singolo slot di Ethereum (12 secondi), consentendo una finalità a due slot (circa 24 secondi). La metodologia si basa su tre innovazioni architetturali e algoritmiche fondamentali:

1. Separazione Architetturale (Validatore vs. Propositore)

Per mitigare la censura e la de-anonimizzazione del propositore, WONDERBOOM separa fisicamente il Processo di Validatore dal Processo di Propositore, assegnando loro indirizzi IP distinti.

• Processo di Validatore: Comunica tramite canali punto-a-punto (P2P) con altri validatori per l'aggregazione. Questo bypassa la rete gossip ad alta latenza per la maggior parte del traffico di consenso.
• Processo di Propositore: Interagisce con la rete gossip solo per la trasmissione dei blocchi e la ricezione degli aggregati finali. La scarsa frequenza di questa interazione rende la de-anonimizzazione significativamente più difficile.

2. Aggregazione ad Albero Profondo con Selezione Randomizzata

WONDERBOOM costruisce un albero di aggregazione profondo in cui ogni nodo rappresenta un comitato di 128 validatori (con 16 rappresentanti casuali).

• Struttura: A differenza dell'albero superficiale di Ethereum, WONDERBOOM aggrega tutte le $N$ firme ad ogni slot.
• Regola di Mitigazione della Censura: Per impedire che gli aggregatori maliziosi inoltrino sempre l'aggregato più grande (potenzialmente censurato), il protocollo impone che l'aggregato più grande venga combinato con un aggregato uniformemente casuale proveniente dai comitati figli. Ciò garantisce che anche se un nodo malintenzionato controlla l'aggregato più grande, i voti onesti abbiano una probabilità non nulla di essere inclusi.

3. Allocazione delle Ricompense e Resilienza alla Censura

L'articolo introduce una definizione formale di Resilienza alla Censura del Voto ($\alpha$-resilienza), definita come la probabilità che un validatore non venga censurato per $k$ slot consecutivi.

• Ricompense a Finestra: I validatori guadagnano ricompense per una finestra di $k$ slot se il loro voto è incluso almeno una volta all'interno di tale finestra. Questo riduce il requisito di probabilità di inclusione per slot, prevenendo allo stesso tempo la deriva delle quote a lungo termine.
• Ottimizzazione delle Chiavi Pubbliche: Sfruttando l'elevato tasso di partecipazione di Ethereum (>99%), il protocollo memorizza nella cache l'aggregato di tutte le chiavi pubbliche e utilizza la sottrazione delle firme BLS per rimuovere le chiavi mancanti, riducendo i costi di aggregazione delle chiavi pubbliche fino al 99%.

Contributi Chiave

1. Protocollo WONDERBOOM: Il primo protocollo di aggregazione in grado di aggregare efficientemente milioni di firme in un singolo slot, offrendo garanzie di resilienza alla censura più forti rispetto al protocollo Ethereum all'avanguardia.
2. Analisi Teorica della Censura: Un'analisi rigorosa che dimostra che la resilienza alla censura del voto del protocollo Ethereum attuale è sovrastimata. L'articolo dimostra che WONDERBOOM raggiunge una resilienza comparabile o superiore con un parametro di sicurezza $k$ molto più piccolo (ad esempio, $k=64$ in WONDERBOOM rispetto a $k=192$ richiesti per Ethereum per raggiungere una resilienza simile).
3. Framework di Simulazione: Lo sviluppo del primo strumento di simulazione in grado di modellare l'aggregazione delle firme tollerante ai guasti bizantini alla scala di un milione di validatori, inclusi scenari peggiori (ad esempio, $N/3$ nodi difettosi).
4. Valutazione delle Prestazioni: Evidenze empiriche che mostrano come WONDERBOOM possa aggregare le firme per fino a 2,5 milioni di nodi all'interno di un singolo slot su hardware legacy, a condizione che venga utilizzata la comunicazione punto-a-punto.

Risultati

Gli autori hanno valutato WONDERBOOM utilizzando il loro strumento di simulazione su un sistema che emula fino a 2,5 milioni di nodi con una latenza di rete di 100 ms.

• Latenza e Scalabilità:
  • Per l'attuale insieme di validatori di Ethereum (~1 milione), WONDERBOOM aggrega tutte le firme in meno di 4 secondi utilizzando solo 4 core CPU.
  • Per 2 milioni di nodi, l'aggregazione rimane sotto i 4 secondi con 8 core.
  • Anche a 2,5 milioni di nodi, il protocollo rimane fattibile, sebbene superi leggermente il budget di 4 secondi negli scenari peggiori.
• Confronto con Ethereum:
  • WONDERBOOM è circa 3 volte più veloce del protocollo di aggregazione Ethereum attuale quando entrambi utilizzano canali punto-a-punto.
  • Tenendo conto della dipendenza attuale di Ethereum dalla rete gossip (che aggiunge ~4 secondi di latenza), WONDERBOOM è >32 volte più veloce nella pratica.
• Resilienza alla Censura:
  • Sotto un avversario adattivo lento, WONDERBOOM raggiunge una probabilità del 99,8% che nessun nodo venga censurato costantemente per due epoche ($k=64$).
  • Al contrario, il design attuale di Ethereum garantirebbe solo una probabilità dell'88,9% nelle stesse condizioni, richiedendo una finestra di 6 epoche per eguagliare la resilienza di WONDERBOOM.

Significato

L'articolo afferma che WONDERBOOM dimostra che una finalità rapida e forti garanzie di inclusione sono compatibili con un consenso a un milione di validatori.

• Decentralizzazione Preservata: A differenza di approcci che riducono l'insieme dei validatori o utilizzano super-comitati (che compromettono la sicurezza economica), WONDERBOOM aggrega le firme da tutti i validatori, mantenendo la piena sicurezza economica della rete.
• Sicurezza Economica: Mitigando la censura del voto, il protocollo previene la ridistribuzione sistematica delle quote da nodi onesti a nodi avversari, un fattore critico per la sicurezza a lungo termine della rete.
• Deployabilità Pratica: Il protocollo è progettato per essere modulare e può essere integrato in sistemi esistenti come Ethereum con modifiche minime, utilizzando primitive crittografiche standard (firme BLS) e le capacità hardware esistenti.

Gli autori concludono che, sebbene gli avversari pienamente adattivi rimangano una sfida teorica per i protocolli a singolo propositore, WONDERBOOM fornisce una soluzione robusta contro gli avversari lentamente adattivi, affrontando i principali colli di bottiglia che impediscono a Ethereum di raggiungere la finalità a singolo slot su larga scala.