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

1. Problématique

L'article aborde la question de l'efficacité du capital dans les protocoles de sécurité cryptéconomique des blockchains. Il compare deux modèles :

1. La Preuve d'Enjeu (PoS) indépendante : Chaque service ou projet dispose de son propre ensemble de validateurs avec des mises (stakes) dédiées.
2. Le Restaking : Les validateurs réutilisent leurs mises existantes pour sécuriser plusieurs services simultanément, créant un graphe bipartite entre validateurs et services.

Le problème central est de déterminer si le restaking offre un avantage réel en termes de réduction des exigences de capital total par rapport à des protocoles PoS indépendants équivalents. Bien que le restaking promette une meilleure efficacité du capital, il introduit des interdépendances complexes et des risques de sécurité. La question ouverte est : Le restaking réduit-il véritablement la mise totale requise pour la sécurité, et si oui, de combien ?

L'étude se concentre sur le "coût" de la transformation d'un graphe de restaking sécurisé en un ensemble de protocoles PoS séparés (et vice-versa), en mesurant le capital supplémentaire nécessaire pour maintenir la sécurité.

2. Méthodologie et Modèle

Les auteurs utilisent un modèle formel basé sur la théorie des graphes et l'analyse cryptéconomique.

• Le Graphe de Restaking ($G$) : Un graphe bipartite $G = (S, V, E)$ où :
  • $S$ est l'ensemble des $m$ services (projets), avec des valeurs $\pi_s$ et des paramètres de sécurité $\alpha_s$ (le seuil de fraction de mise nécessaire pour attaquer avec succès).
  • $V$ est l'ensemble des $n$ validateurs, avec des mises initiales $\sigma_v$.
  • $E$ relie les validateurs aux services qu'ils sécurisent.
• Sécurité : Un ensemble de validateurs peut attaquer un service si leur part de la mise totale sur ce service dépasse $\alpha_s$. Une attaque est rentable si la valeur des services attaqués dépasse la mise perdue (slashing).
• Hypothèse de capital : Les mises des validateurs ne peuvent pas être réduites, mais peuvent être augmentées (surenchère ou over-collateralization).
• Métriques clés :
  • Économies de Restaking ($RS$) : Le pourcentage de mise supplémentaire nécessaire pour transformer un graphe de restaking sécurisé en protocoles PoS séparés sécurisés.
  • Économies de PoS ($PoSS$) : Le pourcentage de mise supplémentaire nécessaire pour agréger des protocoles PoS sécurisés en un graphe de restaking sécurisé.

3. Contributions Clés

1. Analyse de la condition suffisante d'EigenLayer : Les auteurs examinent la condition de sécurité suffisante proposée par le projet EigenLayer (vérifiable en temps polynomial). Ils démontrent que si cette condition est satisfaite, il est toujours possible de répartir les mises existantes pour créer des protocoles PoS sécurisés sans capital supplémentaire. Cela implique que les graphes satisfaisant cette condition spécifique n'offrent aucune économie de capital par rapport au PoS indépendant.
2. Définition et bornes des Économies de Restaking ($RS$) : Ils définissent formellement les économies de restaking et établissent des bornes supérieures et inférieures.
3. Définition et bornes des Économies de PoS ($PoSS$) : Ils analysent le problème inverse (agrégation) et fournissent des bornes correspondantes.
4. Constructions asymptotiques : Ils proposent des constructions de graphes qui montrent que les économies peuvent être significatives et croître avec la taille du réseau.

4. Résultats Principaux

A. Économies de Restaking ($RS$)

• Bornes Supérieures : Les auteurs dérivent plusieurs bornes supérieures pour $RS(G)$ :
  • Le degré maximum d'un service ($\max d_G(s)$).
  • Un paramètre lié à la couverture des validateurs par les services ($K$).
  • L'inverse du deuxième plus petit paramètre de sécurité ($1/\alpha_2$).
  • Résultat majeur : Une borne supérieure asymptotique de $O(\sqrt{n})$, où $n$ est le nombre de validateurs.
• Borne Inférieure : Ils construisent un exemple de graphe sécurisé où les économies sont de l'ordre de $\Omega(\sqrt{n})$.
• Conclusion : Les bornes supérieure et inférieure correspondent asymptotiquement. Les économies de restaking peuvent croître comme la racine carrée du nombre de validateurs. Dans le pire des cas (graphes extrêmes), les économies peuvent être infinies ($RS = \infty$) si le nombre de services et de validateurs croît indéfiniment.

B. Économies de PoS ($PoSS$)

• Problème d'agrégation : Lorsqu'on agrège des protocoles PoS sécurisés en un graphe de restaking, les interdépendances peuvent créer des vulnérabilités (un validateur peut attaquer plusieurs services simultanément).
• Bornes :
  • Borne Inférieure : Il existe des instances où les économies sont de l'ordre de $m - 1$ (où $m$ est le nombre de services), ce qui équivaut à $n-1$ si le nombre de validateurs égale le nombre de services.
  • Borne Supérieure : La borne supérieure est exactement $\max d_G(s) - 1$.
• Conclusion : Contrairement au restaking où les économies sont de l'ordre $\sqrt{n}$, l'agrégation de protocoles PoS sécurisés peut nécessiter un surcoût de capital beaucoup plus important, proportionnel au nombre de services (ou de validateurs) dans le pire des cas.

C. Implications Pratiques

• La condition suffisante d'EigenLayer (vérifiable en temps polynomial) est trop restrictive : elle garantit la sécurité mais annule tout gain d'efficacité du capital (les économies sont nulles).
• Pour des paramètres de sécurité réalistes (ex: $\alpha \in \{1/2, 1/3, 1/4\}$), le surcoût pour sécuriser un graphe de restaking existant sous forme de PoS séparés est borné par un petit facteur constant (2 à 4 fois la mise initiale).
• Les restrictions actuelles de certains protocoles (comme le "unique slashing" d'EigenLayer) peuvent réduire les gains d'efficacité du capital à zéro en forçant une partition des mises.

5. Signification et Conclusion

Cet article fournit le premier cadre formel rigoureux pour quantifier l'efficacité du capital du restaking par rapport au PoS traditionnel.

• Équilibre structurel : Ni le restaking ni le PoS indépendant ne dominent systématiquement l'autre. Le choix dépend de la structure du graphe sous-jacent (connectivité entre validateurs et services).
• Gain potentiel : Le restaking peut offrir des gains d'efficacité du capital significatifs (de l'ordre de $\sqrt{n}$) dans les grands systèmes, mais ces gains sont limités par la complexité des interdépendances.
• Risque d'agrégation : L'agrégation de protocoles sécurisés indépendants en un réseau de restaking peut entraîner des coûts de sécurité disproportionnés (jusqu'à $O(n)$), soulignant le risque de fragilité systémique si la conception n'est pas rigoureuse.
• Défi ouvert : La conception d'une condition suffisante de sécurité, vérifiable en temps polynomial, qui permette d'identifier des graphes de restaking avec des économies de capital strictement positives reste une question ouverte.

En résumé, le papier démontre mathématiquement que le restaking n'est pas une solution magique universelle, mais un outil d'optimisation du capital dont les bénéfices dépendent fortement de la topologie du réseau et des paramètres de sécurité choisis.