Ethereum-Mitgründer Vitalik Buterin hat die Vorstellung zurückgewiesen, dass KI-gestütztes Hacking das Ende der Cybersicherheit bedeutet, und argumentierte stattdessen, dass fortschrittliche Modelle Krypto-Software schwerer angreifbar machen könnten statt einfacher.

In einem Mittwochseintrag auf X führte Buterin aus, dass KI Hackern keinen unüberwindbaren Vorteil verschaffen wird, und verwies darauf, dass Krypto-Inhaber – einschließlich ihm selbst, der rund 90 % seines Vermögens in Krypto hält – faktisch darauf wetten, dass defensive Sicherheit mit den offensiven Fähigkeiten Schritt halten kann.

„Es ist eine zunehmend verbreitete Ansicht, dass KI-Hacking bedeutet, dass die Cybersicherheit verloren ist“, schrieb Buterin. „Ich widerspreche. Ich denke, die Cybersicherheit begünstigt naturgemäß die Verteidigung, sobald die Leute ihre Hausaufgaben machen.“

Formale Verifikation im großen Maßstab

Im Kern von Buterins Argument steht die Idee, dass KI die formale Verifikation – die Verwendung mathematischer Beweise, um nachzuweisen, dass sich Software sicher verhält – selbst für hochkomplexe Systeme praktikabel machen könnte. „Wenn KI Navier-Stokes und die Fermatsche Vermutung beweisen kann, dann kann KI die Aussage ‚dieses Programm ist sicher‘ als mathematisches Theorem beweisen“, schrieb er. „Selbst wenn das Programm sehr kompliziert ist.“

Mit anderen Worten: Buterin ist überzeugt, dass KI-Modelle, die fähig sind, berühmt schwierige mathematische Probleme zu lösen, auch nachweisen könnten, dass komple Software klar definierte Sicherheitsanforderungen erfüllt. Das bedeute nicht, dass Sicherheit einfach sei, warnte er; der schwierige Teil liege darin, zunächst zu definieren, was „sicher“ überhaupt bedeutet.

Diese Unterscheidung ist wichtig, weil ein abgeschlossener Beweis jedes Verhalten außerhalb der Spezifikation eines Programms ausschließt, während Audits und Tests nur Schwachstellen aufdecken können, nach denen Prüfer aktiv suchen – einer der Gründe, warum formale Methoden historisch kleinen, kritischen Komponenten vorbehalten waren.

Seine Bemerkungen knüpfen an Ethereums breiteren Vorstoß in Richtung KI-gestützter Sicherheit, Datenschutz, STARKs – kompakte kryptografische Beweise, mit denen Berechnungen verifiziert werden können, ohne die zugrunde liegenden Daten offenzulegen – und Quantenresistenz an.

Ein KI-getriebenes Wettrüsten

Blockchain-Entwickler setzen zunehmend KI-Agenten ein, um Code zu scannen, Exploits zu testen und Fehler zu verifizieren, bevor Angreifer handeln können; dabei entdeckten Forscher Schwachstellen sowohl in der Ethereum-Infrastruktur als auch in Bitcoin-Software. Der defensive Wandel folgt auf eine Reihe von Vorfällen, die die Befürchtung schürten, KI verschiebe das Kräfteverhältnis zugunsten der Angreifer.

Im Mai nutzte Sicherheitsforscher Taylor Hornby Anthropics Claude Opus 4.8, um einen vier Jahre alten Fehler im Orchard-Privacy-Pool von Zcash aufzudecken – einen Fehler, der unbegrenzte, unentdeckbare Fälschungen von ZEC ermöglicht hätte. Die Entwickler fanden keine Hinweise auf eine Ausnutzung und schlossen die Lücke im Juni.

Das Wettrennen zwischen Angreifern und Verteidigern verschärfte sich im Juli, als Forscher der Ethereum Foundation mitteilten, KI-Agenten hätten Schwachstellen in kritischer Netzwerkinfrastruktur aufgedeckt. Im selben Monat begannen Angreifer, Coldcard-Wallets über einen jahrealten Firmware-Fehler abzugreifen, der die Seed-Generierung schwächte, und stahlen letztlich rund 130 Millionen US-Dollar in Bitcoin. Coinkite, der Hersteller von Coldcard, sagte, KI habe wahrscheinlich zur Identifizierung des Fehlers beigetragen.

Bis August hatte sich die Bedrohung über das breitere Bitcoin-Software-Ökosystem ausgebreitet. Der Swap-Dienst Boltz stellte den Betrieb ein, mit der Begründung, mutmaßliche Angreifer würden Fehler schneller finden, als seine Entwickler sie beheben könnten, während Core Lightning bestätigte, dass mehrere in KI-generierten Berichten identifizierte Schwachstellen echt waren. Als Reaktion führte das freiwillige Bitcoin Red Team KI-gestützte Audits durch, die 4.962 potenzielle Schwachstellen in 390 Projekten meldeten.

Ganze Programme statt Komponenten

Buterin sagte, KI könne inzwischen ganze Programme verifizieren statt nurählter Komponenten – ein Ansatz, den Ethereum in den nächsten Jahren verfolgen will.

„Es gibt keine Zukunft für Blockchains – insbesondere Blockchains mit Skalierbarkeit und Datenschutz –, ohne dies zu tun“, sagte er. „Wir müssen Software tatsächlich sicher machen. Und wir haben bereits große Fortschritte erzielt.“

Wie weit Ethereum auf dieser mehrjährigen Roadmap kommt – und ob ökosystemweite KI-Audits weiterhin Schwachstellen in großem Maßstab aufdecken –, wird der deutlichste kurzfristige Indikator für das von ihm beschriebene, verteidigungsfreundliche Gleichgewicht sein.