Reserve Depletion and Security Runway in Proof-of-Stake Systems

Sintesi Tecnica: Esaurimento delle Riserve e Runway di Sicurezza nei Sistemi Proof-of-Stake

Definizione del Probleamento
Le blockchain Proof-of-Stake (PoS) spesso si affidano a un meccanismo di finanziamento duale per le ricompense dei validatori: commissioni di transazione e una riserva finita di token nativi. Questo design crea un problema di "passaggio dinamico" (dynamic hand-off). Nelle fasi iniziali di un protocollo, le commissioni di transazione sono tipicamente insufficienti a finanziare il livello target di sicurezza (stake attivo), rendendo necessari sussidi dalla riserva. Con la crescita dell'adozione, si prevede che le commissioni diventino sufficienti a sostenere la sicurezza in modo indipendente.

La sfida centrale è determinare se la riserva fornisca una "runway" (autonomia) sufficiente per mantenere la sicurezza durante questa transizione. Il documento identifica due fonti di fragilità:

1. Incertezza della Domanda: Il reddito da commissioni di transazione è stocastico, dipendente dalla domanda di spazio di blocco da parte degli utenti.
2. Rischio di Prezzo: La riserva è detenuta in token nativi, mentre i costi dei validatori sono sostenuti in un numerario esterno. Una riserva che appare ampia in termini di unità di token può diventare inadeguata a seguito di un calo del prezzo del token.

La governance non può fare affidamento esclusivamente sui saldi nominali delle riserve o sui rapporti di ricompensa in regime stazionario. Un protocollo con una grande riserva nominale può affrontare un imminente fallimento della sicurezza se si verificano shock di prezzo o di domanda, mentre un protocollo con una riserva in diminuzione può essere sicuro se le commissioni hanno già superato la soglia di autosufficienza. Il documento cerca di formalizzare le condizioni sotto le quali un protocollo può garantire un'operatività sicura durante questa transizione e definire quando la transizione fallisce.

Metodologia
Gli autori costruiscono un modello stocastico a tempo discreto che coinvolge $N$ validatori strategici.

• Variabili di Stato: Lo stato del sistema $X_t = (R_t, \text{Price}_t, \text{FeeMax}_t)$ consiste nello stock della riserva ($R_t$), nel prezzo del token in un numerario esterno ($\text{Price}_t$) e in uno shifter della domanda che rappresenta la commissione massima che gli utenti sono disposti a pagare ($\text{FeeMax}_t$).
• Comportamento dei Validatori: I validatori scelgono i livelli di partecipazione (stake attivo) per massimizzare l'utilità, bilanciando le ricompense (commissioni + pagamenti dalla riserva) rispetto ai costi operativi quadratici.
• Concetto di Equilibrio: L'analisi inizia con un gioco a stadio statico per derivare un equilibrio di Nash simmetrico per la partecipazione dei validatori. Successivamente, si estende a un contesto dinamico in cui la riserva evolve in base alle entrate delle commissioni e ai pagamenti.
• Estensione Prospettica (Forward-Looking): Il modello è esteso a un gioco di Markov a orizzonte finito in cui i validatori sono orientati al futuro, considerando come la partecipazione attuale influenzi i futuri stock di riserva e i valori di continuazione.
• Dinamiche Stocastiche: Per l'analisi quantitativa, il modello si specializza in un moto browniano geometrico per i prezzi del token e in dinamiche log-normali a tempo discreto per la domanda.

Contributi Chiave e Risultati

1. Equilibrio Statico in Forma Chiusa:
   Il documento risolve il gioco di partecipazione dei validatori in forma chiusa (Teorema 3), dimostrando l'esistenza e l'unicità di un equilibrio di Nash simmetrico. L'equilibrio del livello di sicurezza aggregata $s^*$ dipende dal prodotto tra il prezzo del token e lo stock della riserva ($\text{Price} \cdot R$), evidenziando che il valore di sicurezza di un importo di riserva fisso è dipendente dallo stato.

