Riepilogo Tecnico: La Concavità è il Nuovo Lineare

Enunciato del Problema

Le Organizzazioni Autonome Decentralizzate (DAO) si basano su una governance basata sui token, dove il potere di voto è tipicamente proporzionale al saldo del portafoglio. Questo modello "un-token-un-voto" crea una plutocrazia, concentrando il controllo tra i grandi detentori ("balene") e lasciando i protocolli vulnerabili ad attacchi di controllo dei token. Per contrastare ciò, la comunità ha proposto meccanismi anti-plutocratici, in particolare il Voto Quadratico (QV) e altre regole di voto concave (ad esempio, regole di potenza $w^\beta$, regole logaritmiche). Questi meccanismi assegnano un potere di voto sublineare per token (ad esempio, $\sqrt{w}$ voti per $w$ token) per attenuare l'influenza dei grandi detentori.

Tuttavia, questi meccanismi sono stati progettati assumendo un'identità singola e stabile per ogni votante. Nelle blockchain permissionless, tale assunzione fallisce a causa degli attacchi Sybil, in cui un avversario crea molteplici identità false (portafogli) per dividere i propri possedimenti di token. Il problema centrale affrontato da questo articolo è se qualsiasi regola di voto a livello di portafoglio che derivi il potere esclusivamente dal saldo possa resistere efficacemente a un attaccante razionale Sybil su una catena permissionless. Gli autori indagano se le regole concave possano davvero prevenire la plutocrazia o se, involontariamente, creino una nuova forma di vulnerabilità lineare.

Metodologia

Gli autori sviluppano un modello matematico unificato e costato per analizzare la governance delle DAO sotto attacchi Sybil.

1. Parametri del Modello:

   • $a$: Il budget totale di token dell'attaccante.
   • $f(w)$: La regola di voto a livello di portafoglio (ad esempio, lineare $w$, quadratica $\sqrt{w}$, di potenza $w^\beta$, logaritmica $\ln(w+1)$).
   • $C = (m, v, p, s)$: Uno schema di costi che cattura le frizioni realistiche della blockchain:
     • $m$: Saldo minimo richiesto per votare.
     • $v$: Costo di voto per portafoglio (gas).
     • $s$: Costo di divisione per portafoglio (gas per trasferire token).
     • $p$: Costo fisso di configurazione una tantum (ad esempio, distribuzione di un contratto di divisione).

2. Problema di Ottimizzazione:
   L'attaccante cerca di massimizzare il potere di voto totale $V^*(a)$ dividendo il proprio budget $a$ in $n$ portafogli con saldi $w_i$, soggetto ai vincoli di costo:
   $$\sum w_i + n(s+v) + p \leq a$$
   L'obiettivo è massimizzare $\sum f(w_i)$.

3. Approccio Analitico:

   • Limiti Inferiori: Gli autori dimostrano prima che per qualsiasi regola di voto non banale (dove $f(m) > 0$), l'attaccante può ottenere un potere di voto che cresce almeno linearmente con $a$ ($\Omega(a)$).
   • Analisi Asintotica: Per le regole concave, derivano la strategia di divisione ottimale. Utilizzando la disuguaglianza di Jensen, mostrano che una divisione equa dei token tra i portafogli è ottimale. Successivamente, ottimizzano il numero di portafogli $n$ per trovare il comportamento asintotico del potere di voto massimo.
   • Istantanea Empirica: Il modello viene applicato a dati reali provenienti da cinque grandi DAO (ENS, Compound, Uniswap, Arbitrum, ZKsync). Gli autori riproducono le dieci proposte finalizzate più recenti per ciascuna, calcolando il costo per un attaccante per catturare la maggioranza dei voti sotto regole lineari, quadratiche, logaritmiche e di potenza ($\beta=0.25$), utilizzando prezzi del gas on-chain e valori dei token reali.

Contributi Chiave

1. Modello Unificato e Costato: Un quadro formale che cattura l'interazione tra regole di voto e costi reali della blockchain (divisione, voto, configurazione e saldi minimi).
2. Risultato di Impossibilità Universale: Una dimostrazione che ogni regola di voto basata su portafoglio non banale è plutocratica sotto divisione Sybil illimitata. Se un portafoglio di qualsiasi dimensione genera potere di voto non nullo, il potere di voto aggiustato di un attaccante cresce almeno linearmente ($V^*(a) = \Omega(a)$), indipendentemente dalla specifica funzione concava o dallo schema di costi lineare.
3. Pendenza Asintotica Stretta per Regole Concave: Gli autori affinano il limite inferiore per le regole concave, dimostrando che il potere di voto ottimale è asintoticamente lineare rispetto ai possedimenti di token. Derivano un'espressione in forma chiusa per la costante di amplificazione $\kappa$:
   $$\kappa = \sup_{x \geq m} \frac{f(x)}{x + v + s}$$
   Ciò dimostra che la concavità fornisce solo un'attenuazione di fattore costante, non un'attenuazione sublineare.
