Ascension et Chute du Haven Protocol: Leçons pour Monero

Qu’est-ce que le protocole Haven ?

Haven Protocol était un projet ambitieux qui a créé la base de code Monero en 2018 avec la vision de créer un écosystème privé d'actifs synthétiques. L'idée de base était convaincante : prendre la technologie de confidentialité éprouvée de Monero et l'étendre pour prendre en charge non seulement une seule crypto-monnaie privée, mais une suite complète d'actifs synthétiques privés liés à des valeurs du monde réel. Les utilisateurs peuvent détenir des dollars américains privés, de l’or privé, des euros privés et bien plus encore, le tout au sein d’une seule blockchain préservant la confidentialité.

La monnaie native du Haven Protocol était le XHV, qui fonctionnait de la même manière que le XMR de Monero. Au-dessus de cette couche de base se trouvaient des actifs synthétiques appelés xAssets. Le plus important était le xUSD, un dollar américain synthétique censé maintenir un ancrage stable avec le dollar américain. D'autres xAssets comprenaient xGOLD lié au prix de l'or, xEUR lié à l'euro, xBTC lié au Bitcoin et plusieurs autres représentant diverses monnaies fiduciaires et matières premières.

Pour les utilisateurs soucieux de leur confidentialité, la proposition de valeur de Haven était extraordinaire. Imaginez pouvoir convertir vos avoirs volatils en cryptomonnaies en un actif stable libellé en dollars sans quitter une blockchain préservant la confidentialité, sans utiliser un échange centralisé et sans exposer votre activité financière à la surveillance. Pour les commerçants, il promettait la possibilité d’accepter les paiements en crypto-monnaie et de les convertir immédiatement en une valeur stable sans toucher au système financier traditionnel.

Le mécanisme de cheville algorithmique

Haven Protocol a maintenu l'ancrage de ses xAssets grâce à un mécanisme algorithmique de menthe et de gravure, conceptuellement similaire à ce que Terra/Luna tenterait plus tard à une échelle beaucoup plus grande. Le mécanisme fonctionnait comme suit.

Lorsqu'un utilisateur souhaitait convertir XHV en xUSD, il brûlait une quantité de XHV et frappait une valeur équivalente en dollars de xUSD en fonction du flux de prix Oracle actuel. Par exemple, si le XHV se négociait à deux dollars, brûler un XHV produirait deux xUSD. À l’inverse, reconvertir xUSD en XHV brûlerait le xUSD et créerait la valeur équivalente en XHV.

Ce mécanisme était censé maintenir l’ancrage grâce à des incitations à l’arbitrage. Si le xUSD s'échangeait en dessous d'un dollar, les arbitragistes pourraient acheter du xUSD bon marché et le convertir en XHV au taux officiel d'un dollar, profitant de la différence et réduisant l'offre de xUSD pour faire remonter le prix. Si le xUSD s'échangeait au-dessus d'un dollar, ils pourraient créer un nouveau xUSD à partir de XHV et le vendre, augmentant ainsi l'offre et faisant baisser le prix.

Le détail critique que beaucoup ont négligé était que ce mécanisme ne créait pas de valeur à partir de rien. Il a simplement transféré de la valeur entre XHV et xUSD via des ajustements d’offre. La solvabilité de l'ensemble du système dépendait de la capitalisation boursière de XHV étant suffisante pour garantir tous les xAssets en circulation. Si la valeur du XHV s’effondrait, le système aurait besoin de frapper d’énormes quantités de XHV pour honorer les rachats de xUSD, ce qui ferait chuter encore davantage le prix du XHV dans une spirale mortelle.

L'exploit qui a tué Haven

Haven Protocol a subi de nombreux exploits tout au long de son histoire, mais le plus dévastateur était une vulnérabilité de type mint-and-burn qui permettait effectivement aux attaquants de créer une valeur illimitée au sein du système. Les détails techniques de l'exploit étaient complexes, mais l'essentiel était simple : des failles dans le mécanisme de conversion permettaient aux attaquants de manipuler le processus de gravure pour extraire plus de valeur qu'ils n'en mettaient.

