Illia Polosukhin, Mitgründer des NEAR Protocol, sprach am Montag eine deutliche Warnung aus: KI-gestütztes Hacking entwickelt sich schneller als der traditionelle Prozess der Code-Überprüfung, wodurch ältere Sicherheitsmethoden obsolet werden. Er bezeichnete die formale Verifizierung – ein mathematischer Ansatz, um zu beweisen, dass ein Programm genau das tut, was es tun soll – als den notwendigen nächsten Schritt für die Blockchain-Sicherheit.
Polosukhins Kommentar kommt zu einer Zeit, in der generative KI-Tools bereits funktionale Smart Contracts schreiben, Exploits finden und sogar Angriffsnutzlasten erstellen können. Traditionelle Audits, bei denen Menschen den Code manuell Zeile für Zeile lesen, können mit der Geschwindigkeit und dem Ausmaß von KI-generierten Angriffen einfach nicht Schritt halten, argumentierte er.
Die formale Verifizierung ist nicht neu. Sie wird seit langem in der Luft- und Raumfahrt, der Verteidigung und bei Finanzsoftware eingesetzt, wo Fehler inakzeptabel sind. Der Aufwand ist jedoch hoch: Das Schreiben formaler Spezifikationen für einen einzigen Smart Contract kann Wochen dauern. Polosukhin räumte die Kosten ein, sagte aber, dass sich der Kompromiss verschiebt, da sich die KI-gesteuerten Bedrohungen vervielfachen.
„Mit KI-unterstütztem Hacking kann der Angreifer in Sekundenschnelle Tausende von Varianten eines Exploits generieren“, sagte Polosukhin in einem Interview mit The Block. „Ein menschlicher Prüfer könnte ein Muster erkennen, aber nicht die Variationen. Die formale Verifizierung gibt Ihnen eine Garantie, nicht nur eine Vermutung.“
Die Warnung hat besonderes Gewicht für Blockchain-Projekte, bei denen ein einziger Codefehler in Sekundenschnelle Millionen vernichten kann. NEAR selbst verwendet eine Rust-basierte Smart-Contract-Plattform und hat in formale Verifizierungstools für sein Ökosystem investiert, aber die breitere Branche verlässt sich immer noch stark auf manuelle Audits.
Für Händler und Entwickler bedeutet dieser Wandel eine wachsende Prämie für Chains und dApps, die rigorose formale Methoden anwenden – und ein steigendes Risiko für diejenigen, die dies nicht tun. Der nächste zu beobachtende Katalysator: ob große DeFi-Protokolle beginnen werden, die formale Verifizierung in ihren Sicherheitsstandards vorzuschreiben.
NEAR-Mitgründer: KI-Hacking überholt Code-Prüfungen und gefährdet Fonds
NEAR-Mitgründer Polosukhin betont die Bedeutung der formalen Verifizierung, um Blockchain-Code vor fortschrittlichen KI-gestützten Hacking-Techniken zu schützen. Dies spiegelt die wachsende Besorgnis über KI-Bedrohungen für die Blockchain-Sicherheit wider.