Shielded Labs hat eine vier Jahre alte Schwachstelle in Zcash offengelegt, die bei Ausnutzung einem Angreifer erlaubt hätte, unbegrenzt gefälschte shielded Tokens zu prägen. Der Bug wurde mit Anthropics Modell Opus 4.8 aufgespürt und ist mittlerweile behoben — allerdings erst, nachdem die Veröffentlichung Zcash innerhalb von 24 Stunden rund 38 % gekostet hatte, während Panik durch die Community rollte.
Warum das wichtig ist
Der Bug blieb vier Jahre lang über mehrere Audits und Code-Reviews hinweg unentdeckt und tauchte erst auf, als ein KI-Modell darauf zeigte. Dieser Zeitstrahl ist die Alarmglocke. Forscher wie SingularityNET-CEO Ben Goertzel und Dragonfly-Managing-Partner Haseeb Qureshi werteten die Episode übereinstimmend als Frühindikator — dieselbe Klasse schlummernder Logikfehler steckt wahrscheinlich in anderen Kryptowährungen und in den Software-Stacks klassischer Banken. Während Anthropic ein Nachfolgemodell vorbereitet, von dem erwartet wird, dass es Schwachstellen über Systeme hinweg verkettet, weitet sich die Asymmetrie: Ein einzelner Angreifer kann unbegrenzt KI-Compute auf ein einziges Ziel loslassen, während Verteidiger ihre Ressourcen auf Hunderte von Verträgen und Codebasen gleichzeitig verteilen müssen.
Auswirkungen auf den Markt
Zcashs Einbruch von rund 38 % sind die sichtbaren Kosten eines einzigen offengelegten Bugs; schwerer zu bewerten ist das Risiko dessen, was noch nicht offengelegt wurde. Der Konsens unter Vitalik Buterin, Qureshi, Goertzel und CertiKs Ronghui Gu lautet gleich: KI-gestützte formale Verifikation — mathematische Beweise, die von Maschinen geprüft werden, statt menschliche Audits — als einzige dauerhafte Verteidigung für Code, der Geld prägt. Zcash hat diesen Weg in den Fahrplan aufgenommen, doch das Umschreiben der unsicheren Rust-Konstrukte, die den meisten Kernbibliotheken zugrunde liegen, kostet Performance, und die breiteren Krypto- und Bankstacks warten noch darauf, nachzuziehen.
Häufig gestellte Fragen
-
Was war der Zcash-Bug und wie schlimm hätte er werden können?
Shielded Labs hat eine vier Jahre alte Schwachstelle in Zcash offengelegt, die es einem Angreifer ermöglicht hätte, unbegrenzt gefälschte shielded Tokens zu prägen. Der Fehler ist behoben, allerdings erst, nachdem die Offenlegung Zcash innerhalb von 24 Stunden rund 38 % nach unten drückte.
-
Welches KI-Modell fand die Zcash-Schwachstelle?
Anthropics Modell Opus 4.8 half Shielded Labs, den Bug aufzuspüren. Forscher wiesen darauf hin, dass Anthropics Nachfolgemodell voraussichtlich noch besser darin sein wird, Schwachstellen über Systeme hinweg zu verketten — was die Einsätze für jeden ungeprüften Code erhöht.
-
Sind andere Kryptowährungen demselben Zcash-Bug ausgesetzt?
Nein — SingularityNET-CEO Ben Goertzel sagte, der Fehler sei ein spezifischer Logikfehler in der Zcash-Implementierung. Allerdings argumentierte er, dass andere Kryptowährungen und Bankensoftware-Stacks sehr wahrscheinlich vergleichbare schlummernde Schwachstellen enthalten, die KI-Tools in den kommenden Monaten…
-
Was ist formale Verifikation und warum setzen Experten jetzt darauf?
Formale Verifikation bedeutet, mathematische Beweise dafür zu schreiben, dass Software bestimmte Eigenschaften erfüllt — wobei diese Beweise automatisch geprüft werden, statt auf menschliche Reviews zu setzen. Vitalik Buterin, Haseeb Qureshi, Ben Goertzel und CertiKs Ronghui Gu hielten sie übereinstimmend für die…
-
Warum gilt der KI-gestützte Sicherheitswettstreit als asymmetrisch?
CertiKs Ronghui Gu fasste es als Krieg um Token-Verbrauch: Ein profitorientierter Angreifer kann massiv KI-Compute auf einen einzigen Vertrag konzentrieren, während Verteidiger Hunderte Ziele gleichzeitig schützen müssen. Daraus folgt: Verteidiger brauchen automatisierte, dauerhaft laufende Verifikation, die in den…
TheBlock
WuBlockchain
Crypto Rank News
Lookonchain
Glassnode