跳到主要内容

Boundless by RISC Zero：去中心化证明市场能否解决 ZK 的 9700 万美元瓶颈？

· 阅读需 11 分钟
Dora Noda
Dora Noda
Software Engineer

零知识卷集（ZK Rollups）曾被认为是区块链扩容的未来。然而，它们却成了价值 9700 万美元的中心化证明者（prover）市场的“人质”，少数公司从中榨取了 60-70% 的费用，而用户却在为本应几秒钟内完成的证明等待数分钟。

Boundless 是 RISC Zero 旗下的去中心化证明市场，于 2025 年 9 月在主网上线，声称已经破解了这一难题。通过将 ZK 证明生成转变为一个 GPU 运营商竞争工作的开放市场，Boundless 承诺让可验证计算变得“与执行一样廉价”。但是，一个由代币激励的网络真的能打破让 ZK 技术昂贵且难以触及的中心化死循环吗？

十亿美元的瓶颈：为什么 ZK 证明仍然如此昂贵​

零知识卷集的愿景非常优雅：在链下执行交易，生成正确执行的加密证明，并以极低的成本在以太坊（Ethereum）上验证该证明。理论上，这将以不到一美分的交易成本提供以太坊级别的安全性。

现实却更加混乱。

在高端 A100 GPU 上，为一批 4000 笔交易生成单个 ZK 证明需要 2 到 5 分钟，仅云计算费用就达 0.04 到 0.17 美元。这还没有考虑到运行可靠证明服务所需的专用软件、工程专业知识和冗余基础设施。

结果如何？超过 90% 的 ZK-L2 依赖于少数几个“证明者即服务”（prover-as-a-service）提供商。这种中心化恰恰引入了区块链旨在消除的风险：审查、MEV 提取、单点故障以及 Web2 式的租金提取。

技术挑战​

瓶颈不在于网络拥塞，而在于数学本身。ZK 证明依赖于椭圆曲线上的多标量乘法（MSM）和数论变换（NTT）。这些操作与使 GPU 在 AI 工作负载中表现卓越的矩阵数学有本质不同。

经过多年的 MSM 优化，NTT 现在占据了 GPU 上证明生成延迟的 90%。密码学界在单纯的软件优化上已经遇到了边际效用递减。

Boundless 登场：开放的证明市场​

Boundless 试图通过将证明生成与区块链共识完全解耦来解决这个问题。Boundless 不再让每个卷集运行自己的证明者基础设施，而是创建了一个市场：

  1. 请求者（Requestors）：提交证明请求（来自任何链）
  2. 证明者（Provers）：使用 GPU 和通用硬件竞争生成证明
  3. 结算（Settlement）：在请求者指定的目的链上进行

其核心创新是“可验证工作证明”（Proof of Verifiable Work, PoVW）——一种奖励机制，奖励证明者生成有用的 ZK 证明，而不是像比特币挖矿那样生成无用的哈希。每个证明都带有加密元数据，证明其投入了多少计算量，从而创建透明的工作记录。

实际运作方式​

在底层，Boundless 构建在 RISC Zero 的 zkVM 之上。zkVM 是一种零知识虚拟机，可以执行为 RISC-V 指令集编译的任何程序。这意味着开发者可以使用 Rust、C++ 或任何可编译为 RISC-V 的语言编写应用程序，然后生成正确执行的证明，而无需学习专门的 ZK 电路。

其三层架构包括：

  • zkVM 层：执行任意程序并生成 STARK 证明
  • 递归层：将多个 STARK 聚合为紧凑证明
  • 结算层：将证明转换为 Groth16 格式，以便在链上进行验证

这种设计使 Boundless 能够生成足够小（约 200KB）的证明，以便经济地进行链上验证，同时支持复杂的计算。

ZKC 代币：通过挖掘证明而非哈希​

Boundless 推出了 ZK Coin (ZKC) 作为其证明市场的原生代币。与典型的效用代币不同，ZKC 是通过证明生成来主动挖掘的——证明者根据他们贡献的计算工作量赚取 ZKC 奖励。

