Zcash-Forscher haben formal nachgewiesen, dass der neue Ironwood Shielded Pool keine unentdeckbaren Fälschungsfehler enthält. Der Beweis umfasst über 2.700 maschinell überprüfte Theoreme und soll das Vertrauen in die Geldmenge von ZEC wiederherstellen.
Das Zcash-Projekt hat einen mathematischen Beweis veröffentlicht, der die Sicherheit des neuen Ironwood Shielded Pools bestätigt. Forscher von Project Tachyon haben in der Programmiersprache Lean über 2.700 Theoreme formal verifiziert, um auszuschließen, dass der Pool undetektierbar mehr Coins auszahlen kann als eingegangen sind. Das Projekt brauchte über einen Monat und drei Forscherteams, um den Beweis zu erbringen.
Der Beweis konzentriert sich auf die sogenannte "Balance Integrity" – eine Sicherheitseigenschaft, die gewährleistet, dass der Shielded Pool nicht mehr Wert auszahlen kann als öffentlich eingegangen ist. Die Verifikation deckt Ironwoods Zero-Knowledge-Proof-System, Circuiting-Regeln und die Kontenführung auf Ledger-Ebene ab. Die Datenschutzgarantien des Systems sind hingegen nicht Teil des formalen Beweises.
Ironwood wurde durch das NU6.3-Update eingeführt, nachdem eine Sicherheitslücke im älteren Orchard Pool theoretisch unentdeckbare ZEC-Fälschungen ermöglicht hätte. Beim Umzug von Orchard zu Ironwood müssen Gelder durch einen öffentlichen Kontrollpunkt namens "Turnstile" gehen, der verhindern soll, dass hypothetische überschüssige Coins in den neuen Pool gelangen. Dieser Prozess könnte gleichzeitig Hinweise liefern, ob der alte Pool jemals ausgenutzt wurde.