2. Soglia della Riserva Dipendente dallo Stato:
   Il principale contributo teorico è la derivazione di una soglia di riserva esatta e dipendente dallo stato, indicata come $\text{SecureR}(\text{Price}, \text{FeeMax}; s)$ (Teorema 10). Per qualsiasi livello di sicurezza target $s$, questa soglia rappresenta lo stock minimo di riserva richiesto per sostenere tale livello di sicurezza date le attuali condizioni di prezzo e domanda.

• Tre Regioni: Questa soglia partiziona lo spazio degli stati in:
  1. Infattibilità: La domanda è troppo bassa per sostenere il livello di sicurezza target anche con riserve infinite.
  2. Sicurezza Dipendente dalla Riserva: L'obiettivo è raggiungibile solo se la riserva supera la soglia.
  3. Sicurezza Basata Solo sulle Commissioni: La domanda è sufficientemente alta che la soglia è zero; la riserva è ridondante per la sicurezza.

3. Il Passaggio Dinamico come Problema di Tempo di Primo Uscita (Hitting-Time):
   La transizione dalla sicurezza finanziata dalla riserva alla sicurezza basata solo sulle commissioni è formalizzata come un problema di tempo di primo uscita (Proposizione 13).

• Tempo di Fallimento ($\tau_{\text{fail}}$): Il primo momento in cui la riserva scende al di sotto della soglia dipendente dallo stato.
• Tempo di Passaggio ($\tau_{\text{hand}}$): Il primo momento in cui il sistema entra nella regione delle sole commissioni (la soglia diventa zero).
• Condizione di Successo: Un passaggio avviene con successo se e solo se $\tau_{\text{hand}} < \tau_{\text{fail}}$.

4. Garanzie di Stress-Test:
   Gli autori derivano garanzie conservative di stress-test a orizzonte finito (Teorema 15). Utilizzando bande di confidenza inferiori per prezzo e domanda, è possibile calcolare un requisito di riserva deterministico che garantisca la sicurezza con una specifica probabilità, ignorando le future entrate delle commissioni per rimanere conservativi. Sotto dinamiche log-normali, vengono forniti limiti espliciti sulle probabilità di fallimento e sui tempi medi di passaggio (Teorema 30, Proposizione 31).

5. Validatori Prospettici (Forward-Looking):
   Nell'estensione di Markov, il documento dimostra l'esistenza di un Equilibrio di Markov Perfetto (Teorema 22) e deriva la condizione del primo ordine dinamica (Proposizione 25). Questa condizione cattura come la partecipazione attuale influenzi l'accumulo futuro della riserva. I risultati mostrano che, sebbene gli incentivi prospettici modifichino il livello di sicurezza dell'equilibrio, la logica fondamentale della "runway" (la sicurezza dipende dal fatto che la riserva sia sopra un cutoff dipendente dallo stato) persiste (Proposizione 27).

Significato e Rivendicazioni
Il documento sostiene di fornire il primo framework di equilibrio trattabile che isoli specificamente il problema del "passaggio della riserva" nei sistemi PoS. La sua importanza primaria risiede nello spostare la valutazione dell'adeguatezza della riserva da metriche statiche (ad esempio, "anni di autonomia" basati sugli attuali tassi di esaurimento) a un'analisi della runway dipendente dallo stato.

Gli autori sostengono che:

• Le riserve non sono neutrali: Il loro valore di sicurezza fluttua con il prezzo del token e la domanda. Una grande riserva nominale non garantisce la sicurezza contro shock avversi.
• Le soglie sono critiche: La governance dovrebbe monitorare la soglia dipendente dallo stato piuttosto che il semplice saldo della riserva. Una volta che la domanda attraversa la soglia delle sole commissioni, la riserva diventa ridondante per la sicurezza.
• Implicazioni Politiche: La politica delle riserve non dovrebbe essere valutata solo in base alle date di esaurimento nominale. Il framework permette di effettuare "stress-test" del percorso di transizione stato per stato, convertendo l'adeguatezza della riserva in un problema probabilistico di tempo di primo uscita.

Il documento conclude osservando che, sebbene l'attuale modello assuma parametri di policy fissi ($\theta$ e $\rho$), lavori futuri potrebbero esplorare politiche di riserva adattive in cui tali parametri rispondono dinamicamente alle variabili di stato per estendere la runway o ridurre il rischio di fallimento.