Zcash 研究人員於週二完成了 Ironwood 的形式化驗證，發布了一份可由機器檢查的證明，證明在其所述的密碼學假設下，該網路的「新」隱匿池不包含可被偵測不到的仿冒漏洞。Project Tachyon 表示，這份證明確保隱匿池不可能支付出超出已公開進入其中的價值。Ironwood 是因應其 Orchard 隱匿池中發現的一項漏洞而透過 Zcash 的 NU6.3 升級推出；該漏洞理論上可能使無法被偵測到的 ZEC 仿冒得以發生。
Project Tachyon 公布基於 Lean 的證明，包含 2,700+ 定理
Project Tachyon 表示，週二這份證明以 Lean 程式語言撰寫，包含超過 2,700 個定理，且完成耗時一個多月，由兩組以上研究人員與密碼學家共同完成。這項工作建立了一項稱為平衡完整性（balance integrity）的安全性性質，旨在確保隱匿池不可能支付出超出已公開進入其中的價值。
驗證涵蓋零知識證明系統與電路規則
研究人員表示，該證明涵蓋達成上述性質所需的元件，包括 Ironwood 的零知識證明系統、電路規則以及帳本層級的帳務處理。該證明不涵蓋 Ironwood 另行提供的隱私保證。
Ironwood 回應 Orchard 隱匿池漏洞
Ironwood 是因應其 Orchard 隱匿池中發現的一項漏洞而透過 Zcash 的 NU6.3 升級推出；該漏洞理論上可能使無法被偵測到的 ZEC 仿冒得以發生。Zcash 開發人員表示，他們未發現該缺陷曾被利用的證據。這個新增池的設計目的是恢復人們對 Zcash 供給完整性的信心。
Turnstile 機制阻擋 Ironwood 的假想超額幣
自 Orchard 遷移的資金必須透過一個稱為 turnstile 的公開帳務檢查點；該機制旨在避免任何假想的超額幣進入 Ironwood。隨著資金離開 Orchard，這個流程也可能逐步累積出關於舊池是否遭到利用的證據。
FAQ
Zcash 研究人員週二完成了什麼？
Zcash 研究人員於週二完成了 Ironwood 的形式化驗證，發布了一份可由機器檢查的證明，證明在其所述的密碼學假設下，該網路的「新」隱匿池不包含可被偵測不到的仿冒漏洞。
為什麼 Ironwood 會透過 Zcash 的 NU6.3 升級推出？
Ironwood 是因應其 Orchard 隱匿池中發現的一項漏洞而透過 Zcash 的 NU6.3 升級推出；該漏洞理論上可能使無法被偵測到的 ZEC 仿冒得以發生。這個新增池的設計目的是恢復人們對 Zcash 供給完整性的信心。
在 Ironwood 中，turnstile 機制是什麼？
turnstile 是一個公開帳務檢查點，自 Orchard 遷移的資金必須通過它。其設計旨在避免任何假想的超額幣進入 Ironwood。
