Vitalik Buterin, Mitbegründer von Ethereum, schlägt vor, dass KI die Sicherheit im Kryptobereich durch die Erleichterung formaler Verifikationsprozesse stärken könnte. Er argumentiert, dass KI-unterstützte formale Verifikation zu einer wichtigen Verteidigung gegen Sicherheitsfehler in Blockchain-Systemen werden könnte. Diese Methode beinhaltet die Nutzung von KI zur Erstellung mathematischer Beweise, die das Verhalten von Software verifizieren und somit potenziell Schwachstellen reduzieren. Buterin hebt Projekte wie Arklib und evm-asm hervor, die eine KI-gesteuerte formale Verifikation in der Ethereum-Infrastruktur erforschen. Trotz der Anerkennung von Einschränkungen, wie Fehler in verifizierten Compilern und unvollständigen Codebeweisen, sieht Buterin die formale Verifikation als wertvolles Werkzeug zur Minimierung von Codefehlern. Seine Kommentare erfolgen vor dem Hintergrund jüngster hochkarätiger Krypto-Angriffe und unterstreichen die Notwendigkeit robuster Sicherheitsmaßnahmen.