Notfall-Patch schließt Fälschungsfenster bei ZEC

Die Zcash-Entwickler haben am 2. Juni einen Notfall-Patch für eine Schwachstelle im Orchard-Schaltkreis des Privacy-Protokolls abgeschlossen, die, bliebe sie unbehandelt, die unentdeckte Prägung von unbegrenztem Falschgeld in ZEC ermöglicht hätte — eines der folgenreichsten theoretischen Angebotsrisiken, die je für das Protokoll dokumentiert wurden. Der Fund wurde am 29. Mai von SeedLabs bekannt gegeben, die berichteten, dass der Defekt bei einem KI-gestützten Sicherheitsaudit statt einer konventionellen manuellen Prüfung zutage trat.

Dieses Audit kombinierte Anthropics Modell Claude Opus 4.8 mit speziell entwickelten Audit-Agenten, und der Defekt wurde als „Soundness-Fehler“ eingestuft: Die Verifizierungsbedingungen innerhalb des Zero-Knowledge-Beweises waren nicht ausreichend eingeschränkt, sodass ein Angreifer Daten konstruieren könnte, die sich als gültiger Beweis ausgeben, und gefälschtes ZEC erzeugen könnte, ohne die Validierungsregeln des Netzwerks auszulösen.

Dieser Unterschied ist wichtig für die Einordnung des Vorfalls. Zero-Knowledge-Beweise ermöglichen es einem Netzwerk, zu bestätigen, dass versteckte Transaktionen Regeln folgen, ohne dass deren Inhalte offengelegt werden. Ein Defekt innerhalb des Beweisschaltkreises ist daher ein Fehler im Regelwerk selbst und nicht im darauf aufbauenden Code — eine Schicht, in der Schwachstellen jahrelang unentdeckt bleiben können.

Die Reaktion entsprach dem nachgewiesenen Risiko. Die Forscher von SeedLabs blieben nicht im Theoretischen — sie schrieben funktionierenden Angriffscode in einer lokalen Testumgebung und bestätigten, dass Falschgeld in ZEC tatsächlich erzeugt werden könnte, und verwandelten den Fund damit von einer Papier-Schwachstelle in einen nachgewiesenen Exploit-Pfad. Das Zcash-Entwicklungsteam behandelte das Problem anschließend als dringend; der Offenlegung zufolge war die Korrekturarbeit am 2. Juni abgeschlossen.

Orchard ist der geschützte Pool, in dem Zcashs private Transaktionen liegen — deshalb trifft ein Beweisdefekt dort den Kern der Emissionsgarantie der Währung. Für ein datenschutzorientiertes Asset ist die Integrität der Emission die tragendste Eigenschaft überhaupt, und die Schwachstelle betraf sie unmittelbar.

Was der Patch nicht klärt, ist die Frage der Ausnutzung. Der Pfad zur Fälschungserzeugung wurde nur in der lokalen Testumgebung verifiziert, und nichts im öffentlichen Record bestätigt, dass die Schwachstelle jemals im Mainnet ausgenutzt wurde. Dieser Unterschied — Schwachstelle gefunden, Exploit lokal demonstriert, Mainnet-Missbrauch unbestätigt — ist der Rahmen, durch den jede Zahl in dieser Geschichte gelesen werden sollte.

Wie der Orchard-Soundness-Fehler funktionierte

Der betroffene Mechanismus ist eng gefasst, aber grundlegend. Ein Soundness-Fehler in einem Zero-Knowledge-Beweissystem bedeutet, dass die Prüfungen, die einen Beweis verifizieren, zu lasch sind: Eine Aussage, die falsch sein sollte, kann so zurechtgemacht werden, dass sie als bewiesen erscheint. In Zcashs Orchard-Schaltkreis übersetzte sich diese Laschheit in eine direkte Emissionsbedrohung, denn Noten, die der Pool als gültig akzeptiert, fließen direkt in die Buchführung des umlaufenden Angebots ein, die jeder Knoten im Netzwerk erneut verifiziert. Unbegrenztes Falschgeld in ZEC wäre kein Marktglitch; es würde stillschweigend die Emissionsgarantie korrumpieren, deren Durchsetzung ein Layer-1-Protokoll existiert.

Zwei strukturelle Schutzmechanismen sind hervorzuheben. Der Orchard-Pool unterliegt einer Emissionsgrenze, einer Obergrenze für die Prägung, und die Einführung des Ironwood-Pools so konzipiert, dass selbst bei einem Fehler im Zero-Knowledge-Beweis die Gesamtsumme der Mittel, die die geschützte Zone verlassen können, begrenzt ist — die Angebotsverifizierung war gegen genau diese Klasse von Fehlern bereits abgesichert.

Nach der Interpretation der Offenlegung selbst hat die KI die Kryptografie nicht gebrochen: Sie grenzte schnell einen Logikfehler ein, den der öffentliche Code jahrelang getragen hatte, ohne dass menschliche Forscher ihn entdeckten, und bestätigte anschließend, dass der Fehler angreifbar war. Der Fall ist daher keiner gebrochener Kryptografie, sondern eines lange übersehenen Logikfehlers, der schnell aufgedeckt und validiert wurde. Das ist die eigentliche Bedeutung des Vorfalls — öffentliche Codebasen und Transaktionsautomatisierungssysteme sind nun legitime Ziele für diese Art automatisierter Angriffsanalyse.

Zum Zeitpunkt der Erstellung liegt der ZEC-Spotkurs innerhalb der letzten 24 Stunden 8,0 % im Minus, und nichts im On-Chain-Record verbindet die Bewegung mit der Offenlegung.

Was der Patch verändert hat

Der Patch vom 2. Juni veränderte die technische Grundlage, während die Beweislage bewusst dünn bleibt. Es gibt keinen Angreifer-Transaktionshash, auf den man sich beziehen könnte, und keinen abgeflossenen Betrag, der on-chain verifiziert werden könnte, da die On-Chain-Daten keine bestätigte Mainnet-Ausnutzung zeigen. Die SeedLabs-Offenlegung dient selbst als Post-Mortem-Analyse und benennt eine uneingeschränkte Verifizierungsbedingung im Orchard-Schaltkreis als Ursache und den abgeschlossenen Notfall-Patch als Abhilfe. Was ebenfalls ungeklärt bleibt, ist ebenso klar: Eine unabhängige Zeitleiste eines Fälschungsversuchs im Mainnet wurde nie veröffentlicht.

Die offenen Fragen sind Dokumentationsfragen. Ob jemals eine unabhängige Zeitleiste eines Mainnet-Fälschungsversuchs auftaucht und wie viel weitere technische Details zur fehlerhaften Bedingung über die Zusammenfassung der Offenlegung hinaus veröffentlicht werden, sind die Marker, die den Record vervollständigen würden.

Gegenüber diesem sauberen Record hat das institutionelle Interesse weiter zugenommen — Grayscales 3-zu-1-Split von ZCSH und Garret Jins ZEC-Bestand von 320 Millionen Dollar rahmen einen Markt ein, der den Vorfall als eingedämmt behandelte.