作者：Zooko Wilcox、Jason McGee 和 Taylor Hornby（Shielded Labs）
摘要
Shielded Labs 正在与 Zcash 基金会、Tachyon Group、Valar Group 以及 Zcash 开放开发实验室（ZODL）合作，共同推进一项名为“Ironwood”的提案，旨在恢复用户验证 Zcash 流通供应量健全性的能力。
上周，Zcash 的 Orchard 池中发现了一个关键的伪造漏洞。该漏洞已通过由 ZODL 及其他生态系统参与者协调的紧急网络升级得以修复，并于 6 月 2 日完成。
尽管我们认为该漏洞被利用的可能性不大（原因详见我们的披露报告），但 Orchard 的隐私特性使得用户无法自行验证这一点。
Ironwood 将允许用户验证 Zcash 的流通供应量是否正确。在 Ironwood 激活后，用户只需简单汇总各活跃池的余额，即可立即获得此验证能力。用户无需推断他人的动机或行为，也无需等待资金从 Orchard 池迁移，即可验证 Zcash 的总流通供应量是否正确。
Ironwood
Ironwood 的目标是恢复每位 Zcash 用户验证 Zcash 供应完整性的能力。该漏洞的存在削弱了这种可验证性。激活后，用户只需运行一个节点，即可独立验证 Zcash 的流通供应量是否健全。
为实现此目标，Ironwood 将：
- 创建一个新的屏蔽池，使用修复了近期伪造漏洞的 Orchard 电路。
- 拒绝任何在旧 Orchard 池中创建新输出的交易。
- 通过 AI 辅助安全审计和形式化验证等技术，提高对代码库的信心，旨在确保不存在其他伪造漏洞。
Ironwood 的工作原理
Ironwood 改变了 Orchard 池内部可能发生的情况。
激活后，任何在 Orchard 池中创建新输出的交易都将被拒绝。这意味着 ZEC 将无法再在该池内继续流通。从那时起，Orchard 池中的资金只能通过“转闸门”退出该池。
转闸门是 Zcash 用于池间转账的链上会计机制。它跟踪进入和离开每个池的 ZEC 数量，并拒绝任何试图转出超过合法进入数量的 ZEC 的交易。
这些规则共同意味着，用户无需等待所有（甚至任何）Orchard 资金迁移完毕。一旦 Ironwood 激活，用户即可根据共识规则验证，流通中的 ZEC 数量不会超过正确数量。这为 Zcash 流通供应量的健全性提供了即时的、无需信任的保证。多余的 ZEC 既不能在 Orchard 池的用户之间秘密流通，也无法逃逸到其他池中。
生成关于漏洞是否被利用的证据
Ironwood 还可能提供关于 Orchard 漏洞是否曾被利用的证据，但实现其目标并不依赖于这些证据是否出现。
当用户将资金从现有 Orchard 池迁移到新池时，任何假设的伪造者都面临一个选择：尝试转移伪造资金并冒暴露的风险，或者将其留下并冒未来无法转移的风险。
这会产生两种可能的结果：
结果 A： 没有多余的 ZEC 试图离开现有 Orchard 池。这将是强有力的证据，表明该漏洞从未被利用，因为伪造者有强烈的动机在合法用户完成迁移之前转移伪造资金。
结果 B： 多余的 ZEC 试图离开现有 Orchard 池。在这种情况下，多余的资金将无法离开该池，并实际上被销毁。不幸的是，这对于维持所有池的当前流通供应量是必要的。这也将提供公开可验证的证据，证明伪造行为已经发生。由于我们认为该漏洞未被利用，我们认为这种结果不太可能发生。
钱包
我们建议所有支持现有 Orchard 池的钱包增加对新池的支持。
钱包应在 Ironwood 激活前继续正常支持现有 Orchard 池，然后在激活后将用户资金从现有 Orchard 池迁移到新池。虽然迁移会带来隐私影响（即，会暴露转移的 ZEC 数量和转移发生的时间），但我们认为这对用户隐私的影响是有限的，并且可以通过钱包行为进一步减轻。
现有的 Orchard 接收者（即地址）仍然有效，无需轮换。在 Ironwood 激活前发送到 Orchard 接收者的 ZEC 将自动作为新池中的 ZEC 被接收。
时间安排
与大多数网络升级一样，Ironwood 需要整个生态系统范围内的开发、测试、审查和协调。经验表明，这项工作通常比预期耗时更长，因此我们认为在讨论时间表时保持保守态度，比过度承诺而交付不足要好。
另一个不确定因素来自 zcashd 的持续弃用。虽然 Shielded Labs 并未直接参与这项工作，但交易所、矿池、钱包及其他基础设施提供商向 Zebra 的迁移可能会影响此次网络升级的时间安排。
我们预计，随着实施计划的成熟和讨论的继续，我们对时间表会有更清晰的了解。
结论
我们想强调的是，我们认为 Orchard 漏洞此前被利用的可能性不大。但在涉及 Zcash 供应完整性的问题上，用户不应依赖我们或任何其他人的评估。
Ironwood 旨在恢复一种任何人都可以自行验证的 Zcash 流通供应量保证。无论该漏洞是否曾被利用，目标都是一样的：使 Zcash 供应的完整性成为可验证的事实。
我们相信 Ironwood 是最佳的前进道路，并期待与 Zcash 社区讨论这一提案。
致谢
感谢 Sean Bowe、Dev Ojha、David Campbell、Alex Bornstein、Nate Wilcox、Kris Nuttycombe、Vitalik Buterin、Balaji Srinivasan、Taylor Hornby、Josh Swihart 和 Tatyana 的审阅和反馈。特别感谢 Kris Nuttycombe 建议 Ironwood 升级禁用那些在旧 Orchard 池中创建输出的交易。事实证明，这对于 Ironwood 实现其目标至关重要。
