Contre ceux qui croient que l’IA peut transformer la cybersécurité en une bataille perdue d’avance, Vitalik Buterin affirme exactement le contraire. Le co-fondateur d’Ethereum estime que la même technologie capable de trouver des vulnérabilités peut être utilisée pour prouver mathématiquement qu’un programme est sécurisé. Et il assure qu’en gardant près de 90 % de ses actifs en cryptomonnaies, c’est lui-même qui fait ce pari.
La capacité croissante de l’IA à trouver et à exploiter les vulnérabilités a alimenté l’idée selon laquelle les attaquants finiront par prendre le dessus. Mais Buterin pose le problème dans l’autre sens. Si l'IA peut prouver Navier-Stokes et FLT, alors l'IA peut prouver l'affirmation selon laquelle « ce programme est sûr » en tant que théorème mathématique, affirme-t-il.
La clé est la vérification formelle, une technique qui nous permet de démontrer mathématiquement qu'un programme répond à certaines propriétés. L’IA pourrait transformer cette procédure historiquement complexe et coûteuse en un outil de développement de logiciels beaucoup plus accessible. Il soutient qu'il existe un problème préalable, qui consiste à définir ce que signifie exactement le fait d'être sécurisé pour un programme. Buterin utilise Signal pour expliquer la difficulté. Chiffrer un message pour empêcher quelqu’un sans la clé de le lire ne couvre qu’une partie du problème.
Un attaquant pourrait également tenter de falsifier des messages, bloquer leur livraison, compromettre le serveur, manipuler des clés publiques ou exploiter des vulnérabilités du système d'exploitation, des bibliothèques, du compilateur ou de l'appareil lui-même. Même les métadonnées (qui parle à qui, quand et à quelle fréquence) peuvent révéler des informations sans briser le cryptage.
Pour Buterin, le grand défi ne consiste donc plus seulement à examiner des millions de lignes de code à la recherche d’erreurs. Vous devez d’abord décrire avec une énorme précision les propriétés que le système doit respecter, puis démontrer mathématiquement qu’il les satisfait.
Comment l'IA améliore la cybersécurité dans les réseaux blockchain
La proposition modifie également la logique traditionnelle de la cybersécurité. Il ne s’agit plus de faire confiance aux gentils pour trouver toutes les vulnérabilités avant les attaquants. Buterin envisage une stratégie plus solide qui permettrait de créer dès le départ un logiciel résistant et de vérifier ses propriétés.
Cela nécessite d'abandonner une autre pratique courante, celle de vérifier uniquement les parties du programme considérées comme critiques. Selon Vitalik, c'est littéralement l'ensemble du programme qui doit être vérifié. Cela inclut les bases de données, les réseaux, les caches et toute autre couche susceptible d'introduire une vulnérabilité. Leur argument est que l’IA moderne commence à rendre viable quelque chose qui était auparavant trop coûteux et difficile.
Ethereum suivra cette voie
Buterin affirme qu’Ethereum évoluera dans cette direction au cours des prochaines années. La raison est particulièrement importante pour la blockchain. Les systèmes qui gèrent des actifs économiques et, en même temps, souhaitent intégrer une plus grande évolutivité, une plus grande confidentialité et une cryptographie avancée augmentent leur complexité ainsi que les conséquences de toute défaillance.
Il n’y a pas d’avenir pour les blockchains, notamment en termes d’évolutivité et de confidentialité, sans cela, dit-il. Buterin suggère que l’IA peut rendre les pirates informatiques plus dangereux, mais elle peut également nous permettre de créer des programmes présentant beaucoup moins de vulnérabilités à exploiter.