- Vitalik Buterin a donné son avis sur les systèmes émergents de vérification assistée par l’IA.
- Buterin soutient cette nouvelle idée, notant qu’elle pourrait rendre les systèmes crypto plus sécurisés.
- Il a souligné les préoccupations lorsque les attaquants utilisent de tels protocoles d’IA pour identifier rapidement les failles.
Le cofondateur d’Ethereum, Vitalik Buterin , estime que la vérification assistée par l’IA pourrait améliorer la sécurité des systèmes de cryptomonnaies. D’où la possibilité d’avoir des détecteurs de bugs assistés par IA dans l’industrie.
Vitalik Buterin soutient la vérification assistée par IA
La dernière déclaration de Buterin a soulevé de nouvelles inquiétudes quant à l’avenir de la sécurité logicielle, compte tenu de son affirmation selon laquelle l’intelligence artificielle améliore les outils de découverte de bugs. Selon Buterin, l’IA pourrait révéler de sérieuses faiblesses dans les blockchains, les systèmes de cryptographie et les applications décentralisées, à moins que les développeurs n’adoptent des méthodes de vérification plus robustes.
Il convient de noter que le commentaire de Buterin intervient à un moment crucial dans l’industrie technologique, alors que la propagation de l’IA prend un élan, alors que l’industrie se précipite pour intégrer l’IA au développement logiciel. Par leur côté, les chercheurs en cybersécurité estiment que l’IA avancée peut identifier les vulnérabilités plus rapidement que les ingénieurs humains ne peuvent les corriger.
Une couche de défense critique potentielle
Suite aux développements actuels, Buterin estime que la vérification formelle pourrait devenir une couche de défense essentielle pour les systèmes d’infrastructure numérique, y compris Ethereum. Selon lui, la vérification formelle est un moyen de tester mathématiquement un logiciel avant que les hackers ne puissent exploiter ses faiblesses.
Aujourd’hui, les développeurs intègrent des outils comme Lean AI, les utilisant pour confirmer le comportement des programmes et garantir leur fiabilité. Un tel processus peut aider les ordinateurs à détecter des erreurs de codage qui pourraient être invisibles à l’œil humain. Par exemple, l’IA Lean se concentre sur l’amplification plutôt que sur le remplacement, utilisant l’IA pour rendre les gens meilleurs résolveurs de problèmes.
Buterin a également noté que les chercheurs combinent désormais des modèles d’IA avec des systèmes de vérification pour produire un code simultanément plus rapide et plus sûr. Il considère que c’est un changement qui pourrait devenir de plus en plus important à mesure que les outils d’IA génèrent de grandes quantités de logiciels dans l’industrie technologique.
La forme finale du développement logiciel
De manière significative, Buterin a cité les propos de Yoichi Hirai, notamment sa description de l’approche émergente comme « la forme finale du développement logiciel ». Il a également mis en avant le travail de sécurité de Signal, ainsi que les systèmes de chiffrement modernes, notant que les chercheurs utilisent déjà la vérification formelle pour tester des protocoles comme le chiffrement X3DH et AES.
Par ce temps, Buterin a noté que des outils d’IA de plus en plus puissants ont le potentiel de révéler les faiblesses des contrats intelligents et des plateformes de finance décentralisée bien plus rapidement que les développeurs ne peuvent réagir. Selon lui, les attaquants utilisant de tels outils pourraient bientôt acquérir la capacité d’identifier les défauts logiciels en quelques minutes, ce qui deviendrait une menace majeure pour l’industrie de la blockchain.
Néanmoins, il s’est opposé au fait que les logiciels open source et les contrats intelligents deviennent trop risqués à maintenir. Il estime plutôt que les développeurs peuvent encore utiliser des méthodes de vérification plus robustes, des langages de programmation plus sûrs et des normes de conception logicielle plus strictes pour défendre les systèmes critiques.
À lire aussi : Le cofondateur d’Ethereum soutient l’IA : ne manquez pas la vague verte des jetons Big Data
Disclaimer: The information presented in this article is for informational and educational purposes only. The article does not constitute financial advice or advice of any kind. Coin Edition is not responsible for any losses incurred as a result of the utilization of content, products, or services mentioned. Readers are advised to exercise caution before taking any action related to the company.
