Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines

1. Il Problema

Le Funzioni di Ritardo Verificabili (VDF) sono sempre più proposte per la costruzione di fari di casualità (randomness beacons) in blockchain e sistemi distribuiti. Queste funzioni promettono un ritardo computazionale verificabile e resistenza alla manipolazione (bias), basandosi sulla difficoltà computazionale di eseguire calcoli sequenziali in parallelo.

Tuttavia, l'analisi di sicurezza esistente si concentra quasi esclusivamente sulle proprietà crittografiche, trattando gli avversari come entità puramente maliziose che cercano di violare la sicurezza indipendentemente dal costo. Il paper evidenzia un divario fondamentale: nella realtà, gli attaccanti sono agenti razionali guidati dal profitto economico.
Un VDF può essere crittograficamente sicuro (nessun algoritmo può calcolarlo significativamente più velocemente di un nodo onesto), ma essere economicamente insicuro se un attaccante razionale può trarre profitto acquistando hardware più veloce o sfruttando opportunità di ricompensa (come il MEV - Maximal Extractable Value) che superano i costi operativi.

Il problema centrale è determinare quali parametri di ritardo ($T$) garantiscano che nessun attaccante razionale con risorse realistiche trovi profittevole deviare dal comportamento onesto.

2. Metodologia

Gli autori sviluppano un framework formale per la sicurezza economica modellando l'attacco come un problema di arresto ottimale (optimal-stopping problem) in un contesto stocastico.

• Modello dell'Avversario Razionale: L'attaccante è modellato come un agente che massimizza l'utilità attesa. Le variabili chiave sono:
  • $\delta$: Il fattore di velocità dell'attaccante rispetto ai nodi onesti (dovuto a hardware specializzato come FPGA/ASIC).
  • $c$: Il costo operativo per unità di tempo (es. noleggio cloud, energia).
  • $V$: La ricompensa stocastica ottenibile manipolando il faro (es. MEV, selezione di validatori).
• Processo Decisionale: L'attaccante decide se attaccare un round specifico basandosi sul rapporto costo/ricompensa. La decisione di "fermarsi" (arrestare) corrisponde alla scelta ex-ante di investire risorse in un attacco per un determinato round.
• Analisi Teorica: Utilizzando la teoria del controllo stocastico e la programmazione dinamica, gli autori derivano la struttura della strategia ottimale e le condizioni necessarie e sufficienti per la sicurezza.
• Estensioni: Il modello viene esteso per includere:
  • Grinding: La capacità di valutare più semi di input in parallelo per scegliere l'output più favorevole.
  • Arresto Selettivo (Selective Abort): La possibilità di scartare risultati sfavorevoli e riprovare.
  • Giochi Multi-Avversario: L'interazione strategica tra più attaccanti razionali in competizione.

3. Contributi Chiave

1. Modello di Attacco Razionale: Primo modello esplicito per i fari VDF che incorpora la razionalità economica, i costi hardware e le ricompense dinamiche.
2. Definizioni e Condizioni di Sicurezza Economica:
   • Viene definita la Sicurezza Economica: un faro è sicuro se nessun avversario può ottenere un profitto atteso positivo deviando dal protocollo.
   • Viene dimostrato che la strategia ottimale dell'attaccante ha una struttura a soglia monotona.
   • Viene derivata una condizione lineare necessaria e sufficiente per la sicurezza in un singolo round:
     $$T \geq \frac{\delta}{c} \mathbb{E}[V]$$
     Dove $T$ è il ritardo, $\delta$ il speedup, $c$ il costo e $\mathbb{E}[V]$ la ricompensa attesa.
3. Analisi di Attacchi Avanzati:
   • Dimostrazione che il grinding e l'arresto selettivo aumentano la ricompensa effettiva ($\mathbb{E}[V_{max}]$ o $\mathbb{E}[V_{abort}]$), richiedendo ritardi $T$ significativamente più lunghi.
   • Analisi dell'equilibrio di Nash in scenari multi-attaccante, mostrando come la competizione possa sostenere tassi di attacco anche quando i profitti individuali sono marginali.
4. Parametri di Ritardo Economicamente Sicuri (ESDP): Introduzione di un'astrazione pratica (ESDP) per aiutare i progettisti di protocolli a selezionare i parametri $T$ in modo trasparente e basato sui dati economici.

4. Risultati e Studi di Caso

Utilizzando dati reali sui costi cloud, benchmark hardware e stime del MEV, gli autori valutano la sicurezza economica di configurazioni VDF proposte:

• Inadeguatezza dei Ritardi Attuali: Molti parametri proposti (dell'ordine di pochi secondi, es. 2-5 secondi) risultano economicamente insicuri in condizioni plausibili.
• Esempio Concreto (MEV):
  • Assumendo un speedup $\delta=3$, un costo $c=0.05$ USD/s e un MEV medio di 10 USD, il ritardo sicuro richiesto è di circa 600 secondi (10 minuti).
  • Per un MEV di 100 USD, il ritardo richiesto sale a 6000 secondi (100 minuti).
  • I ritardi di 2-5 secondi attuali lasciano un enorme margine di profitto per gli attaccanti.
• Impatto del Grinding: La possibilità di testare più semi ($G$) amplifica la ricompensa attesa, richiedendo un aumento proporzionale del ritardo $T$.
• Caso Ethereum: In uno scenario ispirato a Ethereum (slot di 12 secondi), anche con hardware FPGA avanzato, la sicurezza economica contro il MEV richiederebbe ritardi dell'ordine di giorni o mesi, rendendo i VDF puri impraticabili senza ulteriori difese a livello di protocollo (es. mempools criptati).

5. Significato e Implicazioni

Il lavoro ha un impatto significativo sulla progettazione dei sistemi crittografici decentralizzati:

• Cambiamento di Paradigma: Sposta il focus dalla sola sicurezza computazionale (hardness) alla sicurezza economica. Un sistema può essere matematicamente corretto ma fallire nella pratica se gli incentivi economici spingono gli attori a manipolarlo.
• Guida per i Progettisti: Fornisce linee guida concrete per calcolare il ritardo $T$ necessario in base al contesto economico specifico (costi hardware, volatilità delle ricompense).
• Trade-off Progettuali: Evidenzia il compromesso tra sicurezza economica (che richiede ritardi lunghi) e latenza/usabilità del sistema (che richiede ritardi brevi).
• Strumento Pratico: L'introduzione degli ESDP offre un metodo standardizzato per specificare e auditare i parametri di sicurezza nei protocolli, rendendo esplicito il legame tra costi, ricompense e ritardo.

In conclusione, il paper dimostra che la sicurezza dei fari di casualità basati su VDF non può essere garantita solo dalla matematica, ma richiede un'attenta calibrazione dei parametri in funzione delle dinamiche economiche reali, altrimenti i sistemi rimangono vulnerabili ad attacchi razionali anche se crittograficamente solidi.