Les fonctionnalités de confidentialité héritées de Monero ont rendu la détection et la réponse à l'exploit beaucoup plus difficiles. Étant donné que les montants des transactions étaient cachés par RingCT, l'équipe Haven n'a pas pu facilement auditer la blockchain pour déterminer l'étendue des dégâts. Ils ne pouvaient pas voir combien de xUSD avaient été frappés illégalement ni suivre les fonds exploités à travers le système. La confidentialité qui était censée être la plus grande force de Haven est devenue sa plus grande vulnérabilité lorsque la logique du protocole a été compromise.

Chronologie des événements

La crise s'est déroulée sur plusieurs mois. Les premiers rapports d'activités suspectes ont été émanés de membres de la communauté qui ont remarqué des tendances inhabituelles dans les transactions de conversion. L'équipe Haven a d'abord minimisé les rapports, puis a reconnu un problème potentiel et a suspendu les conversions. Plusieurs hard forks d’urgence ont été implémentés pour corriger les vulnérabilités, mais chaque correctif semblait être suivi de la découverte de vecteurs d’exploitation supplémentaires.

La confiance de la communauté s'érodait à chaque incident. Le prix du XHV s'est effondré alors que les détenteurs se sont précipités pour sortir, et le rattachement du xUSD s'est rompu de façon permanente alors que le soutien du système s'évaporait. La liquidité des bourses s'est tarie et le projet a finalement disparu, avec ses actifs synthétiques sans valeur et son jeton natif se négociant à une infime fraction de sa valeur antérieure.

Pourquoi Haven a échoué

L'échec du protocole Haven peut être attribué à plusieurs facteurs interconnectés qui offrent des leçons importantes pour tout projet tentant de construire des mécanismes financiers complexes sur des blockchains préservant la confidentialité.

Complexité excessive

Haven a pris l’une des bases de code de crypto-monnaie les plus complexes existantes, Monero, et y a ajouté une toute nouvelle couche de logique financière. Le mécanisme de gravure à la menthe, les flux de prix Oracle, les multiples actifs synthétiques et les calculs de taux de conversion ont introduit une énorme surface d'attaque. Chaque composant interagissait avec les autres de manière subtile, et les fonctionnalités de confidentialité rendaient presque impossible un audit complet du comportement du système.

Audit insuffisant

La base de code du protocole Haven n’a pas reçu le niveau d’audit de sécurité qu’exigeait sa complexité. Monero lui-même bénéficie d’années d’examen minutieux par des dizaines d’experts en cryptographie et de chercheurs en sécurité. Les ajouts de Haven à cette base de code ont reçu un examen relativement minime. Des vulnérabilités critiques dans la logique de conversion n’ont pas été détectées jusqu’à ce qu’elles soient exploitées en production.

La confidentialité comme arme à double tranchant

Les fonctionnalités de confidentialité de Monero sont conçues pour rendre impossible le traçage des transactions ou l'audit des soldes. C’est exactement ce que vous recherchez pour une monnaie axée sur la confidentialité. Cependant, pour un système d’actifs synthétiques qui nécessite une vérification de la solvabilité et un audit des approvisionnements, ces mêmes caractéristiques deviennent un handicap. L'équipe Haven n'a pas pu vérifier que l'offre totale de xUSD était correctement soutenue par XHV, car elle ne pouvait pas voir les chiffres de l'offre via la couche de confidentialité.

Petite équipe et ressources

Haven Protocol a été développé par une équipe relativement petite par rapport à la portée de ce qu'elle tentait. Construire et sécuriser un système d'actifs synthétiques algorithmiques sur une blockchain de confidentialité nécessite une expertise de classe mondiale en cryptographie, en économie et en ingénierie de sécurité. L'équipe de Haven, malgré son enthousiasme, ne possédait pas le talent nécessaire pour une telle entreprise.

Parallèles avec Luna/UST

L’effondrement du protocole Haven présente des similitudes frappantes avec l’effondrement beaucoup plus important de Terra/Luna et de son stablecoin UST en 2022. Les deux projets ont utilisé des mécanismes algorithmiques de gravure à la menthe pour maintenir des ancrages synthétiques au dollar. Tous deux ont connu une spirale mortelle lorsque la confiance dans l’actif de soutien s’est effondrée. Les deux ont démontré que les ancrages algorithmiques sans garanties suffisantes sont intrinsèquement fragiles.

