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

Résumé Technique : Épuisement des Réserves et Période de Sécurité dans les Systèmes Proof-of-Stake

Énoncé du Problème
Les blockchains en Preuve d'Enjeu (PoS) reposent souvent sur un mécanisme de financement dual pour les récompenses des validateurs : les frais de transaction et une réserve finie de jetons natifs. Cette conception crée un problème de « transfert dynamique » (dynamic hand-off). Dans les premières étapes d'un protocole, les frais de transaction sont généralement insuffisants pour financer le niveau de sécurité cible (enjeu actif), nécessitant des subventions provenant de la réserve. À mesure que l'adoption croît, les frais sont censés devenir suffisants pour soutenir la sécurité de manière indépendante.

Le défi central est de déterminer si la réserve fournit une « piste de décollage » (runway) suffisante pour maintenir la sécurité tout au long de cette transition. Le document identifie deux sources de fragilité :

1. Incertitude de la Demande : Les revenus des frais de transaction sont stochastiques, dépendant de la demande d'espace de bloc par les utilisateurs.
2. Risque de Prix : La réserve est détenue en jetons natifs, tandis que les coûts des validateurs sont encourus dans un numéraire externe. Une réserve qui semble abondante en unités de jetons peut devenir inadéquate suite à une chute du prix du jeton.

La gouvernance ne peut pas se fier uniquement aux soldes nominaux de la réserve ou aux ratios de rendement en régime permanent. Un protocole doté d'une grande réserve nominale peut faire face à un échec de sécurité imminent si des chocs de prix ou de demande surviennent, tandis qu'un protocole avec une réserve décroissante peut être sécurisé si les frais ont déjà franchi le seuil d'autosuffisance. Le document cherche à formaliser les conditions sous lesquelles un protocole peut garantir un fonctionnement sécurisé pendant cette transition et à définir quand la transition échoue.

Méthodologie
Les auteurs construisent un modèle stochastique à temps discret impliquant $N$ validateurs stratégiques.

• Variables d'État : L'état du système $X_t = (R_t, \text{Prix}_t, \text{FeeMax}_t)$ consiste en le stock de la réserve ($R_t$), le prix du jeton dans un numéraire externe ($\text{Prix}_t$), et un décalage de la demande représentant le frais maximum que les utilisateurs sont prêts à payer ($\text{FeeMax}_t$).
• Comportement des Validateurs : Les validateurs choisissent les niveaux de participation (enjeu actif) pour maximiser leur utilité, en équilibrant les récompenses (frais + versements de la réserve) contre des coûts opérationnels quadratiques.
• Concept d'Équilibre : L'analyse commence par un jeu statique à étape unique pour dériver un équilibre de Nash symétrique pour la participation des validateurs. Elle s'étend ensuite à un cadre dynamique où la réserve évolue en fonction des revenus des frais et des versements.
• Extension Prospectives : Le modèle est étendu à un jeu de Markov à horizon fini où les validateurs sont prospectifs, considérant comment la participation actuelle affecte les stocks de réserve futurs et les valeurs de continuation.
• Dynamiques Stochastiques : Pour l'analyse quantitative, le modèle se spécialise en mouvement brownien géométrique pour les prix et en dynamiques log-normales en temps discret pour la demande.

Contributions Clés et Résultats

1. Équilibre Statique à Forme Fermée :
   Le document résout le jeu de participation des validateurs en forme fermée (Théorème 3), prouvant l'existence et l'unicité d'un équilibre de Nash symétrique. Le niveau de sécurité agrégé d'équilibre $s^*$ dépend du produit du prix du jeton et du stock de la réserve ($\text{Prix} \cdot R$), soulignant que la valeur de sécurité d'un montant de réserve fixe est dépendante de l'état.

