Ethereum-Mitgründer Vitalik Buterin hat Ansprüchen widersprochen, wonach künstliche Intelligenz Angreifern einen dauerhaften Vorteil in der Cybersicherheit verschaffen könnte. In einer am 17. September auf X geteilten Diskussion argumentierte Buterin, dass zunehmend leistungsfähigere KI-Systeme ebenso die defensive Softwareentwicklung stärken könnten, wobei sein bevorzugter Ansatz auf der formalen Verifikation beruht – eine Methode, die mit mathematischen Beweisen prüft, ob Software klar definierte Sicherheitseigenschaften erfüllt.

Die Äußerungen berühren eine Frage, die sich derzeit durch die gesamte Softwarebranche zieht: Da KI die Kosten senkt, Code nach Schwachstellen zu durchleuchten, suchen Verteidiger nach Methoden, die in vergleichbarem Tempo skalieren. Die Debatte wiegt besonders schwer bei öffentlichen Blockchains, wo der Client-Code offen ist und beide Seiten dieselbe Software gleichzeitig prüfen.

Formale Verifikation als Gegengewicht zu KI-Angriffen

Buterin sagte, KI-gestützte Angriffe verschafften Hackern nicht automatisch einen dauerhaften Vorteil. Sein Argument stützt sich auf die formale Verifikation, die mathematische Beweise anwendet, um zu prüfen, ob Software den für sie definierten Regeln folgt. Da KI-Systeme leistungsfähiger werden, so Buterin, könnten sie Entwicklern helfen, zunehmend komplexe Programme zu verifizieren und Sicherheitseigenschaften in größerem Maßstab zu testen.

Der Reiz der Technik liegt in der vollständigen Abdeckung. Konventionelles Testen stichprobenartig ausgewählte Eingaben; ein abgeschlossener formaler Beweis deckt jede Ausführung ab, die das zugrunde liegende Modell zulässt, und schließt ganze Klassen von Verletzungen auf einmal aus. Dieser Kompromiss – höhererab-Aufwand im Tausch gegen maschinell geprüfte Gewissheit – macht Verifikation attraktiv, während KI sowohl das Volumen des zu prüfenden Codes als auch das Tempo feindlicher Untersuchungen ausweitet.

Die Technik garantiert jedoch keine vollständige Sicherheit. Entwickler müssen zunächst die Eigenschaften definieren, die die Software erfüllen soll. Ein Beweis kann bestätigen, dass diese Regeln gelten, kann aber Risiken nicht abdecken, die die Spezifikation außer Acht lässt.

Buterin fügte hinzu, dass Entwickler umfassendere Prüfungen benötigen, die Protokolle, Server, Datenbanken, Netzwerkschichten, Caches und andere unterstützende Komponenten umfassen. Ein formaler Beweis beantworte nur die Frage, die Entwickler ihm zur Prüfung stellen, und erkenne nicht jede fehlende Annahme, so Buterin.

Ethereum testet KI-Agenten an Protokoll-Code

Die Ethereum Foundation setzt bereits KI-Agenten in der Arbeit zur Protokollsicherheit ein. Ihr Protocol-Security-Team erklärte im Juli, dass koordinierte Agenten echte Defekte in Systemen gefunden hätten, von denen Ethereum abhängt. Ein Fall betraf einen remote ausgelösten Absturz im Gossipsub-Netzwerkcode von Rust libp2p – der Peer-to-Peer-Netzwerkbibliothek, mit der Ethereum-Consensus-Clients Blöcke und Attestierungen austauschen –, den Entwickler in Version 0.49.4 behoben.

Das Team hat zudem eine praktische Schwäche KI-generierter Sicherheitsberichte identifiziert. Agenten können überzeugende Funde liefern, die Produktionssysteme nicht betreffen: Manche verweisen auf unerreichbaren Code oder reines Testverhalten, andere liefern formale Beweise, die eine schwächere Bedingung prüfen als von Forschern beabsichtigt. Die Foundation verlangt daher Reproduktion, automatisierte Prüfungen und menschliche Überprüfung, bevor sie eine Schwachstelle anerkennt.

