Zcash 完成针对假冒漏洞的 Ironwood 验证证明

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。