La principale différence était l’échelle. Luna/UST était un écosystème de quarante milliards de dollars dont l’effondrement a ébranlé l’ensemble du marché des cryptomonnaies. Le protocole Haven était beaucoup plus petit, mais le mode de défaillance fondamental était identique. Les deux projets ont appris à leurs dépens qu’il est impossible de créer une valeur stable grâce aux seuls mécanismes algorithmiques, en particulier lorsque ces mécanismes peuvent être exploités ou dépassés par la dynamique du marché.

L'échec de Haven a en fait précédé l'effondrement de Luna et aurait pu servir d'avertissement à la communauté crypto au sens large. Les mêmes impossibilités économiques qui ont condamné Haven à petite échelle ont condamné Luna à grande échelle. La leçon était accessible à toute personne souhaitant l’apprendre.

Leçons pour l’écosystème Monero

L'échec du protocole Haven fournit plusieurs leçons cruciales que la communauté Monero devrait internaliser lorsqu'elle envisage les orientations de développement futures.

Gardez la couche de base simple

La force de Monero réside dans sa capacité à faire une chose exceptionnellement bien : de l'argent numérique privé et fongible. Chaque fonctionnalité ou capacité supplémentaire ajoutée à la couche de base augmente la complexité et la surface d’attaque. Il convient de résister à la tentation d’ajouter des fonctionnalités DeFi, des actifs synthétiques, des contrats intelligents ou d’autres mécanismes financiers complexes à moins que les implications en matière de sécurité ne puissent être analysées de manière approfondie et que les avantages justifient clairement les risques.

Un examen rigoureux par les pairs n’est pas négociable

Le processus de développement de Monero implique un examen approfondi par les pairs de chaque modification du protocole. Les propositions passent par le laboratoire de recherche Monero, font l'objet d'un examen universitaire, sont soumises à plusieurs cycles de révision du code et sont testées de manière approfondie avant leur déploiement. L'échec de Haven démontre ce qui arrive lorsque ce niveau de rigueur n'est pas maintenu. Tout projet basé sur la base de code de Monero doit s'engager à respecter les mêmes normes d'examen, sinon il risque un échec catastrophique.

La confidentialité complique la logique financière

L’opacité qui fait de Monero un excellent outil de protection de la vie privée crée des défis fondamentaux pour tout système qui doit s’auto-auditer. Le rattachement algorithmique, la vérification des garanties et la gestion de l’offre nécessitent tous une certaine forme de transparence qui est intrinsèquement contraire à la vie privée. Les projets qui tentent de construire des primitives financières sur des chaînes de confidentialité doivent concevoir avec soin des mécanismes permettant une solvabilité vérifiable qui ne compromettent pas la confidentialité des utilisateurs, un défi qui n'a pas toujours une solution satisfaisante.

Forks hérite du code mais pas de la communauté

Haven a hérité du code de Monero, mais pas de sa vaste communauté de réviseurs, de chercheurs et de développeurs soucieux de la sécurité. Une base de code forkée est aussi sécurisée que l’équipe qui la gère. Sans l’examen minutieux continu et les connaissances institutionnelles fournies par la communauté d’origine, les projets forkés sont vulnérables à des bugs subtils et à des défauts de conception que le projet original détecterait.

Les implications plus larges

L'histoire de Haven Protocol est une mise en garde sur les limites de ce que devraient tenter les blockchains préservant la confidentialité. Le désir d'étendre les garanties de confidentialité de Monero pour couvrir des actifs stables, des investissements et des instruments financiers complexes est compréhensible. Mais l’expérience de Haven suggère que cette expansion doit être abordée avec une extrême prudence, voire même tentée sur la couche de base.

L'approche conservatrice de la communauté Monero en matière de développement, souvent critiquée comme trop lente par ceux avides de nouvelles fonctionnalités, est justifiée par l'échec de Haven. En se concentrant strictement sur la confidentialité et la fongibilité de base, en résistant à la dérive des fonctionnalités et en exigeant un examen exhaustif de chaque modification, Monero a évité le genre d'exploits catastrophiques qui ont détruit Haven.

Pour les utilisateurs qui souhaitent combiner confidentialité et stabilité, l’approche la plus sûre reste d’utiliser Monero pour ce qu’il fait de mieux, les transactions privées et la conversion en pièces stables via des services de confiance lorsque la stabilité est nécessaire. MoneroSwapper offre exactement cette capacité, vous permettant d'échanger entre XMR et d'autres actifs sans compromettre votre vie privée, sans compter sur des mécanismes algorithmiques non testés et sans les risques qui ont détruit le protocole Haven.