Le cofondateur d'Ethereum, Vitalik Buterin, a déclaré que l'intelligence artificielle pourrait accélérer la feuille de route de développement du réseau tout en améliorant les normes de sécurité.
Résumé
- Vitalik affirme que l'IA pourrait accélérer la feuille de route et les délais de livraison d'Ethereum.
- La moitié des gains de l’IA devraient être consacrés à des tests plus rigoureux et à une vérification formelle.
- L’IA peut contribuer à faire d’un code cryptographique quasiment sans bug une attente réaliste.
En réponse à une expérience dans laquelle quelqu'un a « codé en vibration » l'intégralité de la feuille de route 2030 d'Ethereum en quelques semaines, Buterin a écrit qu'« il y a six mois, même cela était bien hors du domaine du possible, et ce qui compte, c'est où va la tendance ».
Buterin a personnellement testé le codage de l'IA en créant un équivalent de son logiciel de blog en une heure à l'aide de son ordinateur portable.
Le fondateur d’Ethereum a suggéré de prendre la moitié des gains de vitesse de l’IA et de les appliquer à la sécurité via davantage de cas de test, une vérification formelle et de multiples implémentations.
« Les gens devraient être ouverts à la possibilité (pas à la certitude ! possibilité) que la feuille de route d'Ethereum se termine beaucoup plus rapidement que prévu, avec un niveau de sécurité beaucoup plus élevé que ce à quoi les gens s'attendent. »
L'IA permet la vérification formelle de preuves cryptographiques complexes
Un collaborateur du projet Lean Ethereum a réussi à coder par IA une preuve vérifiable par machine de l'un des théorèmes les plus complexes sur lesquels s'appuient les STARK pour leur sécurité.
L’initiative Lean Ethereum vise à vérifier formellement tous les composants, l’IA améliorant la capacité à atteindre cet objectif.
Buterin a noté que le simple fait de générer un corpus beaucoup plus important de cas de test va au-delà de la vérification formelle.
L'expérience de la feuille de route de deux semaines contenait « d'énormes mises en garde : presque certainement de nombreux bugs critiques, et probablement dans certains cas des versions 'stub' d'une chose dont l'IA n'a même pas essayé de créer la version complète. »
La bonne approche répartit les gains de l’IA entre les améliorations de vitesse et de sécurité. « Ne présumez pas que vous serez en mesure d'insérer une seule invite et d'obtenir une version hautement sécurisée dans un avenir proche ; il y aura beaucoup de problèmes avec les bugs et les incohérences entre les implémentations », a prévenu Buterin.
Un code sans bug pourrait passer d’une illusion idéaliste à une attente fondamentale
Buterin s'est dit enthousiasmé par la possibilité qu'un code sans bug, « longtemps considéré comme une illusion idéaliste, devienne enfin d'abord possible, puis une attente fondamentale ». Il a considéré cela comme nécessaire au manque de confiance dans les systèmes cryptographiques.
Une sécurité totale reste impossible car elle nécessiterait une correspondance exacte entre les lignes de code et le contenu de l'esprit, ce que Buterin a estimé à plusieurs téraoctets d'informations.
Des allégations de sécurité spécifiques peuvent être faites et vérifiées dans des cas particuliers, éliminant ainsi plus de 99 % des conséquences négatives d'un code cassé.
La déclaration présente l’IA comme un outil permettant à la fois d’accélérer les délais de développement et de relever simultanément les barres de sécurité.
Le cadre de Buterin suggère que l'IA pourrait supprimer ce compromis en permettant une vérification approfondie de la sécurité à des vitesses de développement auparavant impossibles.
Voir l’article original en anglais
