从 zkVM 到开放证明市场：RISC Zero 与 Boundless 解析

Chainfeeds 导读：

尽管当前仍存在证明生成开销较大、开发电路复杂等挑战，但 ZK 的工程可行性与落地程度已远超其他路径，成为采用度最高的可信计算框架。

文章来源：

文章作者：

Jacob Zhao

观点：

Jacob Zhao：零知识证明（ZK）的发展经历了数十年，从 1980s 的理论奠基，到 2010s 的 zk-SNARK 落地，再到 2020s 的全面产业化。其演进可分为三个阶段：首先是理论与效率突破，MIT 学者提出交互式证明，后续出现非交互式 NIZK 与 zk-SNARK，但早期依赖可信设置。随后，Zcash 将 zk-SNARK 应用于隐私支付，成为区块链的首次大规模实践，但因计算成本高昂，应用受限。第三阶段则是全面爆发，ZK Rollup 成为以太坊扩容核心路径，zk-STARK 消除了可信设置，zkEVM 与 zkVM 则推动智能合约与任意程序的可验证执行。进一步的 zkCoprocessor 将复杂计算外包，zkMarketplace 则推动证明算力市场化，ZK 开始成为区块链「可信 CPU」。在应用层面，ZK 的价值集中在三大场景：扩容（如 zkRollup、zkEVM），隐私保护（Zcash、Aztec、zkKYC），以及跨链互操作（zkBridge、轻客户端验证）。同时，它正在扩展至 AI（zkML）、金融合规（PoR、审计）、以及 GameFi、DeSci 等更广阔领域。总体来看，ZK 已从晦涩的密码学概念，成长为加密行业的核心计算与信任基石。 以太坊扩容推动了 zkEVM 的发展，但其兼容与性能间存在权衡：从完全等价的 Type 1（Taiko），到高兼容性的 Type 2（Scroll、Linea），再到部分兼容（zkSync Era）和语言级兼容（Starknet Cairo），都面临电路复杂度与证明性能瓶颈。由此，通用 zkVM 开始崛起，摆脱 EVM 依赖，走向「链无关的可信计算」。zkVM 基于通用指令集（RISC-V、LLVM IR、Wasm），可直接运行 Rust、C/C++ 等语言编译结果，提供如 RISC Zero、Succinct SP1、Delphinus zkWasm 等代表方案。RISC Zero 依托 RISC-V 的开放性与简洁性，形成了完整的产品矩阵：zkVM 作为通用可信计算环境，Steel 作为 zkCoprocessor 外包复杂逻辑，Bonsai 提供 SaaS 化证明服务，而 Boundless 则将证明进一步市场化。其逻辑链条是 zkVM → zkCoprocessor → zkMarketplace，从以太坊扩容工具进化为「普适可信计算基础设施」。这种演进为跨链验证、AI 计算与链上大规模数据处理提供了基础，标志着零知识证明进入模块化、市场化的新阶段。 RISC Zero 推出的 Boundless 协议，旨在构建通用零知识计算市场，将高成本的证明生成任务解耦并外包给去中心化的 Prover 网络。其核心创新是 Proof of Verifiable Work（PoVW），将算力转化为可验证的真实计算，避免传统 PoW 的无效消耗。Boundless 的应用包括：为 EVM 提供无限算力的 zkCoprocessor Steel，帮助以太坊合约突破 Gas 限制；为 Rollup 提供加速与安全升级的 OP Kailua，支持从乐观到 ZK Rollup 的平滑过渡；以及 The Signal，将以太坊信标链的最终性事件压缩为 ZK 证明，实现跨链互操作。2025 年 7 月，Boundless 主网 Beta 在 Base 上线，截至 8 月 18 日，累计处理 542.7 万亿计算周期、39.9 万笔订单，日均订单数突破 1.5 万，履约成功率高达 98%–100%。算力峰值超 25.9 MHz，单周期成本接近零 Wei，展现了指数级增长与成本优势。比特大陆、6block 等矿工群体正加速加入，推动产业化。其原生代币 ZKC 总量 10 亿，采用逐年递减通胀，并与 PoVW 绑定，承担质押、激励与治理功能，为 ZK 市场提供经济与安全锚点。

内容来源