Vitalik Buterin, einer der Gründer von Ethereum, hat die Ansicht zurückgewiesen, dass zunehmend leistungsfähige künstliche Intelligenz die Cybersicherheit unhaltbar machen werde. Er argumentierte, dass stärkere mathematische Verifikation kritische Software deutlich schwerer ausnutzbar machen und den Verteidigern letztlich einen Vorteil verschaffen könnte. Die Frage hat im Krypto-Bereich besonderes Gewicht, wo Softwarefehler die Gelder der Nutzer direkt gefährden können – und Buterin beantwortet sie mit mehr als einem Argument.

“It’s an increasingly common take that AI hacking means cybersecurity is doomed. I disagree. I think cybersecurity is naturally defense-favoring once people get their shit together. And anyone who continues to hold cryptocurrency (including me, ~90% of my net worth) is implicitly…” — vitalik.eth (@VitalikButerin), September 16, 2026

https://x.com/VitalikButerin/status/2100337594722890145?ref_src=twsrc%5Etfw

Buterins Krypto-Bestände spiegeln eine Wette auf die Sicherheit

Buterin beschrieb seine fortgesetzte Exposition gegenüber Kryptowährungen als Wette auf die Sicherheit digitaler Systeme. Er erklärte, dass rund90 % seines persönlichen Nettovermögens in Krypto gehalten werden, womit seine Position zugleich eine persönliche Wette gegen Bemühungen ist, diese Systeme zu kompromittieren. In einem Bereich, in dem Fehler in produktiv eingesetztem Code sich unmittelbar in Verlusten für die Nutzer niederschlagen können, verknüpft diese Deutung seine eigene Bilanz mit der Sicherheitsbehauptung, die er aufstellt.

Er verlasse sich nicht allein darauf, dass Verteidiger Schwachstellen finden, bevor es Angreifer tun. Stattdessen verwies er auf eine allmähliche Verschiebung hin zum Nachweis, dass Software klar definierte Sicherheitsregeln einhält. Dieser Ansatz ist insbesondere für Blockchain-Systeme relevant, wo Code in der Regel öffentlich läuft und ein Softwarefehler Wallets, Smart Contracts, Bridges, Validatoren oder ganze Netzwerke betreffen kann.

Buterin nannte fortgeschrittenes mathematisches Theorembeweisen als einen Bereich, in dem KI künftig einen Beitrag leisten könnte. Seiner Ansicht nach könnten KI-Tools, die in der Lage sind, hochkomplexe mathematische Probleme zu lösen, auch dabei helfen, eine formale Sicherheitsspezifikation für ein Softwaresystem zu erfüllen.

Formale Verifikation und Krypto-Sicherheit

Formale Verifikation unterscheidet sich von herkömmlichem Code-Testing, weil sie nachweisen will, dass definierte Eigenschaften gelten, statt lediglich unter ausgewählten Bedingungen nach Fehlern zu suchen. Konventionelles Sicherheitstesting kann Audits, Simulationen und Versuche umfassen, Bugs durch Angriffssuchen zu finden. Formale Verifikation beginnt mit der exakten Formulierung der Anforderung, die ein System garantieren muss, und führt anschließend eine mathematische Prüfung durch, ob das System dies erfüllt.

In der Praxis hat der Aufwand für die Konstruktion solcher Beweise dazu geführt, dass das Verfahren vor allem auf eine kleine Anzahl als kritisch eingestufter Komponenten angewendet wird, während die meisten Software nur durch konventionelles Testing abgedeckt ist. Buterin wies darauf hin, dass bereits die Definition der Sicherheitsanforderung selbst schwierig ist. Ein Protokoll könnte unbefugten Zugriff verhindern und dennoch anfällig für Fälschung, Replay-Angriffe, Denial-of-Service-Angriffe oder Ausfälle einer abhängigen Komponente bleiben. Der Nachweis einer einzigen Eigenschaft stellt daher nicht zwangsläufig sicher, dass das Gesamtsystem sicher ist.

Ethereum benötigt breitere Systemverifikation

Die Verifikation nur einer kleinen Anzahl als kritisch geltender Komponenten reicht für Krypto-Netzwerke möglicherweise nicht aus. Unterstützende Software – einschließlich Datenbanken, Netzwerkschichten, Caches und Bibliotheken – kann ebenfalls Teil der Angriffsfläche sein.

Buterin regte an, dass moderne KI es ermöglichen könnte, einen größeren Teil eines vollständigen Programms schneller zu validieren. Das könnte die Abhängigkeit von der Annahme verringern, dass Sicherheitsforscher jede ausnutzbare Schwachstelle finden, bevor Angreifer siedecken.

KI-gestützte Angriffe und Verteidigungen

Auch die Fähigkeiten von KI-Systemen, im Rahmen von Sicherheitsbewertungen auf reale Drittanbieter-Systeme zuzugreifen, haben Besorgnis ausgelöst. Anthropic hat laut der Quelle Fälle beobachtet, die das Ausmaß dieser Entwicklung veranschaulichen. Das Ergebnis ist ein beschleunigter Wettkampf zwischen automatisierten Angriffen und automatisierten Verteidigungen.

Buterins vorgeschlagene Antwort für Ethereum ist nicht einfach der Einsatz weiterer KI-gestützter Schwachstellen-Scanner. Er favorisiert Software, die mit präzisen Sicherheitseigenschaften geschrieben wird und zunehmend maschinell beweisbar ist.

Dieser Ansatz könnte das Gleichgewicht in der Krypto-Sicherheit verändern. Statt Angreifern durch KI-gestützte Methoden einen Vorteil zu verschaffen, könnte umfassendere maschinell prüfbare Verifikation die Position der Verteidiger stärken. Buterins weitergehendes Argument ist, dass KI-gestützte formale Verifikation nicht nur für Ethereum wichtig sein könnte, sondern auch für Privatsphäre-Technologien und Kryptographie. Ob maschinell unterstütztes Beweisen von der Verifikation isolierter Eigenschaften bis zur Abdeckung vollständiger Systeme skaliert werden kann, ist der Dreh- und Angelpunkt seines Arguments zugunsten der Verteidiger – und die Entwicklung, die es am meisten zu beobachten gilt, während sich die Debatte entfaltet.