资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
Zcash完成Ironwood网络升级，以形式化验证方案替代存在漏洞的Orchard屏蔽池
Zcash已正式激活Ironwood网络升级，采用经过形式化验证的替代方案取代了存在漏洞的Orchard屏蔽池，旨在防止无法被检测到的伪造行为，同时启动将屏蔽资金迁移至新池的流程。
摘要
Zcash已激活Ironwood升级，并用全新的形式化验证屏蔽池取代了Orchard。Ironwood新增了供应安全机制，而Orchard目前仅支持资金提取。研究人员完成了一项机器验证的证明，确认在其设计假设下，Ironwood无法产生无法被检测到的伪造ZEC。已有超过40,000枚ZEC迁移至Ironwood，而约360万枚ZEC仍留在Orchard中。
据Project Tachyon与Zcash开发团队介绍，Ironwood于指定日期通过NU6.3网络升级在区块高度3,428,143处按计划激活。此次升级引入了一个全新的屏蔽池，开发者表示，在Orchard相关问题引发担忧后，这一新池恢复了人们对Zcash供应完整性的信心。
Zcash多年来最大规模的网络升级现已上线
在研究人员披露了一个理论上可能允许在公开检测不到的情况下创建伪造ZEC的漏洞后，多个Zcash相关组织历经数月工作，最终促成了此次激活。虽然Ironwood现已激活，但Orchard已进入仅可退出的阶段。用户仍可自行决定从旧屏蔽池中提取资金，但该池不再接受新的屏蔽活动。来自Zcash迁移追踪器的数据显示，已有约40,207枚ZEC迁移至Ironwood，而仍有近360万枚ZEC留在Orchard中等待迁移。
升级后，ZEC价格一度下跌约9%至460美元左右，随后回升至约475美元。在Orchard漏洞公开后，该代币经历了显著波动，价格一度从去年9月的约45美元跌去一半以上，随后反弹至年底的近700美元。
Ironwood新增独立核算边界
在研究人员发现后来被称为Orchard“无限”漏洞的问题后，新的屏蔽池取代了Orchard。据Shielded Labs称，研究人员Taylor Hornby于5月底在Orchard的零知识电路中发现了该漏洞。开发者表示，该问题理论上可能允许攻击者在无法被立即检测到的情况下铸造伪造ZEC，但他们也指出未发现该漏洞曾被利用的证据。6月初的紧急升级暂时禁用了Orchard，随后开发者通过NU6.2硬分叉部署了修正后的电路代码。即便在修复漏洞后，开发者表示Zcash的隐私模型使得任何人都无法确凿证明从未发生过隐藏通胀，这促使他们着手开发替代屏蔽池，而非仅仅依赖修复后的Orchard实现。
Ironwood引入了一个独立的核算系统，拥有自己的票据承诺树、无效集合和链上价值池，使节点能够独立追踪新的屏蔽池。根据项目的技术文档，该升级还安装了一个称为“转门”的公开核算检查点，允许资金离开Orchard，同时防止从旧池中流出的价值超过合法进入的值。开发者表示，该机制旨在将任何假设的伪造币困在Orchard内部，同时允许独立验证Zcash的流通供应量是否继续遵守网络2100万枚ZEC的发行上限。
形式化验证强化了Ironwood的安全模型
伴随网络激活，Project Tachyon宣布研究人员完成了一项涵盖Ironwood余额完整性的机器验证数学证明，为新的屏蔽池在其既定密码学假设下无法创造超出公开进入部分的价值提供了额外保证。据Project Tachyon介绍，该证明使用Lean编程语言编写，由三个研究和密码学团队历时一个多月完成，包含超过2,700个定理。研究人员表示，他们的工作正式验证了余额完整性所需的组件，包括Ironwood的零知识证明系统、电路规则和账本级核算。他们还澄清，该验证不涉及Ironwood独立的隐私保障。对此，Zcash联合创始人Sean Bowe表示，跨团队的努力消除了新Ironwood协议中所有可能导致无法检测的伪造漏洞的来源。
新的屏蔽池还整合了ZIP 2005量子可恢复票据，允许未来在量子计算进步可能削弱当前密码保护时启用恢复机制。根据ZIP规范，该功能并未使当前的Zcash交易具备量子安全性，因为仍需在未来设计和激活一个独立的恢复协议。
生态系统团队协同推进升级部署
Ironwood由Shielded Labs、Zcash开放开发实验室（ZODL）、Project Tachyon、Valar Group和Zcash基金会合作开发。由Zcash创始人Zooko Wilcox联合创立的Shielded Labs最初提议在漏洞公开后替换Orchard，以恢复可验证的供应核算。与此同时，ZODL执行董事Josh Swihart表示，其组织的工程师在Orchard替换工作中贡献了Zcash协议和钱包代码库中82%的合并变更。Swihart补充说，Orchard在五天内完成了修补，而开发者在大约60天内完成了替换过程。NU6.3升级还完成了网络另一项长期规划的过渡。根据Zcash基金会的说法，较旧的zcashd节点软件不再支持新的共识规则，使得Zebra成为激活后必需的节点实现。
在Ironwood上线网络之前，Shielded Labs执行董事Jason McGee曾警告，交易所、钱包提供商和矿池正在同时准备从zcashd迁移至新的Z3软件栈，并为Ironwood进行升级。McGee表示，部分基础设施运营商需要额外时间，但最终未做出推迟网络升级的决定。随着Ironwood现已上线，Orchard迁移正在进行，焦点已转向通过转门转移剩余的屏蔽资金，同时网络在新的核算模型下逐步淘汰旧池。
