Zcash称 Ironwood 隐私池，将用形式化验证防范隐性通胀风险

Zcash 计划中的 Ironwood 屏蔽池正接近完成一项正式的数学证明，旨在表明其不存在“不可检测伪造”漏洞。这类漏洞可能导致隐性通胀。负责推进这一本重隐私加密货币升级的 Tachyon 项目于7月7日发布了一篇关于 Ironwood 形式化验证的技术博客，Zcash 创始人 Zooko Wilcox 表示，该证明已接近完成。此举紧随上月对较早期 Orchard 屏蔽池一项严重漏洞的披露；该漏洞本可能在不被察觉的情况下制造伪造的 ZEC，不过开发者表示，尚未确认出现任何利用行为。Ironwood 旨在取代 Orchard，成为经修正后的新屏蔽池，其密码学设计经过验证，可排除此类供应完整性风险。