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

Technische Samenvatting: Depletie van Reserves en de Security Runway in Proof-of-Stake Systemen

Probleemstelling
Proof-of-Stake (PoS) blockchains vertrouwen vaak op een duaal financieringsmechanisme voor validatorbeloningen: transactiekosten en een eindige reserve van native tokens. Dit ontwerp creëert een "dynamisch overdrachts-probleem" (dynamic hand-off problem). In de vroege stadia van een protocol zijn transactiekosten doorgaans onvoldoende om het beoogde beveiligingsniveau (actieve stake) te financieren, wat subsidies uit de reserve noodzakelijk maakt. Naarmate de adoptie groeit, wordt verwacht dat de kosten worden gedragen door de transactiekosten om de beveiliging onafhankelijk te handhaven.

De centrale uitdaging is bepalen of de reserve voldoende "runway" biedt om de beveiliging tijdens deze transitie te handhaven. Het paper identificeert twee bronnen van fragiliteit:

1. Vraagonzekerheid: De inkomsten uit transactiekosten zijn stochastisch, afhankelijk van de vraag naar blokruimte.
2. Prijsrisico: De reserve wordt vastgehouden in native tokens, terwijl de kosten van validators worden uitgedrukt in een externe numeraire. Een reserve die in token-eenheden ruim lijkt, kan ontoereikend worden na een daling van de tokenprijs.

Governance kan niet uitsluitend vertrouwen op nominale reservebalansen of stationaire beloningsratio's. Een protocol met een grote nominale reserve kan te maken krijgen met een dreigend falen van de beveiliging als er prijs- of vraagschokken optreden, terwijl een protocol met een krimpendende reserve veilig kan zijn als de kosten al de drempel voor zelfvoorzienendheid hebben overschreden. Het paper tracht de voorwaarden te formaliseren waaronder een protocol een veilige operatie tijdens deze transitie kan garanderen en definieert wanneer de transitie faalt.

Methodologie
De auteurs construeren een discreet-tijds stochastisch model met $N$ strategische validators.

• Toestandsvariabelen: De systeemtoestand $X_t = (R_t, \text{Price}_t, \text{FeeMax}_t)$ bestaat uit de reservevoorraad ($R_t$), de tokenprijs in een externe numeraire ($\text{Price}_t$) en een vraagverschuiver die de maximale vergoeding vertegenwoordigt die gebruikers bereid zijn te betalen ($\text{FeeMax}_t$).
• Validatorgedrag: Validators kiezen participatieniveaus (actieve stake) om hun nut te maximaliseren, waarbij ze een balans zoeken tussen beloningen (fees + reserve-uitbetalingen) en kwadratische operationele kosten.
• Evenwichtsbegrip: De analyse begint met een statisch stage-game om een symmetrisch Nash-evenwicht voor validatorparticipatie af te leiden. Vervolgens wordt dit uitgebreid naar een dynamische setting waarin de reserve evolueert op basis van fee-inkomsten en uitbetalingen.
• Vooruitziende Extensie: Het model wordt uitgebreid naar een Markov-spel met een eindige horizon waarin validators vooruitziend zijn en overwegen hoe de huidige participatie de toekomstige reservevoorraden en continuatiewaarden beïnvloedt.
• Stochastische Dynamiek: Voor kwantitatieve analyse specialiseert het model zich naar geometrische Brownse beweging voor tokenprijzen en discrete-tijd lognormale dynamiek voor de vraag.

Belangrijkste Bijdragen en Resultaten

1. Gesloten Vorm Statisch Evenwicht:
   Het paper lost het validatorparticipatiespel in gesloten vorm op (Theorem 3), en bewijst het bestaan en de uniciteit van een symmetrisch Nash-evenwicht. Het evenwichtsaggregaat beveiligingsniveau $s^*$ is afhankelijk van het product van de tokenprijs en de reservevoorraad ($\text{Price} \cdot R$), wat benadrukt dat de beveiligingswaarde van een vaste hoeveelheid reserve staatafhankelijk is.

