Zcash已于周二在区块高度3,428,143处通过NU6.3网络升级激活了Ironwood升级，用一个经过形式化验证的替代方案取代了存在漏洞的Orchard屏蔽池，旨在防止无法检测的伪造行为，同时开始将屏蔽资金迁移至新池。
研究人员此前披露的一个缺陷理论上可能导致伪造ZEC在未被公开察觉的情况下被创建。经过多个Zcash组织数月的努力，Ironwood升级得以实现。目前Orchard已进入仅支持提现的阶段，用户可自行从旧屏蔽池中提取资金，但该池不再接受新的屏蔽交易。根据Zcash迁移追踪器数据，已有约40,207枚ZEC迁移至Ironwood，而仍有近360万枚ZEC留在Orchard中等待迁移。
ZEC（ZEC）在升级后短暂下跌约9%至约460美元，随后回升至约475美元。该代币在Orchard漏洞公开后曾经历剧烈波动，从去年9月的约45美元一度反弹至年底的近700美元。
Ironwood新增了独立的会计系统，包含自己的注记承诺树、空值集和链价值池，使节点能够独立追踪新屏蔽池。根据项目技术文档，此次升级还安装了一个名为“turnstile”的公开会计检查点，允许资金离开Orchard，同时防止从该旧池中提取的价值超过合法进入的数量。开发者表示，该机制旨在将任何假设的伪造代币困在Orchard内，同时允许独立验证Zcash的流通供应量仍遵守网络2100万枚ZEC的发行上限。
与此同时，Project Tachyon宣布研究人员完成了涵盖Ironwood余额完整性的机器检查数学证明，为新的屏蔽池提供了额外安全保障。该证明使用Lean编程语言编写，包含超过2700个定理，由三组研究人员和密码学家历时一个多月开发。研究人员表示，他们的工作正式验证了余额完整性所需的组件，包括Ironwood的零知识证明系统、电路规则和账本级会计。他们还澄清，验证不涉及Ironwood的独立隐私保证。
Zcash联合创始人Sean Bowe评论称，跨团队的努力消除了新Ironwood协议中无法检测的伪造漏洞来源。新屏蔽池还整合了ZIP 2005量子可恢复注记，为未来量子计算进展可能削弱当前密码保护时提供恢复机制。根据ZIP规范，该功能并未使当前的Zcash交易具备量子安全性，因为还需要在未来设计和激活单独的恢复协议。
Ironwood由Shielded Labs、Zcash开放开发实验室（ZODL）、Project Tachyon、Valar Group和Zcash基金会协作开发。NU6.3升级还完成了另一项长期规划的过渡：旧的zcashd节点软件不再支持新共识规则，Zebra成为激活后的必需节点实现。随着Ironwood上线和Orchard迁移进行，重点已转向通过turnstile移动剩余的屏蔽资金，同时网络在新会计模型下逐步淘汰旧池。