Ethereum-Mitgründer Vitalik Buterin macht deutlich, wie viel für ihn persönlich an der Sicherheit von Kryptowährungen in der KI-Ära hängt. Rund 90 % seines Nettovermögens stecken nach eigener Aussage in Krypto. Damit, so Buterin, gehe er implizit die Wette ein, dass leistungsfähigere KI-Systeme die Cybersecurity nicht zerstören, sondern langfristig sogar deutlich verbessern können.
Seine Aussage kommt zu einem Zeitpunkt, an dem die Sorge vor automatisierten KI-Angriffen wächst. Buterin widerspricht jedoch der These, dass immer leistungsfähigere KI zwangsläufig Hackern den entscheidenden Vorteil verschafft. Für Ethereum sieht er stattdessen eine Zukunft, in der KI dabei hilft, sicherheitskritischen Code mathematisch zu überprüfen.
Für ETH-Anleger trifft die Debatte auf einen weiterhin nervösen Markt. Ethereum notiert am Donnerstag bei rund 2.430 US-Dollar beziehungsweise 2.110 Euro. Nach dem deutlichen Rückgang am 15. September um mehr als vier Prozent hat sich der Kurs zwar etwas erholt, liegt aber weiterhin unter den Hochs der vergangenen Tage.
Buterin widerspricht der Angst vor KI-Hackern
Auslöser für Buterins Beitrag ist die wachsende Befürchtung, dass KI-Systeme Schwachstellen künftig schneller entdecken können, als Entwickler sie schließen.
Buterin hält dieses Szenario nicht für unausweichlich. Sein Argument: Wenn KI komplexe mathematische Probleme lösen und formale Beweise erstellen kann, kann dieselbe Technologie auch dafür eingesetzt werden, mathematisch zu beweisen, dass bestimmte Software festgelegte Sicherheitseigenschaften erfüllt.
Genau darin sieht er einen möglichen strukturellen Vorteil für Verteidiger.
Statt lediglich mit KI nach Sicherheitslücken zu suchen und darauf zu hoffen, diese vor Angreifern zu entdecken, soll Software von Beginn an so gebaut werden, dass ihre zentralen Eigenschaften mathematisch überprüfbar sind.
Für Buterin geht es dabei nicht nur um einzelne Smart Contracts. Datenbanken, Netzwerkschichten, Caching-Systeme und weitere Bestandteile einer Anwendung müssten in die Sicherheitsprüfung einbezogen werden. Nur einen vermeintlich kritischen Teil des Codes zu verifizieren, reicht aus seiner Sicht nicht aus.
Warum mathematische Beweise für Ethereum entscheidend werden könnten
Der technische Ansatz dahinter heißt formale Verifikation. Dabei wird nicht einfach getestet, ob ein Programm in einigen bekannten Situationen funktioniert. Stattdessen werden gewünschte Eigenschaften mathematisch beschrieben und anschließend bewiesen.
Buterin beschäftigt sich bereits seit Monaten öffentlich mit dieser Entwicklung. In einem Beitrag vom Mai bezeichnete er die Kombination aus KI und formaler Verifikation als möglichen grundlegenden Wandel bei der Softwareentwicklung. Besonders relevant sei das für Bereiche wie Zero-Knowledge-Systeme, quantensichere Signaturen, Konsensmechanismen und Ethereum-Ausführungssoftware.
Die Bedeutung für Ethereum ist erheblich. Je stärker das Netzwerk auf komplexe Skalierungs- und Datenschutztechnologien setzt, desto größer werden auch die Folgen eines Fehlers in der zugrunde liegenden Software.
Buterins Schlussfolgerung fällt deshalb ungewöhnlich deutlich aus: Für skalierbare und private Blockchains sieht er langfristig keine tragfähige Zukunft, wenn sicherheitskritische Software nicht wesentlich besser abgesichert werden kann. Ethereum soll sich in den kommenden Jahren genau in diese Richtung bewegen.
Damit wird KI für Ethereum gleichzeitig zur Gefahr und zum Werkzeug. Leistungsfähigere Modelle könnten Angreifern helfen, bisher unentdeckte Schwachstellen schneller aufzuspüren. Dieselben Fähigkeiten könnten Entwickler jedoch einsetzen, um Code umfassender zu prüfen und mathematische Sicherheitsbeweise wesentlich schneller zu erstellen.
Die entscheidende Schwachstelle bleibt trotz KI bestehen
Vollständige Sicherheit garantiert dieser Ansatz allerdings nicht. Genau diesen Punkt betont Buterin selbst.
Ein mathematischer Beweis kann nur bestätigen, dass eine Software die zuvor definierten Eigenschaften erfüllt. Wurde die Definition von „sicher“ unvollständig formuliert, kann ein Programm formal korrekt sein und trotzdem eine gefährliche Schwachstelle besitzen.
Bei einem Messenger könnte beispielsweise mathematisch bewiesen werden, dass ein Angreifer Nachrichten ohne privaten Schlüssel nicht lesen kann. Das beantwortet aber noch nicht automatisch Fragen zu manipulierten Servern, kompromittierten Geräten, Metadaten, fehlerhaften Bibliotheken oder Angriffen auf andere Teile des Systems.
Formale Verifikation ist deshalb kein magischer Schutzschild. Buterins eigentliche These ist enger: KI könnte den Aufwand für extrem umfassende mathematische Sicherheitsprüfungen so stark reduzieren, dass diese erstmals für große und komplexe Systeme praktikabel werden. Sein eigener ausführlicher Beitrag bezeichnet formale Verifikation ausdrücklich nicht als Allheilmittel.
Für Ethereum ist das mehr als eine theoretische Diskussion. Die Ethereum-Entwicklung arbeitet bereits an formal überprüfbaren Komponenten und Buterin sieht insbesondere komplexe kryptografische Systeme als geeignetes Einsatzfeld. Auch in früheren Beiträgen hatte er formale Verifikation als wichtigen Baustein einer offenen und überprüfbaren Software-Infrastruktur bezeichnet.
Am Markt bleibt unterdessen die kurzfristige Lage angespannt. Der Bereich um 2.360 bis 2.400 Dollar hat sich in den vergangenen Tagen als erste Auffangzone gezeigt. Auf der Oberseite müsste ETH zunächst wieder den Bereich um 2.500 bis 2.520 Dollar zurückerobern; darüber würde das jüngste Hoch oberhalb von 2.600 Dollar wieder relevant.
Buterins 90-Prozent-Aussage ist damit weniger ein kurzfristiges Kursargument als eine langfristige Wette auf die technische Überlebensfähigkeit von Krypto. Entscheidend wird sein, ob Ethereum die von ihm geforderte Sicherheit tatsächlich über den gesamten Software-Stack umsetzen kann. Denn je mächtiger KI-Angriffe werden, desto weniger Spielraum bleiben Blockchains für Fehler.
