The Cost of Secure Restaking vs. Proof-of-Stake

1. Problema e Contesto

Il paper affronta il problema dell'efficienza del capitale nei protocolli di sicurezza crittografica delle blockchain. Mentre i protocolli Proof-of-Stake (PoS) tradizionali richiedono che ogni servizio (o progetto) abbia il proprio set di validatori con stake dedicati, i protocolli di Restaking (come EigenLayer) permettono ai validatori di riutilizzare lo stesso capitale bloccato per garantire la sicurezza di più servizi simultaneamente.

Il problema centrale è quantificare il vantaggio reale in termini di efficienza del capitale del restaking rispetto all'uso di protocolli PoS indipendenti. Nello specifico, gli autori si chiedono:

• Un grafo di restaking sicuro può essere trasformato in un insieme di protocolli PoS sicuri senza aggiungere capitale extra?
• Se è necessario aggiungere capitale, quanto ne serve?
• Viceversa, aggregando protocolli PoS sicuri in un grafo di restaking, quanto capitale extra è necessario per mantenere la sicurezza?

2. Modello e Metodologia

Gli autori definiscono un modello formale basato su un grafo bipartito $G = (S, V, E)$, dove:

• $S$ è l'insieme dei servizi (progetti) con valori $\pi_s$ e parametri di sicurezza $\alpha_s$ (la frazione di stake necessaria per attaccare con successo).
• $V$ è l'insieme dei validatori con stake $\sigma_v$.
• $E$ rappresenta le connessioni (chi garantisce cosa).

Definizioni Chiave:

• Attacco Profittevole: Un sottoinsieme di validatori può attaccare un servizio se la frazione di stake controllata supera $\alpha_s$. Un attacco è profittevole se il valore totale dei servizi attaccati supera lo stake totale che i validatori perderebbero (slashing).
• Grafo Sicuro: Un grafo di restaking è sicuro se non esiste alcun sottoinsieme di validatori in grado di lanciare un attacco profittevole.
• Restaking Savings (RS): La frazione di stake extra necessaria per trasformare un grafo di restaking sicuro in un insieme di protocolli PoS sicuri (dove ogni servizio ha il proprio set di stake indipendenti).
• PoS Savings (PoSS): La frazione di stake extra necessaria per aggregare protocolli PoS sicuri in un unico grafo di restaking sicuro.

La metodologia si basa sull'analisi combinatoria dei grafi, utilizzando tecniche di copertura (covering) e costruzioni esplicite per derivare limiti superiori e inferiori (bound).

3. Contributi Chiave

A. Condizione Sufficiente per la Sicurezza

Gli autori analizzano la condizione sufficiente proposta da EigenLayer per la sicurezza di un grafo di restaking. Dimostrano che se un grafo soddisfa questa condizione, è sempre possibile trasformarlo in protocolli PoS sicuri senza aggiungere stake aggiuntivo (i risparmi sono zero). Tuttavia, questa condizione è restrittiva e non cattura tutti i grafi sicuri possibili.

B. Limiti Superiori e Inferiori per i "Restaking Savings" (RS)

Il paper deriva diversi limiti per quantificare quanto capitale extra è necessario per "scomporre" un grafo di restaking in PoS:

1. Limiti basati sulla struttura del grafo:
   • Il massimo grado dei servizi ($\max_s d_G(s)$).
   • Il minimo numero di incidenze massime in una copertura dei validatori ($K$).
   • Il limite asintotico più forte: $RS(G) \le 2\sqrt{n} - 1$, dove $n$ è il numero di validatori.
2. Limite basato sui parametri di sicurezza:
   • $RS(G) \le 1/\alpha_2$, dove $\alpha_2$ è il secondo parametro di sicurezza più piccolo. Per parametri tipici (es. 1/3 o 1/2), questo è un fattore costante piccolo.
3. Costruzione del Limite Inferiore:
   • Gli autori costruiscono un esempio di grafo sicuro in cui i risparmi sono dell'ordine di $\Omega(m)$ (dove $m$ è il numero di servizi) e $\Omega(\sqrt{n})$.
   • Questo dimostra che il limite superiore $O(\sqrt{n})$ è asintoticamente stretto (tight).

C. Limiti per i "PoS Savings" (Aggregazione)

Analizzando il problema inverso (aggregare PoS sicuri in un grafo di restaking):

• Limite Inferiore: Esistono casi in cui l'aggregazione richiede un capitale extra pari a $m - 1$ (dove $m$ è il numero di servizi/validatori).
• Limite Superiore: Il capitale extra necessario è al massimo $\max_s d_G(s) - 1$.
• A differenza del caso di restaking, qui i limiti inferiore e superiore coincidono esattamente.

4. Risultati Principali

1. Efficienza Asintotica del Restaking: Il restaking offre risparmi significativi rispetto ai PoS indipendenti in sistemi su larga scala. Il risparmio massimo possibile cresce come la radice quadrata del numero di validatori ($\Theta(\sqrt{n})$). Questo significa che in reti molto grandi, il capitale necessario per garantire la sicurezza tramite restaking può essere sostanzialmente inferiore rispetto alla somma dei capitali richiesti da protocolli isolati.
2. Costo dell'Aggregazione: Aggregare protocolli PoS sicuri in un unico grafo di restaking può essere molto costoso in termini di capitale, richiedendo un sovrapprezzo che scala linearmente con il numero di servizi/validatori ($\Theta(n)$) nel caso peggiore.
3. Nessuna Dominanza Assoluta: Né il restaking né i PoS indipendenti dominano universalmente l'altro. L'efficienza dipende dalla struttura del grafo sottostante (grado dei nodi, connettività).
4. Implicazioni Pratiche:
   • Per i parametri di sicurezza tipici (es. $\alpha = 1/3$), il sovraccarico di capitale per ottenere sicurezza equivalente PoS è limitato a un fattore costante (2-4 volte lo stake originale).
   • Le restrizioni attuali di alcuni sistemi (come EigenLayer che impone proprietà di slashing uniche per servizio) possono annullare i benefici del restaking, riducendo i risparmi a zero.

5. Significato e Conclusioni

Il paper fornisce il primo quadro teorico rigoroso per confrontare l'efficienza del capitale tra restaking e PoS.

• Validazione del Restaking: Conferma matematicamente che il restaking può offrire guadagni di efficienza del capitale reali e significativi, specialmente in ecosistemi con molti validatori e servizi, ma non illimitati (crescono come $\sqrt{n}$).
• Avvertenza sulla Sicurezza: Mette in guardia contro l'aggregazione indiscriminata di protocolli sicuri, che può introdurre vulnerabilità sistemiche e richiedere un enorme capitale aggiuntivo per essere mitigata.
• Sfida Aperta: Il paper conclude identificando un problema di ricerca aperto: la necessità di trovare una condizione sufficiente verificabile in tempo polinomiale per la sicurezza dei grafi di restaking che permetta risparmi di capitale strettamente positivi (attualmente, la condizione nota è troppo restrittiva).

In sintesi, il lavoro dimostra che il restaking è uno strumento potente per l'efficienza del capitale, ma il suo successo dipende criticamente dalla progettazione attenta della topologia del grafo di interconnessione tra validatori e servizi.