Zcash übernimmt formale Verifikation für Ironwood-Upgrade

2 Min. Lesezeit

Zcash-Entwickler wechselten nach einer kürzlich offengelegten Buchhaltungsfehlstelle im Orchard-Schutzpool zur formalen Verifikation des Ironwood-Netzwerk-Upgrades. Der Fehler, gefunden vom Shielded Labs-Forscher Taylor Hornby, wurde vor bekannter Ausnutzung gepatcht. Das Team erklärt, dass nicht nachweisbare Fälschung aus Spezifikations- oder kryptografischen Annahmefehlern resultiert und nicht aus Implementierungsfehlern. Es konzentriert Beweise auf die kryptografische Spezifikation von Ironwood mithilfe des Lean-Theorem-Provers, mit Beitragenden von zkSecurity und dem Zcash Open Development Lab. Ironwood wird den alten geschützten Pool schließen, einen korrigierten Ersatz starten und mittels einer Turnstile-Migration die Lieferintegrität demonstrieren, wenn es im Juli 2026 aktiviert wird.

Ironwood wird Spezifikationen formell verifizieren, um nicht nachweisbare Fälschung zu verhindern.