L’intelligence artificielle commence à écrire le code qui fait circuler l’argent sur les blockchains. L’Artificial Superintelligence Alliance et la plateforme de développeurs Matterhorn affirment vouloir 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 dont l’IA génère instantanément l’intégralité du code du smart contract. Si cette technique accélère le développement et abaisse la barrière à la création d’applications, elle introduit aussi le risque que l’IA produise un code erroné ou non sécurisé que des attaquants peuvent exploiter. « Nous sommes au début d’un monde où les dApps deviennent “simplement des 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 disputent pour expédier du code plus vite. Nous pensons que c’est la mauvaise course. Les créateurs qui construisent des dApps qui gèrent de l’argent réel et des utilisateurs réels ont besoin d’une plateforme en laquelle ils peuvent avoir confiance, et ce partenariat est la manière 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 des smart contracts générés par l’IA avant leur déploiement. « Nous nous associons à des sociétés d’audit de sécurité qui peuvent proposer des services d’audit via Matterhorn pour les créateurs sur Matterhorn », a indiqué Ramesh à Decrypt. « Nous avons aussi des agents IA pour réaliser des audits agentiques, mais nous ne recommandons absolument pas de faire cela seul pour les applications sur le mainnet. » 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 de MCP, la construction/la mise à disposition de compétences, la création de dApps et le déploiement depuis une seule plateforme », a déclaré Ramesh. « Nous travaillons avec l’équipe ASI sur des “blessed templates” afin de faciliter la création de contrats plus sûrs, spécifiquement pour des langages basés sur la vérification formelle. » L’entreprise a indiqué que les développeurs peuvent se connecter à des auditeurs tiers via la plateforme avant de lancer des contrats sur une blockchain en direct. Toutefois, 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 sorte que ce soit de la part de l’équipe Matterhorn concernant la sûreté ou la sécurité. » Ramesh a déclaré que Matterhorn et l’ASI Alliance développent des « blessed templates » pour aider les développeurs à construire des smart contracts plus sûrs, tout en intégrant ASI:Cloud afin de fournir la puissance de calcul aux systèmes d’IA qui génèrent et analysent du code pour MeTTa, le langage de programmation d’ASI:Chain. Le partenariat arrive alors que des agents d’IA pénètrent de plus en plus l’industrie crypto. Les développeurs expérimentent des systèmes capables de gérer des portefeuilles, d’exécuter des transactions et d’effectuer des tâches financières on-chain, ce qui suscite de nouveaux outils et des recherches visant à contrôler les risques lorsque ces systèmes autonomes traitent la cryptomonnaie. Khellar Crawford, directeur de l’innovation chez SingularityNET, a déclaré que la majeure partie de l’industrie blockchain repose sur une approche de type « patch-and-pray » — écrire des smart contracts dans des langages mal adaptés à la concurrence complexe et s’en remettre aux auditeurs pour détecter les défauts — tandis que F1R3FLY et ASI:Chain utilisent, selon lui, une architecture « correct-by-construction » basée sur le calcul de Rho. « Nous ne devinons pas si une application est sûre : nous la prouvons mathématiquement en utilisant des types de comportements spatiaux », a dit 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 interblocages, ni exploits de conditions de course, et aucun fonds qui fuit. »