隐私币 Zcash（ZEC）近期经历剧烈震荡。5 月 29 日，Shielded Labs 聘请的安全工程师 Taylor Hornby 在审计 Orchard 池电路时，发现一个约束不足的漏洞——攻击者可对椭圆曲线乘法输入任意伪造值通过验证，理论上能无限铸造不可追踪的 ZEC。该漏洞自 2022 年 5 月 Orchard 协议上线起便潜伏，长达四年。官方紧急修复于 2026 年 6 月 2 日完成，Zcash 创始人 Zooko Wilcox 称实际利用可能性“极低”。但社群信心已受重创。
Ironwood 提案：把验证权还给用户
6 月 6 日，Zooko 发布名为 Ironwood 的提案，核心目标很简单：让每一位 Zcash 用户无需信任任何人，自己就能验证 ZEC 流通总量是否正确。Ironwood 设计了三件事：1) 用已修补漏洞的 Orchard 电路开设一个新��蔽池；2) 锁死旧 Orchard 池的新输出，任何试图在该池建立新 output 的交易一律无效；3) 通过 AI 辅助安全审计和形式化验证等高保证度手段，排除其他潜在伪造漏洞。
Turnstile 机制：即时保证供给完整性
启动 Ironwood 后，旧 Orchard 池的 ZEC 只剩一条出路——通过 turnstile 转出。Turnstile 是 Zcash 链上记录池间转移的机制：它追踪每个池的进出金额，拒绝任何超过合法进入金额的转出。这意味着用户不需要等待旧池资金完成迁移，Ironwood 一启动，就能从共识规则直接证明当前流通的 ZEC 不会超过正确金额。过量 ZEC 既无法在 Orchard 池内悄悄流转，也无法逃进其他池。
漏洞是否被利用？两种结果
Ironwood 还可能附带揭示漏洞是否曾被利用。当合法用户从旧池迁移资金时，若存在伪造者，其被迫选择：要么试图搬出伪造资金（暴露自己），要么丢在池中（再也无法搬出）。结果 A：无过量 ZEC 尝试搬离——这是漏洞未被利用的强力证据。结果 B：有过量 ZEC 被挡下并销毁——同时构成公开可验证的伪造证据。官方认为漏洞未被利用的可能性很高，因此 Outcome B 概率很低。
对钱包与用户的直接影响
建议所有支持 Orchard 池的钱包同时支持新池。Ironwood 启动后，资金从旧池迁移到新池会暴露转移金额和时间，但影响有限且可通过钱包行为缓解。旧 Orchard 收款地址依然有效，升级前创建的地址在启动后收到的 ZEC 会自动以新池形式入账。
时程与不确定性
Ironwood 需要开发、测试、审计和生态协调。Shielded Labs 表示此类工作通常比预期更久，宁可保守承诺。额外不确定因素在于 zcashd 逐步淘汰——交易所、矿池、钱包等需迁移至 Zebra 客户端，其进度会影响本次升级时程。具体时间表待实现计划完善后公布。
结语：官方强调用户不必信任任何人的判断，Ironwood 的设计宗旨就是让供给完整性成为每个人可以亲自验证的东西。