Zcash 创始人 Zooko Wilcox 表示，拟议的 Ironwood 升级将为用户提供即时、无需信任的验证，以确保 ZEC 的循环供应从第一个激活块开始是健全的。在最近修复的 Orchard 漏洞被披露后，他的评论解决了 Zcash 社区的一个核心问题：用户是否可以在不依赖开发人员、审计师或事后假设的情况下验证供应。
在 X 上的一篇帖子以及 Zcash 社区论坛的后续讨论中，Wilcox 认为 Ironwood 的目的主要不是为了证明 Orchard 内部是否曾经发生过造假行为。相反，他将升级视为一种使当前循环供应可由运行完整节点的任何用户独立验证的一种方式。
“当 Zcash Ironwood 激活时，您将在 Ironwood 的第一天立即从您自己的全节点获得无需信任的验证，证明 Zcash 的实际供应量是正确的，”Wilcox 写道，指的是“现在 16M ZEC，最终 21M ZEC。”
这种区别很重要，因为 Orchard 池是屏蔽的。这种隐私属性是 Zcash 设计的核心，但它也使一个问题变得复杂：是否可以在不留下透明账本中可见的公共痕迹的情况下利用过去的健全性漏洞。威尔科克斯的回应是将争论中混为一谈的两个问题分开：是否曾经制造过假币，以及在艾恩伍德之后是否可以验证当前的供应是否可靠。
“这似乎让几乎每个人都感到非常困惑，因为他们混淆了两个不同的事情：没有制造假币。目前的供应状况良好，”威尔科克斯写道。 “这些是不同的事情！我优先考虑第二个。”
根据铁木提案，旧果园泳池将被有效阻止继续作为活跃的内部流通场所。在旧 Orchard 池中创建新输出的交易将被拒绝，这意味着资金在激活后不能再继续在该池内私下移动。相反，资金必须通过 Zcash 的十字转门记账机制退出，然后才能进入新的 Ironwood 资金池。
那个十字转门是争论的关键。它跟踪合法进入和退出池的 ZEC 数量，并阻止超出进入量的移出尝试。根据 Wilcox 的说法，这意味着用户不需要等待每个 Orchard 用户迁移，也不需要依赖博弈论假设来假设攻击者可能的行为。
“无论 Orchard 池中是否存在任何假币，我上面所说的——你将立即获得 Zcash 供应健全性的无需信任的本地验证——都是正确的，”他写道。 “这怎么可能！？因为 Ironwood 将在第一天，在激活 Ironwood 的第一个区块中，消灭 Orchard 池中任何多余的 ZEC。”
Wilcox 将相关阈值指定为“Orchard 池中 ZEC 供应的合法部分”，他将其定为 450 万个 ZEC。根据新规则，任何超出此范围的 ZEC 将无法在经济上保持有用，因为它无法继续在旧 Orchard 池内循环或逃逸到超出十字转门限制的另一个池中。
“它将在全球范围内立即消除任何多余的 ZEC，无需信任，”他补充道。 “无论是否真的有多余的 ZEC，它都会消除任何多余的 ZEC。如果没有，那么 Ironwood 所做的就是让您有能力向自己证明不存在。”
Wilcox 表示，他个人认为不存在假冒 ZEC，并引用了他之前给出的理由。但他强调，艾恩伍德的设计目的是为了消除人们对他的评估或任何其他个人的判断的信任。在他的论坛帖子中，他提出了两种可能的世界：一种是在漏洞被关闭之前，在 Orchard 内部创建了无限数量的假冒 ZEC，另一种则不是。他认为，在这两种情况下，Ironwood 都应该允许用户在第一天验证当前流通的 ZEC 不超过 1600 万个。
随着时间的推移，该提案还可能提供有关 Orchard 是否曾被利用的证据。如果在用户迁移时没有多余的 ZEC 尝试离开旧池，则可以支持没有发生伪造的观点。如果过量的 ZEC 确实试图离开，十字转门应该拒绝它，保留循环供应，同时暴露伪造的情况。
截至发稿时，ZEC 交易价格为 $