2. Seuil de Réserve Dépendant de l'État :
   La principale contribution théorique est la dérivation d'un seuil de réserve exact et dépendant de l'état, noté $\text{SecureR}(\text{Prix}, \text{FeeMax}; s)$ (Théorème 10). Pour tout niveau de sécurité cible $s$, ce seuil représente le stock de réserve minimal requis pour soutenir ce niveau de sécurité compte tenu du prix et de la demande actuels.

   • Trois Régions : Ce seuil partitionne l'espace d'état en :
     1. Infaisabilité : La demande est trop faible pour supporter le niveau de sécurité cible, même avec des réserves infinies.
     2. Sécurité Dépendante de la Réserve : L'objectif n'est réalisable que si la réserve dépasse le seuil.
     3. Sécurité par les Frais Uniquement : La demande est suffisamment élevée pour que le seuil soit nul ; la réserve est redondante pour la sécurité.

3. Le Transfert Dynamique comme Problème de Temps de Passage :
   La transition de la sécurité financée par la réserve vers la sécurité par les seuls frais est formalisée comme un problème de temps de passage (Proposition 13).

   • Temps d'Échec ($\tau_{\text{fail}}$) : Le premier moment où la réserve tombe en dessous du seuil dépendant de l'état.
   • Temps de Transfert ($\tau_{\text{hand}}$) : Le premier moment où le système entre dans la région de sécurité par les seuls frais (le seuil devient zéro).
   • Condition de Succès : Un transfert réussi se produit si et seulement si $\tau_{\text{hand}} < \tau_{\text{fail}}$.

4. Garanties de Stress-Test :
   Les auteurs dérivent des garanties de stress-test conservatrices à horizon fini (Théorème 15). En utilisant des bandes de confiance inférieures pour le prix et la demande, on peut calculer une exigence de réserve déterministe qui assure la sécurité avec une probabilité spécifiée, en ignorant les flux de revenus futurs pour rester conservateur. Sous des dynamiques log-normales, des bornes explicites sur les probabilités d'échec et les temps de transfert attendus sont fournies (Théorème 30, Proposition 31).

5. Validateurs Prospectifs :
   Dans l'extension de Markov, le document prouve l'existence d'un Équilibre de Markov Parfait (Théorème 22) et dérive la condition du premier ordre dynamique (Proposition 25). Cette condition capture comment la participation actuelle affecte l'accumulation future de la réserve. Les résultats montrent que, bien que les incitations prospectives modifient le niveau de sécurité d'équilibre, la logique fondamentale de la « piste de décollage » (la sécurité dépend du fait que la réserve soit supérieure à un seuil dépendant de l'état) persiste (Proposition 27).

Signification et Revendications
Le document affirme fournir le premier cadre d'équilibre traçable isolant spécifiquement le problème du « transfert de réserve » dans les systèmes PoS. Sa principale importance réside dans le passage d'une évaluation de l'adéquation de la réserve basée sur des métriques statiques (ex: « années de réserve » basées sur les taux de consommation actuels) à une analyse de la piste de décollage dépendante de l'état.

Les auteurs soutiennent que :

• Les réserves ne sont pas neutres : Leur valeur de sécurité fluctue avec le prix du jeton et la demande. Une grande réserve nominale ne garantit pas la sécurité contre des chocs défavorables.
• Les seuils sont critiques : La gouvernance doit surveiller le seuil dépendant de l'état plutôt que simplement le solde de la réserve. Une fois que la demande franchit le seuil de sécurité par les seuls frais, la réserve devient redondante pour la sécurité.
• Implications Politiques : La politique de réserve ne doit pas être évaluée uniquement par les dates de déplétion nominales. Le cadre permet de réaliser des « tests de résistance » du chemin de transition état par état, convertissant l'adéquation de la réserve en un problème probabiliste de temps de passage.

Le document conclut en notant que, bien que le modèle actuel suppose des paramètres de politique fixes ($\theta$ et $\rho$), des travaux futurs pourraient explorer des politiques de réserve adaptatives où ces paramètres répondent dynamiquement aux variables d'état pour prolonger la piste de décollage ou réduire le risque d'échec.