4. Analisi dell'Impatto Empirico: Evidenza quantitativa che mostra che gli attacchi Sybil sono ordini di grandezza più economici del voto onesto sotto regole concave.
   • Sotto il Voto Quadratico, i fattori di amplificazione Sybil variano da 1.172× a 4.039×.
   • Sotto regole di potenza più ripide ($\beta=0.25$), l'amplificazione supera 229.000×.
   • Caso di Studio: Su Uniswap, un attaccante può catturare un voto da $300M per circa $75K di costi utilizzando una strategia ottimale per Sybil, mentre un attaccante con un singolo portafoglio con lo stesso budget ottiene solo $\approx 1/259$ del potere di voto necessario.
5. Valutazione delle Mitigazioni: Un sondaggio sulle difese candidate (saldi minimi, aumento delle commissioni, Proof-of-Personhood, governance bicamerale). Gli autori concludono che nessuna frizione economica per portafoglio può eliminare la linearità asintotica; solo livelli basati sull'identità (Proof-of-Personhood) o difese composizionali possono mitigare efficacemente la minaccia.

Risultati

• Teorici: L'articolo dimostra che "La Concavità è il Nuovo Lineare". Sebbene le regole concave riducano il potere di voto di un singolo grande portafoglio, un attaccante razionale può dividere i propri possedimenti per recuperare un potere di voto lineare. Il beneficio "anti-plutocratico" è annullato dalla capacità di creare Sybil.
• Empirici: Il costo per attaccare le principali DAO è drasticamente ridotto dalle regole concave.
  • Uniswap: Costo lineare \approx \302,6M$; Costo quadratico \approx \74,9K$ (4.039 volte più economico).
  • Compound: Costo lineare \approx \11,6M$; Costo quadratico \approx \6,4K$ (1.820 volte più economico).
  • Il "fattore di amplificazione" (quanto diventa più economico l'attacco) aumenta significativamente man mano che la regola di voto diventa più concava (ad esempio, le regole logaritmiche e di potenza sono molto più vulnerabili di quella quadratica).
• Analisi delle Frizioni: L'aumento dei costi per portafoglio ($s, v$) o dei saldi minimi ($m$) riduce la pendenza $\kappa$ (rendendo l'attacco più costoso) ma non cambia la linearità asintotica. L'attacco rimane profittevole per budget sufficientemente grandi.

Significato e Affermazioni

L'articolo afferma che nessuna regola di voto a livello di portafoglio può riuscire a prevenire la plutocrazia su una blockchain permissionless senza un livello di identità esterno.

• Rifiuto del Voto Concavo Autonomo: Gli autori sostengono che le proposte per implementare il Voto Quadratico o meccanismi simili come difesa primaria di governance sono fondamentalmente flawed in un contesto permissionless. L'assunzione di "identità singola" richiesta per l'ottimalità del QV è inapplicabile senza verifica dell'identità.
• Ridefinizione della Minaccia: Il lavoro sposta il focus dalla "concentrazione di token" alla "divisione dei portafogli". Dimostra che il meccanismo stesso progettato per proteggere i piccoli detentori (voto concavo) crea un enorme incentivo economico per gli attaccanti a dividere i propri token, rendendo infine il sistema più vulnerabile al controllo di un avversario ben finanziato rispetto a un semplice sistema lineare.
• Conclusione Prescrittiva: Gli autori affermano che il voto concavo non deve mai essere la prima linea di difesa. Può essere dispiegato solo come componente di un meccanismo composito in cui un livello di resistenza Sybil basato sull'identità (ad esempio, Proof-of-Personhood) limita il numero di portafogli che un avversario può controllare. Senza tale livello, il "campo di gioco alla pari" inteso dalle regole concave viene invertito, permettendo agli attaccanti di dominare la governance a una frazione del costo richiesto in un sistema lineare.

L'articolo conclude che la decentralizzazione richiede di sécurizzare prima il livello di identità; altrimenti, i meccanismi intesi a potenziare i piccoli detentori destabilizzano involontariamente il sistema per tutti.