Vitalik Buterin, der Gründer von Ethereum, hat die Auffassung zurückgewiesen, dass KI das Ende der Kryptosicherheit bedeuten werde. In einem Beitrag am Mittwoch auf X argumentiert er, dass ausgefeiltere Modelle die formale Verifikation über ganze Softwaresysteme hinweg praktikabel machen könnten. Er besteht darauf, dass die Waage noch zugunsten der Verteidiger ausschlägt.
„Es ist eine zunehmend verbreitete Auffassung, dass KI-Hacking bedeutet, dass die Cybersicherheit verloren ist“, schrieb Buterin. „Ich widerspreche. Ich denke, die Cybersicherheit begünstigt von Natur aus die Verteidigung, sobald die Leute sich zusammenreißen.“
Buterins Argument der formalen Verifikation
Das Hauptargument, das Buterin vorbringt, ist, dass KI die Sicherheit komplizierter Software durch ein mathematisches Theorem nachweisen kann. Er führt die Lösung berühmt schwieriger Gleichungen durch KI als Beleg dafür an, dass die Technologie abstraktes Schlussfolgern bewältigen kann.
„Wenn KI Navier-Stokes und den großen Fermatschen Satz beweisen kann, dann kann KI die Aussage ‚dieses Programm ist sicher‘ als mathematisches Theorem beweisen“, schrieb er. „Selbst wenn das Programm sehr kompliziert ist.“
Sicherheit sei nicht einfach, sagte er, doch die eigentliche Schwierigkeit liege darin, überhaupt zu definieren, was „sicher“ bedeute. Nachdem man sich auf eine Definition geeinigt habe, füge sich der Beweis.
Die jüngste Serie von KI-befeuerten Durchbrüchen
In der gesamten Kryptobranche nutzen Entwickler bereits KI, um sich gegen Angriffe zu schützen, indem sie Code scannen, Exploits testen und nach Fehlern suchen, bevor jemand anderes sie ausnutzen kann. Sowohl die Ethereum-Infrastruktur als auch die Bitcoin-Software erwiesen sich als anfällig.
Im Mai nutzte der Sicherheitsforscher Taylor Hornby Anthropics Claude Opus 4.8, um einen vier Jahre alten Fehler im Orchard-Privacy-Pool von Zcash zu finden, der eine unbegrenzte, unentdeckbare Fälschung von ZEC ermöglicht hätte. Die Entwickler fanden keine Hinweise darauf, dass er ausgenutzt worden war, bevor sie ihn im Juni behoben.
Forscher der Ethereum Foundation berichteten im Juli, dass KI-Agenten Sicherheitsschwächen in wichtiger Netzwerkinfrastruktur gefunden hätten. Im selben Monat leerten Diebe Coldcard-Wallets über einen alten Firmware-Fehler, der die Seed-Erzeugung schwächte, und erbeuteten dabei etwa 130 Millionen Dollar in Bitcoin. Der Hersteller der Wallet, Coinkite, deutete an, dass KI bei der Findung des Fehlers geholfen haben könnte.
Mitte August hatte sich die Gefahr im gesamten Bitcoin-Software-Ökosystem ausgebreitet. Boltz setzte seinen Swap-Dienst aus und verwies auf mutmaßliche Angreifer, die Schwachstellen schneller aufdeckten, als seine Entwickler sie korrigieren konnten. Core Lightning bestätigte, dass mehrere in KI-generierten Berichten entdeckte Schwachstellen tatsächlich real waren. Eine Freiwilligengruppe namens Bitcoin Red Team setzte KI-gestützte Audits ein, um 4.962 mögliche Schwachstellen in 390 Projekten zu identifizieren.
Was als Nächstes für Ethereum kommt
Ethereum beabsichtigt, in den nächsten Jahren einen Weg zu verfolgen, der die Verifizierung ganzer Programme mit KI umfasst, so Buterin. Das steht im Gegensatz zur früheren Praxis, KI nur zur Prüfung ausgewählter Komponenten einzusetzen.
„Es gibt keine Zukunft für Blockchains – insbesondere nicht für Blockchains mit Skalierbarkeit und Privatsphäre – ohne dies zu tun“, sagte er. „Wir müssen Software tatsächlich sicher machen. Und wir haben bereits große Fortschritte gemacht.“
Die Wette hinter Buterins Position ist, dass künstliche Intelligenz irgendwann die formale Verifizierung ganzer Krypto-Softwaresysteme übernehmen wird und Sicherheit von einem Ratespiel in etwas verwandelt, das bewiesen werden kann. Es hängt davon ab, dass die Entwickler der Software es schaffen, ihre „Sache auf die Reihe zu bekommen“, und zwar gut genug, dass Maschinen sie verifizieren können.
Hier steht viel auf dem Spiel. Sollte KI-Hacking seine Abwehrmaßnahmen überholen, könnten die von Forschern wie Hornby und dem Red Team aufgedeckten Schwachstellen ans Licht kommen, bevor sie gepatcht sind. Buterin behauptet, dass die Mittel bereits existieren, um das zu verhindern, und dass diejenigen, die Krypto-Vermögenswerte halten, auf deren erfolgreichen Einsatz wetten.
Ein öffentlicher Wettbewerb hat begonnen, und die mit dem Schutz Beauftragten legen nun ihre Argumente offen dar.
Kasten mit den wichtigsten Fakten
- Taylor Hornbys Entdeckung einer vier Jahre alten Zcash-Orchard-Schwachstelle im Mai
- Patch im Juni angewendet
- Coldcard-Wallet-Leerung: rund 130 Millionen Dollar in Bitcoin
- Red Team kennzeichnete 4.962 potenzielle Schwachstellen in 390 Projekten
Vergleichstabelle
| Ansatz | Umfang | Aktueller Stand |
|---|---|---|
| KI-gestützte Audits | Stichproben, Schwachstellenberichte | Weit verbreitet, finden echte Fehler |
| Formale Verifikation | Beweisen, dass das gesamte System sicher ist | Praktikabel, laut Buterin, aber noch nicht weit verbreitet |
Quellenmaterial: „Ethereum Founder Vitalik Buterin Says AI Won’t Doom Crypto Security“, Decrypt.
Das Notizbuch abonnieren.
Die besten Geschichten des Tages und jedes neue Urteil, in klarem Deutsch, um sieben im Postfach. Eine Mail am Tag, nicht mehr.