L'Ethereum Foundation s'appuie sur l'IA pour débusquer un bug pouvant mettre des validateurs hors ligne

Des développeurs de l'Ethereum Foundation ont récemment déployé des agents d'IA pour analyser les logiciels sur lesquels repose Ethereum, dans le cadre d'efforts continus visant à renforcer la sécurité de la plus grande blockchain en valeur verrouillée. L'initiative a permis d'identifier des anomalies, mais l'équipe Protocol Security souligne qu'une validation humaine rigoureuse reste indispensable pour distinguer les failles réelles des faux positifs. Elle a publié des notes de terrain avec des recommandations à destination de l'ensemble de l'écosystème pour améliorer les workflows IA. Ethereum s'appuie sur des milliers de nœuds, des ordinateurs qui exécutent le logiciel du réseau, conservent une copie de la chaîne et relaient des messages à leurs pairs. Au-dessus de cette couche, les validateurs — des nœuds qui mettent en jeu de l'ether et votent sur la validité des blocs — ne peuvent fonctionner que si les messages leur parviennent correctement. La faille mise au jour se situait dans gossipsub. Elle permettait à un système distant de provoquer un crash: le logiciel du nœud se retrouvait face à un calcul impossible, s'arrêtâit et se fermait, mettant le validateur hors ligne jusqu'à redémarrage par un opérateur. Le problème a été corrigé rapidement et divulgué sous la référence ‘CVE202634219’, avec crédit accordé à l'équipe. La difficulté majeure, d'après la Foundation, a été de démêler les détections authentiques de celles qui ne sont que des artefacts plausibles. «La surprise, c'était de voir à quel point il fallait peu d'efforts pour les trouver, et à quel point il en fallait pour distinguer les vrais bugs de ceux qui en ont juste l'air», écrit Nikos Baxevanis, auteur du billet. La différence tient aussi à la forme des résultats. Un fuzzer — l'outil classique qui bombarde un logiciel de données malformées jusqu'à provoquer une rupture — renvoie un crash et une trace de l'endroit où il se produit, qu'un ingénieur peut confirmer en quelques minutes. Un agent, lui, produit un récit: chemin d'exploitation, justification de l'impact, proposition de niveau de sévérité, code de preuve à l'appui. Le tout est rédigé dans une prose fluide, au point qu'une faille inventée peut se lire comme une faille avérée. Trois catégories de faux positifs sont revenues régulièrement. Première: un crash qui n'existe que dans une build de test, lorsque le compilateur active des garde-fous absents de la version livrée, si bien que les utilisateurs ne subissent aucun impact. Deuxième: un “attaque” qui ne fonctionne que si la valeur dangereuse est injectée manuellement dans le programme, alors que tous les vecteurs réalistes depuis l'extérieur rejettent cette valeur en amont. Troisième: des résultats issus de la vérification formelle, où une preuve peut être validée en démontrant une vérité triviale, sans rien apprendre aux relecteurs sur le comportement du logiciel. Dans ces trois cas, le “test” ne teste rien, et un agent peut produire une version vide aussi vite et de façon aussi convaincante qu'une analyse solide. Autre limite mise en avant: les agents raisonnent efficacement sur un instant donné, mais peinent davantage sur les failles qui dépendent d'une séquence d'étapes individuellement valides, où seule l'ordre crée le problème. Ce schéma correspond à de nombreux exploits qui ont ponctionné des protocoles crypto cette année: des actions techniques normales prises isolément, dont l'enchaînement masque le détournement. Des attaques récentes illustrent cette logique. L'exploit Edel Finance, plus tôt ce mois-ci, a contourné un price feed Chainlink pourtant exact via la couche de wrapping au-dessus. Dans l'attaque de gouvernance de BONK, l'achat de tokens, le vote et l'exécution d'une proposition adoptée étaient chacun des transactions ordinaires. La réponse proposée par la Foundation consiste à laisser l'agent suggérer les enchaînements à tester en priorité, puis à exécuter ces tests de toute façon, afin de valider les hypothèses par des vérifications concrètes.