Geographical Centralization Resilience in Ethereum's Block-Building Paradigms

1. Il Problema

La decentralizzazione è il presupposto fondamentale per la sicurezza delle blockchain permissionless, garantendo integrità, sicurezza e resistenza alla censura. Tuttavia, le metriche convenzionali (come la distribuzione delle quote o "stake") spesso trascurano la dimensione geografica.

• Vulnerabilità: Se i validatori sono concentrati geograficamente (es. lungo il corridoio atlantico USA-Europa), diventano vulnerabili a shock regionali come disastri naturali, interruzioni di rete o interventi governativi (es. il divieto di mining in Cina del 2021).
• Equità: La posizione geografica influenza la latenza. I validatori più lontani dai hub di rete subiscono svantaggi di latenza che riducono la loro capacità di competere per le ricompense.
• Dinamica di Mercato: In Ethereum, la posizione dei validatori non è codificata nel protocollo, ma emerge da incentivi economici. Quando certi luoghi offrono vantaggi sistematici (es. bassa latenza verso fonti di informazioni o fornitori di blocchi), i validatori tendono a co-localizzarsi strategicamente, creando un "gioco di localizzazione" simile alla legge di Hotelling.

L'obiettivo dello studio è analizzare come l'architettura di costruzione dei blocchi di Ethereum influenzi sistematicamente questi incentivi geografici e la resilienza alla centralizzazione.

2. Metodologia

Gli autori propongono un framework unificato che combina modellazione analitica e simulazione basata su agenti (Agent-Based Modeling - ABM) per superare i limiti delle analisi puramente empiriche o teoriche.

A. Modello Formale

Il modello formalizza gli incentivi di posizionamento geografico dei validatori sotto due paradigmi di costruzione dei blocchi:

1. Costruzione Locale (Local Block Building): Il validatore raccoglie segnali (transazioni, dati di prezzo) da fonti distribuite, costruisce il blocco localmente e lo diffonde. La ricompensa dipende dalla latenza verso le fonti di informazione e verso gli attestatori.
2. Costruzione Esterna (External Block Building - PBS/ePBS): Il validatore esternalizza la costruzione a un fornitore (builder). Il validatore firma un'intestazione di blocco fornita e si affida al fornitore per la diffusione. La ricompensa dipende principalmente dalla latenza verso il fornitore.

Componenti chiave del modello:

• Geografia e Latenza: Le regioni sono modellate come nodi discreti con latenze di propagazione stocastiche (distribuzione log-normale).
• Agenti: I validatori sono agenti autonomi che massimizzano il payoff atteso scegliendo la regione e il momento di rilascio del blocco (timing games).
• Dinamica di Migrazione: I validatori migrano tra regioni se il beneficio marginale (riduzione della latenza e aumento del payoff) supera un costo di migrazione $c$.

B. Simulazione (ABM)

Per quantificare gli effetti, gli autori hanno implementato una simulazione basata su agenti utilizzando il framework Mesa in Python:

• Dati Reali: La latenza è calibrata su dati reali di Google Cloud Platform (GCP) per 40 regioni globali.
• Scenari: Sono stati testati 4 esperimenti (EXP) variando:
  1. La disposizione delle fonti di informazione.
  2. La distribuzione iniziale dei validatori.
  3. L'eterogeneità congiunta di validatori e fonti.
  4. I parametri di consenso (soglia di attestazione $\gamma$ e durata dello slot $\Delta$).
• Metriche: Sono stati utilizzati il coefficiente di Gini geografico ($Gini_g$), l'indice HHI geografico ($HHI_g$), il coefficiente di variazione del payoff geografico ($CV_g$) e il coefficiente di "liveness" geografico ($LC_g$).

3. Contributi Chiave

1. Modello Unificato: Prima analisi che combina caratterizzazione analitica (approssimazione di campo medio) e simulazione computazionale per studiare gli incentivi di posizionamento geografico in Ethereum.
2. Dimostrazione di Non-Neutralità Geografica: Dimostrano che l'architettura di costruzione dei blocchi di Ethereum non è geograficamente neutra; entrambi i paradigmi generano incentivi per la co-localizzazione, ma attraverso meccanismi diversi.
3. Analisi dei Paradigmi:
   • Nella costruzione locale, gli incentivi di migrazione scalano con il numero di fonti di segnale: avvicinarsi a un hub con molte fonti offre vantaggi cumulativi.
   • Nella costruzione esterna, gli incentivi sono limitati alla latenza verso un singolo fornitore selezionato.
