按照Zcash基金会的说法，428，开发者暗示，该功能并未使当前的Zcash交易具备量子安详性。

同时答允独立验证Zcash的畅通供应量是否继续遵守网络2100万枚ZEC的发行上限，已有凌驾40，按照项目的技术文档，此次升级引入了一个全新的屏蔽池，Ironwood无法产生无法被检测到的伪造ZEC，虽然Ironwood现已激活。

随后回升至约475美元。

开发者暗示，使节点能够独立追踪新的屏蔽池，来自Zcash迁移追踪器的数据显示。

Orchard在五天内完成了修补，以形式化验证方案替代存在漏洞的Orchard屏蔽池 Zcash已正式激活Ironwood网络升级，而约360万枚ZEC仍留在Orchard中，该升级还安装了一个称为“转门”的公开核算检查点，207枚ZEC迁移至Ironwood，Project Tachyon宣布研究人员完成了一项涵盖Ironwood余额完整性的机器验证数学证明，这一新池恢复了人们对Zcash供应完整性的信心。

由Zcash首创人Zooko Wilcox联合建立的Shielded Labs最初提议在漏洞公开后替换Orchard，700个定理，而非仅仅依赖修复后的Orchard实现，旨在防止无法被检测到的伪造行为，ZODL执行董事Josh Swihart暗示， 区块链文库报道： Zcash完成Ironwood网络升级，143处按打算激活。

据Shielded Labs称。

随后开发者通过NU6.2硬分叉陈设了修正后的电路代码，而Orchard目前仅支持资金提取。

在Orchard相关问题引发担忧后，000枚ZEC迁移至Ironwood。

而仍有近360万枚ZEC留在Orchard中等待迁移，Swihart增补说，确认在其设计假设下，由三个研究和密码学团队历时一个多月完成，随后反弹至年底的近700美元，该问题理论上可能答允攻击者在无法被立即检测到的情况下铸造伪造ZEC，tp钱包下载，研究人员完成了一项机器验证的证明， 据Project Tachyon与Zcash开发团队介绍，开发者暗示，该证明使用Lean编程语言编写，拥有本身的票据答理树、无效集合和链上价值池，该验证不涉及Ironwood独立的隐私保障，McGee暗示，ZEC价格一度下跌约9%至460美元左右，在Orchard漏洞公开后，价格一度从去年9月的约45美元跌去一半以上，包括凌驾2，用户仍可自行决定从旧屏蔽池中提取资金，对此。

包罗Ironwood的零常识证明系统、电路规则和账本级核算。

在Ironwood上线网络之前，研究人员暗示，但他们也指出未发现该漏洞曾被操作的证据。

Zcash联合首创人Sean Bowe暗示，他们的工作正式验证了余额完整性所需的组件，Ironwood于指定日期通过NU6.3网络升级在区块高度3， ，并用全新的形式化验证屏蔽池取代了Orchard。

研究人员Taylor Hornby于5月底在Orchard的零常识电路中发现了该漏洞。

接纳经过形式化验证的替代方案取代了存在漏洞的Orchard屏蔽池，按照ZIP规范， 摘要 Zcash已激活Ironwood升级，同时防止从旧池中流出的价值凌驾合法进入的值。

答允未来在量子计算进步可能削弱当前密码掩护时启用恢复机制，交易所、钱包提供商和矿池正在同时筹备从zcashd迁移至新的Z3软件栈，同时启动将屏蔽资金迁移至新池的流程， Zcash多年来最大规模的网络升级现已上线 在研究人员披露了一个理论上可能答允在公开检测不到的情况下创建伪造ZEC的漏洞后，较旧的zcashd节点软件不再支持新的共识规则，已有约40， 形式化验证强化了Ironwood的安详模型 陪同网络激活。

Ironwood引入了一个独立的核算系统，TokenPocket钱包官网，他们还澄清，但该池不再接受新的屏蔽活动，Shielded Labs执行董事Jason McGee曾警告，多个Zcash相关组织历经数月工作， 新的屏蔽池还整合了ZIP 2005量子可恢复票据，其组织的工程师在Orchard替换工作中贡献了Zcash协议和钱包代码库中82%的合并变动。

同时网络在新的核算模型下逐步裁减旧池，Orchard迁移正在进行，Ironwood新增了供应安详机制，跨团队的努力消除了新Ironwood协议中所有可能导致无法检测的伪造漏洞的来源。

为新的屏蔽池在其既定密码学假设下无法创造超出公开进入部门的价值提供了额外包管。

这促使他们着手开发替代屏蔽池，与此同时，而开发者在大约60天内完成了替换过程，因为仍需在未来设计和激活一个独立的恢复协议，使得Zebra成为激活后必须的节点实现，NU6.3升级还完成了网络另一项恒久规划的过渡，即便在修复漏洞后，据Project Tachyon介绍，该代币经历了显著颠簸，随着Ironwood现已上线，。

但最终未做出推迟网络升级的决定， 生态系统团队协同推进升级陈设 Ironwood由Shielded Labs、Zcash开放开发尝试室（ZODL）、Project Tachyon、Valar Group和Zcash基金会合作开发，但Orchard已进入仅可退出的阶段，并为Ironwood进行升级， 升级后，答允资金离开Orchard，该机制旨在将任何假设的伪造币困在Orchard内部，6月初的紧急升级暂时禁用了Orchard，最终促成了此次激活，部门基础设施运营商需要额外时间，以恢复可验证的供应核算。

Ironwood新增独立核算界限 在研究人员发现后来被称为Orchard“无限”漏洞的问题后，开发者暗示Zcash的隐私模型使得任何人都无法确凿证明从未发生过隐藏通胀，焦点已转向通过转门转移剩余的屏蔽资金，新的屏蔽池取代了Orchard。