代币经济学概览​

  • 总供应量：10 亿 ZKC（第一年通胀率为 7%，到第八年逐渐降至 3%）
  • 生态系统增长：41.6% 分配给采用计划
  • 战略合作伙伴：21.5%，包含 1 年锁定期和 2 年归属期
  • 社区：8.3% 用于代币销售和空投
  • 当前价格：约 0.12 美元（较 0.29 美元的 ICO 价格有所下降）

这种通胀模型引发了争论。支持者认为，持续的排放对于激励健康的证明者网络是必要的。批评者则指出， 7% 的年通胀率会产生持续的抛压，即使在网络增长的情况下，也可能限制 ZKC 的价值增值。

市场动荡​

ZKC 的头几个月并不顺利。2025 年 10 月，韩国交易所 Upbit 将该代币列为“投资警告”，引发了 46% 的价格暴跌。在 Boundless 澄清其代币经济学后，Upbit 取消了警告，但这一事件突显了与新兴市场挂钩的基础设施代币的波动风险。

主网现状：谁在真正使用 Boundless？​

自 2025 年 7 月在 Base 上启动主网测试版以及 9 月发布正式主网以来，Boundless 已获得了显著的集成：

Wormhole 集成​

Wormhole 正在集成 Boundless，以为以太坊共识添加 ZK 验证，使跨链传输更加安全。Wormhole NTT (原生代币传输) 现在不再仅仅依赖多签守护者，还可以为需要密码学保证的用户提供可选的 ZK 证明。

Citrea 比特币 L2​

Citrea 是由 Chainway Labs 构建的比特币 Layer-2 zk-rollup，它使用 RISC Zero 的 zkVM 生成有效性证明，并通过 BitVM 发布到比特币网络。这在利用 BTC 进行结算和数据可用性的同时，实现了比特币上等同于 EVM 的可编程性。

Google Cloud 合作伙伴关系​

通过其可验证 AI 计划 (Verifiable AI Program)，Boundless 与 Google Cloud 合作实现了由 ZK 驱动的 AI 证明。开发者可以构建能够证明 AI 模型输出而无需泄露输入的应用程序 —— 这是保护隐私的机器学习的一项关键功能。

Stellar 桥接​

2025 年 9 月，Nethermind 为 Stellar zk Bridge 集成部署了 RISC Zero 验证器，实现了 Stellar 低成本支付网络与以太坊安全保证之间的跨链证明。

竞争对手：Succinct SP1 与 zkVM 之战​

Boundless 并不是唯一一家竞相解决 ZK 可扩展性问题的参与者。Succinct Labs 的 SP1 zkVM 已成为主要竞争对手，引发了两支团队之间的基准测试之战。

RISC Zero 的主张​

RISC Zero 声称，配置得当的 zkVM 部署 “比 SP1 便宜至少 7 倍”，对于小型工作负载，成本最高可降低 60 倍。他们指出其证明尺寸更小，且 GPU 利用率更高。

Succinct 的回应​

Succinct 反驳称，RISC Zero 的基准测试 “误导性地将 CPU 性能与 GPU 结果进行了比较”。其 SP1 Hypercube 证明器声称能以约 2 分钟的延迟实现 0.02 美元的证明成本 —— 尽管它目前仍是闭源的。

独立分析​

分布式资本 (Fenbushi Capital) 的一项对比发现，RISC Zero 在 “GPU 环境下的所有基准测试类别中均表现出卓越的速度和效率”，但也指出 SP1 在开发者采用方面表现出色，为 Celestia 的 Blobstream 等项目提供支持，其保护的总价值 (TVL) 达 31.4 亿美元，而 RISC Zero 为 2.39 亿美元。

真正的竞争优势可能不在于原始性能，而在于生态系统锁定。Boundless 计划支持包括 SP1、ZKsync 的 Boojum 和 Jolt 在内的竞争对手 zkVM —— 将其自身定位为协议无关的证明市场，而非单一供应商解决方案。

