Mert Mumtaz, PDG de Helius Labs, a averti que la cryptomonnaie entre dans une nouvelle ère de sécurité où l'IA, la vérification formelle et des normes logicielles plus élevées pourraient séparer les équipes d'infrastructure sérieuses des protocoles fragiles. Dans un post largement vu sur X, il a soutenu que la cryptomonnaie est « sur le point d'entrer dans l'ère spatiale », le code financier immuable exigeant de plus en plus la rigueur des secteurs aérospatial, de la fabrication de puces et autres industries ne tolérant pas l'échec.
L'argument central de Mumtaz est que la plupart des logiciels ont historiquement toléré un certain degré de négligence que la cryptomonnaie ne peut plus se permettre. Dans les entreprises Internet classiques, un bug peut provoquer des pannes, des pertes de revenus ou une interruption de service gênante, mais les opérateurs centralisés peuvent généralement intervenir, corriger le système, annuler des changements ou compenser les utilisateurs. La cryptomonnaie, a-t-il écrit, est structurellement différente car sa promesse fondamentale dépend d'une exécution irréversible dans des environnements hostiles.
« Un code financier immuable, c'est comme un vaisseau spatial quittant la Terre sur lequel vous n'avez plus aucun contrôle. Il doit fonctionner, sinon ce sera la catastrophe », a déclaré Mumtaz. « Cette crise s'est déjà produite. À la fin des années 1960, une conférence de l'OTAN a déclaré une 'crise du logiciel', car l'industrie des logiciels devenait de plus en plus négligente et personne ne pouvait vraiment raisonner sur ces systèmes à grande échelle. »
La Cryptomonnaie Doit Atteindre un Niveau de Sécurité Équivalent aux Vols Spatiaux
Il a relié cette première crise du logiciel aux racines intellectuelles de la vérification formelle, citant Edsger Dijkstra et l'argument de longue date selon lequel les tests peuvent montrer la présence de bogues, mais pas leur absence. Pour les systèmes où l'exactitude est importante, a déclaré Mumtaz, le logiciel doit être traité moins comme un produit de consommation itératif et plus comme un objet mathématique sur lequel on peut raisonner et prouver des choses.
Ce cadre est particulièrement pertinent pour la cryptomonnaie car les systèmes blockchain gèrent des milliards de dollars d'actifs via un code qui est public, immuable et constamment sondé par des attaquants. Mumtaz a soutenu que l'industrie a souvent adopté le profil de risque de l'aviation ou des vols spatiaux tout en conservant la culture de développement des applications web. Selon ses termes, la cryptomonnaie tombe dans la catégorie des industries logicielles à faible marge d'erreur, pourtant « la majeure partie de l'industrie a été construite en utilisant les normes négligentes des anciens systèmes, où l'intervention humaine est possible. »
Le PDG de Helius Labs s'en est également pris à ce qu'il a décrit comme la « façade de décentralisation » qui a atténué le sentiment d'urgence du problème. Les clés administrateur, les ensembles de validateurs contrôlés, la coordination sociale et les interventions d'urgence, a-t-il soutenu, ont créé un sentiment de confort à court terme. Mais ces mécanismes brouillent également la distinction entre les systèmes véritablement autonomes et les systèmes qui peuvent encore être sauvés par des opérateurs humains lorsque quelque chose casse.
Mumtaz s'attend à ce que cette distinction devienne plus difficile à ignorer avec l'amélioration de l'IA. Plutôt que de considérer l'IA uniquement comme un vecteur de menace, il la présente comme une force qui rendra les pratiques logicielles rigoureuses plus accessibles. La rédaction de spécifications, l'assistance aux preuves, le raisonnement symbolique, le fuzzing, les audits, la vérification d'invariants et les flux de travail de vérification formelle, a-t-il dit, pourraient devenir beaucoup plus faciles à utiliser à grande échelle.
« La lueur d'espoir est que l'IA va grandement rationaliser le processus de vérification formelle et de renforcement de la rigueur des programmes. Ce qui était autrefois extrêmement manuel et coûteux deviendra désormais abordable à grande échelle : la rédaction de spécifications, l'assistance aux preuves, le raisonnement symbolique, le fuzzing, les audits, la vérification d'invariants et les flux de travail de vérification formelle deviendront tous beaucoup plus accessibles », a-t-il écrit. « Cet ensemble de circonstances permettra à la cryptomonnaie d'atteindre son potentiel ultime, mais je soupçonne que ce ne sera qu'à travers une épreuve par le feu. »
Cette « épreuve par le feu » est le cœur de son avertissement. Mumtaz a déclaré qu'un « mécanisme de sélection naturelle agressif » a déjà commencé et pourrait se poursuivre pendant plusieurs années. Les équipes solides, selon lui, émergeront avec des systèmes plus résilients, tandis que les architectures plus faibles échoueront face à des attentes de sécurité plus élevées et à des outils adverses de plus en plus performants.
Il a pris soin de ne pas présenter ces échecs comme purement malveillants ou négligents. « Les équipes sérieuses émergeront plus fortes que jamais, tandis que les maisons de paille s'effondreront », a écrit Mumtaz, ajoutant que ces dernières ne devraient pas nécessairement être perçues comme une insulte car ces systèmes sont vraiment difficiles à construire.
L'implication plus large est que le prochain cycle concurrentiel de la cryptomonnaie pourrait ne pas être défini uniquement par le débit, les incitations à la liquidité ou la distribution, mais par une exactitude démontrable. L'état final envisagé par Mumtaz est une industrie où la sécurité, la rigueur et la confidentialité redeviennent des préoccupations de premier plan, permettant à la cryptomonnaie de devenir « démontrablement plus sûre, plus robuste et plus Lindy que tout système financier centralisé ». Sa phrase de conclusion était sans équivoque : « Je suis long sur les maths et je suis long sur la crypto. »
Le timing du post de Mert est notable car il est arrivé juste après la sortie par Anthropic, le 9 juin, de Claude Fable 5 et Claude Mythos 5, un déploiement qui a souligné la rapidité avec laquelle l'IA progresse dans la recherche en sécurité offensive et défensive. Anthropic a déclaré que Fable 5 est son modèle le plus performant généralement disponible, mais a ajouté des garde-fous concernant les requêtes de cybersécurité car les mêmes capacités pourraient être détournées ; Mythos 5, la version moins restreinte, est initialement limitée à certains cyberdéfenseurs et fournisseurs d'infrastructure via le Project Glasswing en collaboration avec le gouvernement américain.
Pour la DeFi, c'est la partie inconfortable de l'histoire. Si les modèles peuvent de plus en plus raisonner sur de grandes bases de code, identifier des failles de logique subtiles et aider à transformer des vulnérabilités en exploits fonctionnels, alors les contrats intelligents publics deviennent une cible naturelle pour la chasse aux bogues assistée par IA. L'avertissement de Mumtaz concernant les « maisons de paille » n'est donc pas abstrait : l'IA pourrait fortement réduire le temps nécessaire aux auditeurs ET aux attaquants pour trouver le prochain invariant cassé, la prochaine hypothèse dangereuse ou le prochain cas limite exploitable dans le code financier de la cryptomonnaie.
Au moment de la rédaction, la capitalisation totale du marché de la cryptomonnaie s'élevait à 2,12 billions de dollars.
