L’intelligence artificielle commence à écrire le code qui déplace l’argent sur les blockchains. L’Artificial Superintelligence Alliance et la plateforme de développement Matterhorn affirment qu’elles veulent s’assurer que ce code est sûr. Matterhorn et l’ASI Alliance ont annoncé vendredi la nouvelle initiative centrée sur le « vibe coding » — une fonctionnalité de la plateforme Matterhorn qui permet aux développeurs de décrire une application en langage clair, et à l’IA de générer instantanément tout le code du contrat intelligent. Si cette technique accélère le développement et réduit la barrière à la création d’applications, elle introduit aussi le risque que l’IA génère un code erroné ou peu sécurisé que des attaquants peuvent exploiter. « Nous sommes au début d’un monde où les dApps deviennent “de simples Apps”, aussi courantes que les sites web et les applications que nous utilisons aujourd’hui », a déclaré l’entreprise dans un communiqué. « Tous les autres outils dans ce domaine se livrent une course pour livrer du code plus vite. Nous pensons que c’est la mauvaise course. Les créateurs de dApps qui gèrent de l’argent réel et de vrais utilisateurs ont besoin d’une plateforme en laquelle ils peuvent avoir confiance, et ce partenariat est la façon dont nous la construisons. »
Pour atténuer cette menace, le fondateur de Matterhorn, Abhinav Ramesh, a déclaré que l’entreprise travaille avec des auditeurs de sécurité externes et des outils automatisés afin d’aider les développeurs à examiner les contrats intelligents générés par l’IA avant leur déploiement. « Nous nous associons à des entreprises d’audit de sécurité qui peuvent proposer des services d’audit via Matterhorn pour les créateurs sur Matterhorn », a déclaré Ramesh à Decrypt. « Nous avons aussi des agents IA qui font des audits agentiques, mais nous ne recommandons absolument pas de s’en tenir à cela pour les applications sur le réseau principal. » La plateforme de développement Matterhorn est conçue pour s’intégrer à ASI:Chain, un réseau blockchain développé par l’Artificial Superintelligence Alliance, une collectivité d’IA décentralisée qui inclut Fetch.ai, SingularityNET et CUDOS, offrant aux développeurs un environnement unique pour construire, auditer et déployer des applications décentralisées.
« Nous facilitons la connexion des utilisateurs à des MCP, la création/l’utilisation de compétences, la création de dApps et le déploiement à partir d’une seule plateforme », a déclaré Ramesh. « Nous travaillons avec l’équipe ASI sur des “blessed templates” pour rendre plus facile la construction de contrats plus sûrs, spécifiquement pour les langages fondés sur la vérification formelle. » L’entreprise a déclaré que les développeurs peuvent se connecter à des auditeurs tiers via la plateforme avant de lancer des contrats sur une blockchain en direct. Cependant, bien que Matterhorn affirme que sa plateforme accélère le développement, elle ne garantit pas la sécurité. « Nous sommes un fort catalyseur pour les créateurs qui veulent construire sur Web3 », a déclaré Ramesh. « Il n’existe absolument aucune garantie de quelque nature que ce soit de la part de l’équipe Matterhorn concernant la sécurité ou la sûreté. » Ramesh a déclaré que Matterhorn et l’ASI Alliance développent des « blessed templates » pour aider les développeurs à créer des contrats intelligents plus sûrs tout en intégrant ASI:Cloud afin de fournir la puissance de calcul pour les systèmes d’IA qui génèrent et analysent du code pour MeTTa, le langage de programmation ASI:Chain. Le partenariat intervient alors que des agents d’IA s’installent de plus en plus dans l’industrie crypto, où les développeurs expérimentent des systèmes capables de gérer des portefeuilles, d’exécuter des transactions et d’accomplir des tâches financières on-chain, ce qui suscite de nouveaux outils et axes de recherche visant à contrôler les risques lorsque ces systèmes autonomes gèrent la cryptomonnaie. Khellar Crawford, directeur de l’innovation chez SingularityNET, a déclaré qu’une grande partie de l’industrie blockchain repose sur une approche de « patch-and-pray » — écrire des contrats intelligents dans des langages mal adaptés à la concurrence complexe et s’appuyer sur des auditeurs pour repérer les failles — tandis que F1R3FLY et ASI:Chain utilisent une architecture qu’il a qualifiée de « correct-by-construction », basée sur le calcul de Rho. « Nous ne supposons pas qu’une application est sûre : nous la prouvons mathématiquement en utilisant des types de comportements spatiaux », a déclaré Crawford à Decrypt. « Avant même qu’une seule ligne de code ne touche le réseau en direct, les mathématiques elles-mêmes garantissent qu’il n’y aura ni blocages, ni exploits liés aux conditions de course, et ni fonds divulgués. »