Vitalik Buterin, cofondateur d'Ethereum, suggère que l'IA pourrait renforcer la sécurité des cryptomonnaies en facilitant les processus de vérification formelle. Il soutient que la vérification formelle assistée par l'IA pourrait devenir une défense clé contre les défaillances de sécurité dans les systèmes blockchain. Cette méthode consiste à utiliser l'IA pour générer des preuves mathématiques qui vérifient le comportement des logiciels, réduisant potentiellement les vulnérabilités. Buterin met en avant des projets comme Arklib et evm-asm, qui explorent la vérification formelle pilotée par l'IA dans l'infrastructure Ethereum. Bien qu'il reconnaisse certaines limites, telles que des bugs dans les compilateurs vérifiés et des preuves de code incomplètes, Buterin considère la vérification formelle comme un outil précieux pour minimiser les erreurs de code. Ses commentaires interviennent dans un contexte d'exploits cryptographiques récents et médiatisés, soulignant la nécessité de mesures de sécurité robustes.