Zcash Halo 2与去信任化设置的转变_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

Zcash Halo 2与去信任化设置的转变

2026-10-03 19:39:00

Zcash Halo 2：无需可信设置的零知识证明

Halo 2 究竟带来了哪些改变？

Zcash Halo 2 的核心变革在于移除了对“可信设置”（Trusted Setup）的依赖。早期 Zcash 的隐私保护功能曾依赖于这一一次性秘密仪式，而 Halo 2 彻底改变了这一状况。这一变化随同 Orchard 屏蔽池于 2022 年 5 月正式上线。此后，该系统经历了真实的压力测试。

2026 年 5 月下旬，Orchard 电路中出现了一个安全漏洞，开发者随即推出了一个新的屏蔽池——Ironwood 以应对此问题。

什么是 Zcash Halo 2？

Zcash Halo 2 是支撑 Zcash Orchard 屏蔽池的零知识证明系统。它允许网络在无需进行可信设置仪式的情况下验证私密交易。该系统由 Electric Coin Company 开发，开源代码最初随 NU5 网络升级上线，如今也作为较新的 Ironwood 屏蔽池的基础架构。

什么是可信设置？为何用户对此感到担忧？

Zcash 使用一种名为 zk-SNARKs 的零知识证明系统来隐藏交易细节。零知识证明允许一方在不透露背后数据的情况下，向另一方证明某个陈述为真。

早期的 zk-SNARKs 需要一次性的可信设置过程。一组参与者创建秘密的随机值，这些值生成了网络用于验证证明的公共参数。未销毁的秘密通常被称为“有毒废料”。所有人都必须信任没有人保留这些秘密的副本。理论上，任何持有这些秘密的人都可以伪造证明并制造假币。

这种担忧伴随了 Zcash 多年。每次主要的电路升级都可能需要重新举行可信设置仪式，这导致进展缓慢。在题为《将 Halo 2 引入 Zcash》的公告中，Electric Coin Company 表示，Halo 将允许在不进行可信设置的情况下进行电路升级。这正是 Zcash Halo 2 计划的核心卖点。

Zcash Halo 2 如何移除仪式？

Halo 是一个围绕递归证明组合构建的证明系统。简单来说，一个证明可以验证另一个证明。这种结构使系统能够避免使用秘密的初始参数。

Zcash Halo 2 是该设计的第二版。它使用了一种不需要秘密设置值的承诺方法。

Halo 2 书籍涵盖的内容

该项目的《Halo2 Book》解释了其构建模块。书中首先介绍了零知识证明的概念，接着讲述了 Halo 2 使用的算术化（Arithmetization）技术。算术化 simply 意味着将计算过程编写为证明系统可以检查的方程。随后，书中涵盖了构建电路所使用的工具。

递归的重要性

递归对于扩展性同样重要。项目方表示，未来它可能支持证明聚合和缩短同步时间。但这些目前仍是既定目标，而非已交付的成果。

Zcash Halo 2 何时在网络上线？

第 5 次网络升级（NU5）在区块高度 1,687,104 处激活，推出了 Orchard 屏蔽池。屏蔽池是链上的一部分，其中的余额和转账保持加密状态。

Orchard 是第一个基于 Zcash Halo 2 构建的屏蔽池。旧的屏蔽池并未消失。下表展示了各代屏蔽池的比较：

屏蔽池名称是否需要可信设置？备注Sprout是原始设计Sapling是更快的证明，但仍需仪式Orchard否首个基于 Halo 2 构建的屏蔽池Ironwood否复用 Orchard 的 Halo 2 证明系统这一转变是渐进式的。Sprout 和 Sapling 中的资金仍受其原始设置的保护。只有较新的屏蔽池才能享受 Zcash Halo 2 的优势。

移除可信设置是否让 Zcash 免受漏洞困扰？

并非如此。可信设置风险与电路漏洞风险是两个独立的问题。Zcash Halo 2 解决了前者，但它从未承诺修复后者。

Orchard 出了什么问题？

一名安全研究人员在 Orchard 电路中发现了健全性（Soundness）缺陷。健全性意味着系统应拒绝虚假证明。如果这一缺陷被利用，攻击者可能会在未检测到的情况下制造伪装的 ZEC 代币。

Zcash 开发人员表示，他们认为被利用的可能性不大，且目前没有发现相关证据报告。紧急升级很快修补了这一电路。

除了隐私技术外，Zcash 还依赖挖矿来支持网络运营并发行新的 ZEC。然而，屏蔽数据在设计上是私密的。没有人能证明该漏洞从未被使用。这种不确定性才是真正的问题所在。

Ironwood 如何应对

Ironwood（也称为 NU6.3）于 2026 年 7 月 28 日在区块高度 3,428,143 激活。它创建了一个新的屏蔽池，并将 Orchard 锁定至新存款。

现在，资金只能通过“转门”（Turnstile）机制离开 Orchard。转门是一个检查点，将提款限额限制在可验证的存款金额内。如果 Orchard 中存在假币，它们将无法转移到新池中。

开发人员还表示，修订后的电路经过了形式化验证和审计。这一主张仍需独立的审查。Ironwood 底层仍保留 Zcash Halo 2 的证明系统，因此无设置的设计得以保持。

分析师观点

这一教训既狭窄又实用。无设置系统消除了一项信任假设，但它仍然需要仔细的电路设计、审计以及快速的应急响应计划。

项目负责人表示，补丁耗时数天，替换方案耗时约两个月。这种速度是团队的一个优势，但这并不能抹去人们对漏洞为何长期未被发现的疑问。

Zcash Halo 2 对开发者意味着什么？

代码是开源的。官方 halo2 仓库包含了用 Rust 编写的 halo2 proofs 和 halo2-gadgets crates。该项目采用 Apache 2.0 和 MIT 双重许可。

其他团队已经分叉该代码用于自己的工具。一些分叉版本替换了不同的承诺方案（如 KZG），以便在其他区块链上更便宜地验证证明。此类方案通常会将设置要求重新引入。

因此，仅凭名称并不能保证系统是无设置的。读者应仔细检查项目实际使用的是哪个版本。

读者应关注哪些风险？

Zcash Halo 2 降低了一类风险，但其他风险依然存在：

电路漏洞：审计可以降低概率，但无法完全消除风险。
迁移摩擦：Orchard 持有者必须通过支持的钱包转移资金，运行旧软件节点的机器将停止跟随主链。
不可追溯的历史：转门机制限制了损害范围，但无法逐个识别假币。
计划与交付的差异：证明聚合等扩展性目标仍处于计划阶段。
市场波动：ZEC 价格可能会因安全新闻而剧烈波动。

Zcash Halo 2：最终总结与后续检查

Zcash Halo 2 用一个无需秘密参数的证明系统取代了可信设置仪式。它随 Orchard 上线，如今也位于 Ironwood 之下。这是清晰且 documented 的部分。

Orchard 漏洞则是不确定的部分。设置问题虽然得到解决，但电路漏洞依然威胁着供应完整性。无论该漏洞是否曾被利用，都无法被证实。转门机制限制了任何隐藏代币所能造成的影响。

读者应查看官方项目更新、已发布的审计报告以及迁移进度。这些来源提供的信息比任何头条新闻都更具价值。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文