Vitalik Buterin, cofondateur d'Ethereum, affirme que l'IA ne signifie pas la fin de la cybersécurité, soutenant au contraire que des modèles avancés pourraient aider à rendre les logiciels crypto plus difficiles à pirater.

Dans un message publié mercredi sur X, Buterin a fait valoir que l'IA ne donnera pas aux hackers un avantage insurmontable, ajoutant que les détenteurs de crypto — y compris lui-même, avec environ 90 % de sa fortune en crypto — parient que les défenses de sécurité peuvent suivre le rythme.

« Il est de plus en plus courant d'entendre que le piratage par l'IA signifie la fin de la cybersécurité », a écrit Buterin. « Je ne suis pas d'accord. Je pense que la cybersécurité favorise naturellement la défense une fois que les gens se sont ressaisis. »

Buterin a soutenu que l'IA pourrait rendre la vérification formelle — l'utilisation de preuves mathématiques pour établir qu'un logiciel est sécurisé — pratique même pour des systèmes complexes.

« Si l'IA peut prouver Navier-Stokes et le FLT, alors l'IA peut prouver l'énoncé 'ce programme est sécurisé' comme un théorème mathématique », a-t-il écrit. « Même si le programme est très compliqué. »

En d'autres termes, Buterin estime que l'IA, suffisamment sophistiquée pour résoudre des problèmes mathématiques notoirement difficiles, pourrait également prouver que même un logiciel complexe répond à des exigences de sécurité clairement définies.

Cela ne signifie pas pour autant que la sécurité est facile, a-t-il précisé. La difficulté réside d'abord dans la définition de ce que signifie être « sécurisé ».

Les développeurs de blockchain utilisent de plus en plus des agents d'IA pour scanner le code, tester les exploits et vérifier les bugs avant que les attaquants ne puissent agir, des chercheurs ayant découvert des vulnérabilités à la fois dans l'infrastructure Ethereum et dans le logiciel Bitcoin.

Les développeurs de l'espace crypto déploient l'IA de manière défensive suite à plusieurs incidents qui ont alimenté les craintes que l'IA ne donne un avantage aux attaquants.

En mai, le chercheur en sécurité Taylor Hornby a utilisé Claude Opus 4.8 d'Anthropic pour découvrir une faille vieille de quatre ans dans le pool de confidentialité Orchard de Zcash qui aurait pu permettre une contrefaçon illimitée et indétectable de ZEC, bien que les développeurs n'aient trouvé aucune preuve qu'elle ait été exploitée avant de la corriger en juin.

La course entre attaquants et défenseurs s'est accélérée en juillet, lorsque des chercheurs de la Fondation Ethereum ont déclaré que des agents d'IA avaient découvert des vulnérabilités dans l'infrastructure réseau critique. Le même mois, des attaquants ont commencé à vider des portefeuilles Coldcard via une faille de firmware vieille de plusieurs années qui affaiblissait la génération de graines, volant finalement environ 130 millions de dollars en Bitcoin. Coinkite, le fabricant de Coldcard, a déclaré que l'IA avait probablement aidé à identifier le bug.

En août, la menace s'était étendue à l'ensemble de l'écosystème logiciel Bitcoin. Boltz a suspendu son service d'échange, affirmant que des attaquants présumés trouvaient des failles plus rapidement que ses développeurs ne pouvaient les corriger, tandis que Core Lightning a confirmé que plusieurs vulnérabilités identifiées dans des rapports générés par l'IA étaient authentiques. En réponse, la Bitcoin Red Team, composée de bénévoles, a utilisé des audits assistés par l'IA pour signaler 4 962 vulnérabilités potentielles sur 390 projets.

Buterin a déclaré que l'IA peut désormais vérifier des programmes entiers plutôt que des composants sélectionnés, une approche qu'Ethereum prévoit de suivre au cours des prochaines années.

« Il n'y a pas d'avenir pour les blockchains — en particulier les blockchains avec scalabilité et confidentialité — sans faire cela », a-t-il affirmé. « Nous devons rendre les logiciels réellement sécurisés. Et nous avons déjà fait beaucoup de progrès. »