2. Toestandsafhankelijke Reserve-drempel:
   De kernbijdrage van het theoretische kader is de afleiding van een exacte, staatafhankelijke reserve-drempel, aangeduid als $\text{SecureR}(\text{Price}, \text{FeeMax}; s)$ (Theorem 10). Voor elk beoogd beveiligingsniveau $s$ vertegenwoordigt deze drempel de minimale reservevoorraad die vereist is om dat beveiligingsniveau te handhaven, gegeven de huidige prijs en vraag.

   • Drie Regio's: Deze drempel verdeelt de toestandsruimte in:
     1. Onhaalbaarheid: De vraag is te laag om het beoogde beveiligingsniveau te ondersteunen, zelfs met oneindige reserves.
     2. Reserve-afhankelijke Beveiliging: Het doel is alleen haalbaar als de reserve de drempel overschrijdt.
     3. Fee-only Beveiliging: De vraag is hoog genoeg zodat de drempel nul is; de reserve is redundant voor de beveiliging.

3. Dynamische Overdracht als Hitting-Time Probleem:
   De transitie van reserve-gefinancierde naar fee-only beveiliging wordt geformaliseerd als een hitting-time probleem (Proposition 13).

   • Faalmoment ($\tau_{\text{fail}}$): De eerste tijdstip waarop de reserve onder de staatafhankelijke drempel valt.
   • Overdrachtsmoment ($\tau_{\text{hand}}$): De eerste tijdstip waarop het systeem de fee-only regio betreedt (de drempel wordt nul).
   • Succesconditie: Een succesvolle overdracht vindt plaats als en slechts als $\tau_{\text{hand}} < \tau_{\text{fail}}$.

4. Stress-test Garanties:
   De auteurs leiden conservatieve finite-horizon stress-test garanties af (Theorem 15). Door gebruik te maken van lagere betrouwbaarheidsbanden voor prijs en vraag, kan men een deterministische reservevereiste berekenen die beveiliging met een gespecificeerde waarschijnlijkheid garandeert, waarbij toekomstige fee-instroom wordt genegeerd om conservatief te blijven. Onder lognormale dynamiek worden expliciete grenzen voor faalkansen en verwachte overdrachtstijden verstrekt (Theorem 30, Proposition 31).

5. Vooruitziende Validators:
   In de Markov-extensie bewijst het paper het bestaan van een Markov Perfect Equilibrium (Theorem 22) en leidt het de dynamische eerste-orde conditie af (Proposition 25). Deze conditie legt vast hoe huidige participatie de toekomstige reserveaccumulatie beïnvloedt. De resultaten tonen aan dat hoewel vooruitziende prikkels het evenwichtsbeveiligingsniveau modificeren, de fundamentele "runway"-logica (beveiliging hangt af van het feit dat de reserve boven een staatafhankelijke cutoff ligt) standhoudt (Proposition 27).

Significantie en Claims
Het paper claimt het eerste hanteerbare evenwichtskader te bieden dat specifiek het "reserve hand-off" probleem in PoS-systemen isoleert. De primaire significantie ligt in de verschuiving van de evaluatie van reserve-adequaatheid van statische metrieken (bijv. "jaren aan runway" gebaseerd op huidige burn-rates) naar een staatafhankelijke runway-analyse.

De auteurs stellen dat:

• Reserves zijn niet neutraal: Hun beveiligingswaarde fluctueert met de tokenprijs en de vraag. Een grote nominale reserve garandeert geen beveiliging tegen ongunstige schokken.
• Drempels zijn cruciaal: Governance moet de staatafhankelijke drempel monitoren in plaats van alleen de reservebalans. Zodra de vraag de fee-only drempel overschrijdt, wordt de reserve redundant voor de beveiliging.
• Beleidsimplicaties: Reservebeleid moet niet uitsluitend worden geëvalueerd op basis van nominale depletiedata. Het framework maakt het mogelijk om de transitiepaden stap-voor-stap te "stress-testen", waardoor reserve-adequaatheid wordt omgezet in een probabilistisch hitting-time probleem.

Het paper concludeert door op te merken dat hoewel het huidige model vaste beleidsparameters ($\theta$ en $\rho$) aanneemt, toekomstig werk adaptieve reservebeleid kan verkennen waarbij deze parameters dynamisch reageren op de toestandsvariabelen om de runway te verlengen of het faalrisico te verminderen.