Vitalik Buterin s’est opposé à l’idée que des hackers utilisant l’IA provoqueront l’effondrement de la cybersécurité. Il a déclaré que la cybersécurité est, par nature, défensive lorsqu’elle est prise au sérieux, et qu’il continue de détenir des cryptomonnaies, soit environ 90 % de sa fortune nette, comme pari sur cette vision. D’après PANews, Buterin a déclaré que si l’IA peut prouver les équations de Navier-Stokes et le dernier théorème de Fermat, elle devrait aussi être capable de prouver qu’un programme est sécurisé comme un théorème mathématique, même lorsque le programme est complexe.

Buterin a déclaré que la définition de la sécurité est elle-même complexe et qu’elle inclut plusieurs scénarios d’attaque tels que la contrefaçon, les attaques par rejeu, la compromission du serveur, la fuite de clés et les attaques par canal auxiliaire. Il a ajouté que cette définition reste plus petite que la surface d’attaque du code et qu’elle est plus facile à vérifier. Il a ensuite précisé que les efforts passés qui ne faisaient que vérifier des parties, en ne considérant comme critiques pour la sécurité que certains éléments, ont souvent échoué.

Buterin a déclaré que, grâce à l’IA, l’ensemble du programme doit être vérifié, y compris la base de données, le réseau, le cache et toutes les autres parties. Il a dit qu’il ne s’agissait pas de laisser de “bons acteurs” trouver des vulnérabilités avant de “mauvais acteurs”, mais d’écrire du code plus résistant aux attaques. Il a déclaré que c’est dans cette direction que le développement d’Ethereum s’inscrit au cours des prochaines années. Buterin a ajouté qu’en l’absence de cette approche, les blockchains, en particulier celles qui combinent des fonctionnalités de scalabilité et de confidentialité, n’auront pas d’avenir.