Zcash 研究人员在周二完成了对 Ironwood 的形式化验证，发布了一份由机器核验的证明：在其所述的密码学假设下，网络的新增隐蔽池不包含任何不可检测的伪造漏洞。Project Tachyon 表示，该证明确保隐蔽池无法支付出超过已公开进入其中的价值。Ironwood 是通过 Zcash 的 NU6.3 升级引入的，用于应对其 Orchard 隐蔽池中发现的一项漏洞；该漏洞理论上可能使不可检测的 ZEC 伪造成为可能。
Project Tachyon 发布基于 Lean 的证明，含 2,700+ 个定理
Project Tachyon 表示，周二发布的证明使用 Lean 编程语言编写，包含超过 2,700 个定理，完成工作耗时一个多月，由三个团队的研究人员和密码学家共同完成。该工作建立了一项名为“余额完整性（balance integrity）”的安全性质，旨在确保隐蔽池无法支付出超过已公开进入其中的价值。
验证覆盖零知识证明系统与电路规则
研究人员表示，该证明覆盖实现该性质所需的组件，包括 Ironwood 的零知识证明系统、电路规则以及账本层面的核算。该证明不覆盖 Ironwood 其他独立的隐私保证。
Ironwood 回应 Orchard 隐蔽池漏洞
Ironwood 是通过 Zcash 的 NU6.3 升级引入的，用于应对其 Orchard 隐蔽池中发现的一项漏洞；该漏洞理论上可能使不可检测的 ZEC 伪造成为可能。Zcash 开发者表示，他们没有发现该缺陷被利用的证据。新池被设计为恢复对 Zcash 供给完整性的信心。
Turnstile 机制阻止 Ironwood 中的假设性超额币
从 Orchard 迁移的资金必须经过一种名为 turnstile 的公开核算检查点，该检查点旨在防止任何假设性的超额币进入 Ironwood。随着资金离开 Orchard，该过程也可能提供越来越多的证据，用于判断旧池是否遭到利用。
FAQ
Zcash 研究人员周二完成了什么？
Zcash 研究人员在周二完成了对 Ironwood 的形式化验证，发布了一份由机器核验的证明：在其所述的密码学假设下，网络的新增隐蔽池不包含任何不可检测的伪造漏洞。
为何要通过 Zcash 的 NU6.3 升级引入 Ironwood？
Ironwood 是通过 Zcash 的 NU6.3 升级引入的，用于应对其 Orchard 隐蔽池中发现的一项漏洞；该漏洞理论上可能使不可检测的 ZEC 伪造成为可能。新池被设计为恢复对 Zcash 供给完整性的信心。
Ironwood 中的 turnstile 机制是什么？
turnstile 是一种公开核算检查点，从 Orchard 迁移的资金必须经过它。它旨在防止任何假设性的超额币进入 Ironwood。
