Ai总结： Zcash因Orchard漏洞修复后仍无法实现用户自主验证流通供应量，团队提出Ironwood升级方案，通过双结果机制构建链上可验证的伪造证据，解决隐私与透明度矛盾。

Zcash用户面临供应量验证盲区，Ironwood提案寻求根本性突破

Zcash联合创始人确认，当前用户无法独立判断其流通中的ZEC总量是否受到近期披露的Orchard伪造漏洞影响。尽管安全缺陷已在6月2日通过紧急更新修复，但协议层面的隐私设计导致无法追溯漏洞是否被实际利用。

修复漏洞后仍存验证断层

虽然漏洞本身已被关闭，但其带来的后果——即用户无法核实资金池是否存在异常输出——仍未消除。由于Orchard资金池采用零知识证明架构，即便修补完成，也无法回溯历史交易以确认是否存在伪造行为，团队虽评估风险较低，但仍强调不应依赖信任假设来保障资产完整性。

新升级方案构建可信验证路径

为恢复用户自主验证能力，Ironwood提案引入全新屏蔽资金池机制，基于已修复的Orchard电路创建独立运行的新池。任何试图在旧池中生成超出合法余额输出的交易将被协议直接拒绝，从而防止超额资金转移至新池，确保数据一致性。

迁移过程驱动双重验证逻辑

该方案设计了基于资金迁移行为的双结果框架：若无异常资金尝试转入新池，则表明漏洞未被滥用；若有超额资金试图穿越，系统将拦截并销毁，同时生成可供公开审计的伪造痕迹。这一机制使链上行为本身成为验证依据，而非依赖第三方声明。

底层机制支持与部署准备

现有跨池核算系统将自动追踪各资金池流入总额，阻止任何不合规的资金提取。建议钱包服务商在升级前加入对新资金池的支持，现有地址将继续有效，转入资金将自动归入新池。此外，从zcashd向Zebra节点过渡可能影响整体部署进度，需协调推进。