4. Ruolo dei Parametri di Consenso: Mostrano come parametri come la soglia di attestazione e la durata dello slot agiscano come leve a livello di protocollo che possono amplificare o attenuare la centralizzazione geografica.

4. Risultati Principali

Centralizzazione e Paradigmi

• Costruzione Locale: Genera incentivi di migrazione più forti e una centralizzazione più rapida. I validatori tendono a co-localizzarsi in hub a bassa latenza che offrono accesso simultaneo a molte fonti di informazioni e a un vasto numero di attestatori.
• Costruzione Esterna (PBS): Sebbene riduca la dipendenza dal validatore per la diffusione del blocco, crea nuovi incentivi per co-localizzarsi con i fornitori (builder). Se i fornitori sono concentrati, anche i validatori lo saranno.
• Asimmetria delle Fonti: Una distribuzione asimmetrica delle fonti di informazione (es. fonti concentrate in regioni a bassa latenza) amplifica la centralizzazione nella costruzione locale. Curiosamente, nella costruzione esterna, se i fornitori sono in regioni ad alta latenza, gli incentivi a migrare verso di essi diventano ancora più forti per ridurre il collo di bottiglia "propositore-fornitore".

Impatto dei Parametri di Consenso

• Soglia di Attestazione ($\gamma$):
  • Un $\gamma$ più alto (es. 4/5) riduce gli incentivi alla migrazione nella costruzione locale (costringendo a un compromesso tra vicinanza alle fonti e agli attestatori).
  • Un $\gamma$ più alto aumenta gli incentivi alla migrazione nella costruzione esterna (rendendo ogni millisecondo di latenza col fornitore più costoso).
• Durata dello Slot ($\Delta$):
  • Accorciare lo slot (es. da 12s a 6s) non cambia drasticamente il grado di centralizzazione geografica, ma aumenta la disparità dei payoff tra regioni. Una latenza fissa diventa una frazione più grande della finestra temporale disponibile, rendendo i vantaggi geografici relativamente più preziosi.

Convergenza

Quando i validatori iniziano già concentrati (come nella realtà attuale di Ethereum), entrambi i paradigmi portano a una rapida convergenza verso uno stato di co-localizzazione, saturando i benefici della migrazione. Tuttavia, la costruzione locale mostra una maggiore varianza nei payoff regionali rispetto a quella esterna in condizioni di partenza omogenee.

5. Significato e Implicazioni

• Progettazione del Protocollo: La decentralizzazione geografica non è un sottoprodotto casuale, ma un risultato endogeno delle scelte di progettazione del protocollo. Ignorare questi incentivi rischia di erodere la sicurezza e la resilienza di Ethereum.
• Mitigazione:
  • Decentralizzazione dell'Offerta: Promuovere la diversità geografica dei builder, relay e fonti di segnale è cruciale.
  • Meccanismi Economici: Ridurre la sensibilità delle ricompense alla latenza (es. tramite "MEV-burn" o meccanismi che smorzano i giochi temporali) può ridurre gli incentivi economici alla migrazione.
  • Nuovi Paradigmi: Soluzioni come BuilderNet o Multiple Concurrent Proposers potrebbero alterare gli incentivi, ma richiedono un'attenta analisi per evitare nuovi punti di centralizzazione.
• Ricerca Futura: Il framework fornito dagli autori e il dashboard pubblico permettono di testare futuri aggiornamenti di protocollo (come ePBS o slot time ridotti) prima della loro implementazione, valutandone l'impatto sulla resilienza geografica.

In sintesi, il paper evidenzia che senza interventi mirati, le dinamiche di mercato e le scelte di protocollo attuali spingono inevitabilmente verso una maggiore concentrazione geografica, minacciando la resilienza di Ethereum a shock regionali.