2026 路线图：Boundless 的下一步计划​

RISC Zero 为 Boundless 制定的路线图包括几个宏伟目标：

生态系统扩张 (2025 Q4 - 2026)​

  • 将 ZK 证明支持扩展到 Solana
  • 通过 BitVM 集成比特币
  • 部署更多 L2

混合 Rollup 升级​

最重要的技术里程碑是将 Optimistic Rollup (如 Optimism 和 Base 链) 过渡到使用有效性证明，以实现更快的终局性。与其等待 7 天的欺诈证明窗口，OP 链可以在几分钟内完成结算。

多 zkVM 支持​

路线图中包含了对竞争对手 zkVM 的支持，允许开发者在不离开市场的情况下，在 RISC Zero、SP1 或其他证明系统之间切换。

完成去中心化​

RISC Zero 于 2025 年 12 月停止了其托管证明服务，强制所有证明生成通过去中心化的 Boundless 网络进行。这标志着对去中心化命题的重大承诺 —— 但也意味着网络的可靠性现在完全取决于独立的证明者。

大局观：去中心化证明会成为标准吗？​

Boundless 的成功取决于一个根本性的赌注：证明生成将像云计算那样商品化。如果这一论点成立，拥有最高效的证明器网络就不如拥有最大且流动性最强的市场重要。

几个因素支持这一观点：

  1. 硬件商品化：来自 Cysic 等公司的 ZK 专用 ASIC 承诺将能效提高 50 倍，可能降低准入门槛。
  2. 证明聚合：像 Boundless 这样的网络可以批量处理来自多个应用程序的证明，从而分摊固定成本。
  3. 跨链需求：随着更多区块链采用 ZK 验证，对证明生成的需求可能会超过任何单一供应商的能力。

但风险依然存在：

  1. 中心化蔓延：由于规模经济有利于大型运营商，早期的证明器网络往往趋于集中。
  2. 代币依赖：如果 ZKC 价格崩溃，证明者的激励就会消失 —— 可能导致死亡螺旋。
  3. 技术复杂性：运行具有竞争力的证明器需要大量的专业知识，这在实践中可能会限制去中心化程度。

这对开发者意味着什么​

对于考虑集成 ZK 的构建者来说，Boundless 代表了一个务实的中道方案：

  • 无需基础设施开销：通过 API 提交证明请求，无需运行自己的证明器。
  • 多链结算：一次生成证明，在任何支持的链上进行验证。
  • 语言灵活性：使用 Rust 或任何兼容 RISC-V 的语言编写，无需学习 ZK DSL (领域专用语言)。

其代价是依赖于一个由代币激励的网络，该网络的长期稳定性仍有待验证。对于生产级应用，许多团队可能更倾向于在测试网和实验阶段使用 Boundless，同时为关键工作负载保留备用的证明器基础设施。

结论​

Boundless 代表了迄今为止解决 ZK 中心化问题最雄心勃勃的尝试。通过将证明生成转变为由 ZKC 代币激励的开放市场，RISC Zero 正押注竞争将比任何单一供应商单独实现的速度更快地降低成本。

主网的发布、与 Wormhole 和 Citrea 的重大整合，以及对支持竞争对手 zkVM 的承诺，都展示了其强大的技术能力。但通胀的代币经济学、交易所的波动性以及大规模下未经证实的去中心化程度，仍留下了重要的未解之谜。

对于 ZK 生态系统而言，Boundless 的成败将预示着去中心化基础设施是否能够与中心化的效率相竞争 —— 或者区块链行业的扩展未来是否仍掌握在少数资金雄厚的证明者服务商手中。

正在构建需要在多个链上进行 ZK 验证的应用程序？ BlockEden.xyz 为 Ethereum、Base 和 20 多个网络提供企业级 RPC 端点和 API —— 这是你的跨链 ZK 应用程序所需的可靠连接层。

Share on Twitter