Da KI-generierte Auditberichte zunehmen, dient diese Reproduktions- und Prüfschwelle als praktische Trennlinie zwischen maschinell schnellen Funden und Defekten, die eine Behebung wert sind.

Formale Verifikation rückt tiefer in die Ethereum-Forschung

Formale Verifikation soll im aktuellen Protokollforschungsplan von Ethereum eine breitere Rolle spielen. Die Ethereum Foundation erklärte am 7. September, dass die Methode mehrere Forschungsbereiche bis 2029 unterstützen wird, darunter Privatsphäre, State-Design, zkEVM-Entwicklung und Post-Quanten-Sicherheit. Der Plan verknüpft die Verifikationsarbeit auch mit künftiger Protokolltechnik.

Die Foundation erwartet, dass die Arbeit an einem L1-zkEVM – einem Design, das Ethereums eigene Blockausführung mit Zero-Knowledge-Beweisen verifizieren würde – Verifikationstools und verifizierte kryptografische Komponenten verbessern wird. Ein separates Projekt, better.codes, kombiniert KI-Agenten mit maschinell geprüften Beweisen in Lean: Forscher lenken KI-Systeme auf formalisierte kryptografische Probleme, während der Lean-Kernel prüft, ob jeder eingereichte Beweis dem angegebenen Theorem entspricht. Der Ansatz verbindet schnellere maschinell generierte Arbeit mit strengen mathematischen Prüfungen, statt sich allein auf Modellausgaben zu verlassen.

KI-Bedrohungen wachsen, während Ethereum die Verteidigungsarbeit fortsetzt

Buterins Äußerungen fallen in eine Zeit, in der Sicherheitsforscher die breitere Nutzung von KI zu Angriffszwecken dokumentieren. Anthropic erklärte, sein September-Bedrohungsbericht decke Operation ab, bei denen böswillige Akteure Claude im Zeitraum von Dezember 2025 bis August 2026 für Cyberaktivitäten und andere Missbrauchskategorien nutzten. Das Unternehmen sagte, einige Betreiber hätten KI zur Unterstützung von Schwachstellenforschung, Ausnutzung und umfassenderen Angriffsabläufen eingesetzt.

Sicherheitsteams nutzen dieselbe Technologie auch, um Code zu durchsuchen, Tests zu generieren und Fehler schneller zu reproduzieren. Ethereums eigene Versuche zeigen, dass Forscher weiterhin Erreichbarkeit, Produktionsrelevanz und die genaue Eigenschaft, die ein Beweis prüft, bestätigen müssen.

Ethereum-Kurs steigt Richtung 2.460 $ inmitten der Sicherheitsdebatte

Zum Zeitpunkt der Veröffentlichung stieg Ethereum um 2,3 % innerhalb von 24 Stunden auf 2.457,19 $. ETH erholte sich von einem intratäglichen Rücksetzer unter 2.400 $ und bewegte sich wieder Richtung des Bereichs um 2.460 $. Der Vier-Stunden-Chart zeigt Ethereum in einem breiteren Bereich handelnd, mit der unteren Grenze bei etwa 2.375 $ und der oberen Grenze bei rund 2.570 $. Ein möglicher Weg Richtung 3.000 $, falls sich die Erholung fortsetzt.

Analyst Ali Martinez verwies ebenfalls auf einen möglichen Pfad Richtung 3.000 $, falls Ethereum die Erholung ausbaut. In einem Beitrag auf X sagte er, ETH könne zunächst zur Mitte des Vier-Stunden-Bereichs bewegen, bevor 2.570 $ getestet werden. Nach Martinez könnte ein starkes Ethereum-Kurs-Schluss oberhalb von 2.570 $ im Vier-Stunden-Chart, gestützt durch höheres Volumen, eine Bewegung Richtung 2.700 $ und anschließend 3.000 $ unterstützen.

Dieser Artikel dient ausschließlich Informationszwecken und stellt keine Finanz- oder Anlageberatung dar. Kryptowährungsinvestitionen sind mit Risiken verbunden, und technische Kursziele oder Entwicklungen in der Sicherheitsforschung garantieren keine künftige Kursentwicklung.