Zcash hat sein Ironwood-Netzwerk-Upgrade abgeschlossen und seinen anfälligen Orchard-Shielded-Pool durch eine formal verifizierte Alternative ersetzt, die entwickelt wurde, um nicht nachweisbare Fälschungen zu verhindern, während die Migration von geschützten Geldern in den neuen Pool beginnt.
Zusammenfassung
- Zcash hat das Ironwood-Upgrade aktiviert und Orchard durch einen neuen formal verifizierten Shielded-Pool ersetzt.
- Ironwood fügt neue Angebotssicherungen hinzu, während Orchard jetzt nur noch Abhebungen unterstützt.
- Forscher haben einen maschinell geprüften Beweis abgeschlossen, der bestätigt, dass Ironwood unter seinen Designannahmen kein nicht nachweisbares gefälschtes ZEC erzeugen kann.
- Mehr als 40.000 ZEC wurden bereits nach Ironwood verschoben, während etwa 3,6 Millionen ZEC noch in Orchard verbleiben.
Laut Project Tachyon und dem Zcash-Entwicklungsteam wurde Ironwood wie geplant auf Blockhöhe 3.428.143 durch das NU6.3-Netzwerk-Upgrade am Dienstag aktiviert und führte einen neuen Shielded-Pool ein, der laut Entwicklern das Vertrauen in die Integrität des Zcash-Angebots nach Bedenken um Orchard wiederherstellt.
Die Aktivierung folgte monatelanger Arbeit mehrerer Zcash-Organisationen, nachdem Forscher einen Fehler offengelegt hatten, der theoretisch die Erstellung gefälschter ZEC ohne öffentliche Erkennung ermöglicht hätte.
Während Ironwood jetzt aktiv ist, befindet sich Orchard in einer Nur-Ausstiegs-Phase. Benutzer können weiterhin nach eigenem Ermessen Gelder aus dem älteren Shielded-Pool abheben, aber er akzeptiert keine neuen geschützten Aktivitäten mehr. Daten aus Zcashs Migrationstracker zeigen, dass etwa 40.207 ZEC bereits nach Ironwood verschoben wurden, während fast 3,6 Millionen ZEC noch in Orchard auf die Migration warten.
ZEC (ZEC) fiel nach dem Upgrade kurzzeitig um etwa 9 % auf rund 460 $, bevor es sich auf etwa 475 $ erholte, so die crypto.news-Preisseite. Der Token hatte bereits nach Bekanntwerden der Orchard-Schwachstelle erhebliche Volatilität erlebt, verlor mehr als die Hälfte seines Wertes, bevor er sich später von etwa 45 $ im September letzten Jahres auf fast 700 $ zum Jahresende erholte.
Ironwood fügt eine neue Buchhaltungsgrenze hinzu
Der neue Shielded-Pool ersetzt Orchard, nachdem Forscher den sogenannten Orchard-„Unendlichkeits“-Fehler identifiziert hatten. Laut Shielded Labs entdeckte der Forscher Taylor Hornby den Fehler Ende Mai in Orchards Zero-Knowledge-Schaltkreis. Entwickler sagten, das Problem hätte theoretisch einem Angreifer ermöglichen können, gefälschte ZEC ohne sofortige Erkennung zu prägen, obwohl sie auch erklärten, keine Beweise dafür gefunden zu haben, dass die Schwachstelle jemals ausgenutzt wurde.
Notfall-Upgrades Anfang Juni deaktivierten Orchard vorübergehend, bevor Entwickler korrigierten Schaltkreis-Code durch den NU6.2-Hard-Fork bereitstellten. Selbst nach der Behebung des Fehlers sagten Entwickler, dass Zcashs Privatsphärenmodell es niemandem erlaube, mit Sicherheit zu beweisen, dass keine versteckte Inflation stattgefunden habe, was die Arbeit an einem Ersatz-Shielded-Pool anstelle der alleinigen Abhängigkeit von der gepatchten Orchard-Implementierung vorantrieb.
Ironwood führt ein separates Buchhaltungssystem mit einem eigenen Noten-Commitment-Baum, Nullifier-Set und Chain-Value-Pool ein, sodass Knoten den neuen Shielded-Pool unabhängig verfolgen können. Laut der technischen Dokumentation des Projekts installiert das Upgrade auch einen öffentlichen Buchhaltungs-Checkpoint, bekannt als Drehkreuz, der es Geldern ermöglicht, Orchard zu verlassen, während verhindert wird, dass mehr Wert abfließt, als rechtmäßig in den älteren Pool eingegeben wurde.
Entwickler haben erklärt, dass der Mechanismus dazu dienen soll, hypothetische gefälschte Münzen in Orchard einzuschließen, während eine unabhängige Überprüfung ermöglicht wird, dass das zirkulierende Angebot von Zcash weiterhin das Ausgabelimit von 21 Millionen ZEC des Netzwerks respektiert.
Formale Verifikation hat das Sicherheitsmodell von Ironwood gestärkt
Zusammen mit der Netzwerkaktivierung gab Project Tachyon bekannt, dass Forscher einen maschinengeprüften mathematischen Beweis für die Bilanzintegrität von Ironwood abgeschlossen haben, der zusätzliche Sicherheit bietet, dass der neue geschützte Pool keinen Wert über das hinaus schaffen kann, was unter seinen angegebenen kryptografischen Annahmen öffentlich eingetreten ist.
Laut Project Tachyon wurde der Beweis in der Programmiersprache Lean verfasst und besteht aus mehr als 2.700 Theoremen, die über mehr als einen Monat von drei Teams aus Forschern und Kryptografen entwickelt wurden.
Die Forscher sagten, ihre Arbeit verifiziere formal die für die Bilanzintegrität erforderlichen Komponenten, einschließlich des Zero-Knowledge-Beweissystems von Ironwood, der Schaltkreisregeln und der Buchhaltung auf Hauptbuchebene. Sie stellten auch klar, dass die Verifikation nicht auf die separaten Datenschutzgarantien von Ironwood ausgedehnt wird.
In einem Kommentar zu der Arbeit sagte Zcash-Mitbegründer Sean Bowe, dass die teamübergreifende Zusammenarbeit Quellen für nicht nachweisbare Fälschungsfehler aus dem neuen Ironwood-Protokoll beseitigt habe.
Der neue geschützte Pool enthält auch ZIP 2005 quantenwiederherstellbare Notizen, die einen zukünftigen Wiederherstellungsmechanismus ermöglichen, falls Fortschritte im Quantencomputing die aktuellen kryptografischen Schutzmaßnahmen schwächen. Laut der ZIP-Spezifikation macht die Funktion aktuelle Zcash-Transaktionen nicht quantensicher, da ein separates Wiederherstellungsprotokoll noch entworfen und in Zukunft aktiviert werden müsste.
Ökosystemteams koordinierten den Rollout
Ironwood wurde in Zusammenarbeit zwischen Shielded Labs, dem Zcash Open Development Lab (ZODL), Project Tachyon, der Valar Group und der Zcash Foundation entwickelt.
Shielded Labs, mitbegründet von Zcash-Gründer Zooko Wilcox, schlug ursprünglich vor, Orchard zu ersetzen, um die überprüfbare Bestandsbuchhaltung wiederherzustellen, nachdem die Schwachstelle öffentlich wurde.
Unterdessen sagte Josh Swihart, Geschäftsführer von ZODL, auf X, dass Ingenieure seiner Organisation 82 % der zusammengeführten Änderungen in den Protokoll- und Wallet-Repositories von Zcash während der Orchard-Ersetzungsbemühungen beigetragen haben. Swihart fügte hinzu, dass Orchard innerhalb von fünf Tagen gepatcht wurde, bevor die Entwickler den Ersetzungsprozess in etwa 60 Tagen abschlossen.
Das NU6.3-Upgrade schließt auch einen weiteren lange geplanten Übergang im gesamten Netzwerk ab. Laut der Zcash Foundation unterstützt die ältere zcashd-Knotensoftware die neuen Konsensregeln nicht mehr, was Zebra nach der Aktivierung zur erforderlichen Knotenimplementierung macht.
Bevor Ironwood das Netzwerk erreichte, hatte Jason McGee, Geschäftsführer von Shielded Labs, gewarnt, dass Börsen, Wallet-Anbieter und Mining-Pools gleichzeitig die Migration von zcashd zum neuen Z3-Softwarestack vorbereiten und gleichzeitig für Ironwood upgraden. McGee sagte, dass einige Infrastrukturbetreiber zusätzliche Zeit benötigten, obwohl letztendlich keine Entscheidung getroffen wurde, das Netzwerk-Upgrade zu verschieben.
Mit Ironwood jetzt live und der Orchard-Migration im Gange hat sich der Fokus darauf verlagert, verbleibende geschützte Gelder durch das Drehkreuz zu bewegen, während das Netzwerk den älteren Pool unter dem neuen Buchhaltungsmodell schrittweise ausmustert.
