NEAR-Protocol-Mitgründer Illia Polosukhin warnte, dass KI-gestütztes Hacking klassische manuelle Codeprüfungen überholt hat, und bezeichnete formale Verifikation als notwendigen Schritt zur Absicherung von Blockchain-Infrastruktur. Vor der breiteren Security-Community beschrieb er die Lücke als strukturelles Problem: Verteidiger auditieren mit menschlicher Geschwindigkeit, während Angreifer inzwischen mit Maschinengeschwindigkeit arbeiten.
Warum das wichtig ist
Polosukhin verwies auf eine konkrete Beschleunigung bei der Erzeugung mathematischer Beweise, die früher Jahre dauerte und mit KI heute in Wochen abgeschlossen werden kann. Diese Asymmetrie ist entscheidend, weil formale Verifikation die Methode ist, die maschinenprüfbare Korrektheitsbeweise liefert, statt darauf zu setzen, dass menschliche Prüfer Grenzfälle entdecken. Wenn sich die Beweiserzeugung um eine Größenordnung beschleunigt, erhalten Angreifer eine schnellere Pipeline zum Finden von Exploit-Pfaden, doch Verteidiger können zugleich den Audit-Prozess industrialisieren, der heute auf kleinen Teams spezialisierter Ingenieure beruht.
Marktauswirkung
Diese Einordnung rückt formale Verifikation, nicht größere Audit-Budgets, als zentrale Sicherheitsgrundlage für den nächsten Zyklus des Protokolldesigns in den Mittelpunkt. Für NEAR, eine Chain, die stark auf Account Abstraction und Sharding setzt, lautet die Botschaft: Die Kosten einer einzigen übersehenen Schwachstelle steigen schneller, wenn Exploits automatisch erzeugt und getestet werden können. Projekte, die weiter auf herkömmliche Audit-Zyklen setzen, sehen sich einem wachsenden Zeitfenster der Verwundbarkeit ausgesetzt.
Häufig gestellte Fragen
-
Was sagte der NEAR-Mitgründer über KI und Code-Sicherheit?
Illia Polosukhin argumentierte, dass KI-gestütztes Hacking klassische manuelle Codeprüfungen überholt hat und formale Verifikation der nötige strukturelle Wandel ist, um Blockchain-Code gegen KI-getriebene Angriffe abzusichern.
-
Was ist formale Verifikation und warum hält Polosukhin sie für wichtig?
Formale Verifikation erzeugt maschinenprüfbare mathematische Beweise für die Korrektheit von Code und ersetzt die Abhängigkeit davon, dass menschliche Prüfer Grenzfälle finden. Polosukhin stellt sie als einzige Methode dar, die mit Angreifern in Maschinengeschwindigkeit mithalten kann.
-
Wie stark hat KI die Beweiserzeugung beschleunigt?
Laut Polosukhin können mathematische Aufgaben zur Beweiserzeugung, die früher Jahre dauerten, mit KI heute in Wochen abgeschlossen werden. Das beschleunigt sowohl defensive Audits als auch offensive Exploit-Suche.
-
Warum trifft das NEAR stärker als einfachere Chains?
NEAR setzt auf Account Abstraction und eine Sharding-Architektur, bei der sich eine einzige übersehene Schwachstelle schneller auswirkt, wenn Exploits automatisch erzeugt und getestet statt von Hand gebaut werden können.
-
Was sollten Kryptoprojekte aus dieser Warnung mitnehmen?
Projekte, die weiter auf herkömmliche Audit-Zyklen setzen, sehen sich einem wachsenden Zeitfenster der Verwundbarkeit ausgesetzt, weil die Zeit von der Schwachstellenfindung bis zum funktionierenden Exploit schrumpft. Das Argument lautet, dass formale Verifikation traditionelle Prüfung ersetzen und nicht nur ergänzen…
WuBlockchain
CoinTelegraph
CoinDesk
WatcherGuru