零知识证明（Zero-knowledge proofs）正在重新定义加密世界的可能性。不再只是数学实验，而是属于区块链新兴可编程基础建设的一部分，帮助区块链扩展、实现互操作性，并验证链下计算。

Succinct 和Boundles 两个团队都正在构建推动零知识证明，它们均使用zkVM（零知识虚拟机），希望能够让可验证计算变得更丰富而且随处可见，不过它们在设计上却有着明显的差异。

他们正在打造什么？与以太坊生态的未来有何关联

Succinct

Succinct 开发了SP1，这是一款透过Rust 来编写的高效能zkVM，并推出了去中心化系统Succinct Prover Network，让任何人都可以发出链下运算请求并将其证明提交到链上。

简单来说，可以把它想像成是一个透过密码学来支持的ZKP API。

• SP1 是专门为了「速度」跟「可组合性」所设计：可以执行任意Rust 程式、模拟rollup、验证签名或是扮演节点的角色。

• 整个网络是透过高效能的链下竞标系统在运作，最终会在以太坊上完成链上结算。

• 最终的成果是：延迟低、可验证的链上结果，并且让gas 的成本更低。

Boundless

Boundless 是由RISC Zero 团队所开发，推出了通用的ZK 协议层，把ZK 证明变成任何应用或是区块链都可以使用的计量型资源，所有的过程都在链上透过Boundless Market 来处理。

• 搭建于RISC Zero 的zkVM（支持Rust 和C++）

• Boundless Market 负责跨链请求协调

• 验证者会透过PoVW（Proof of Verifiable Work）来取得奖励：这是一个链上机制，根据实际完成的运算周期给付报酬奖励

• 该设计会专注在无需授权的高价值任务，像是：压缩完整以太坊共识状态、验证复杂的rollup 执行或是计算DEX 的链下价格逻辑

Boundless 的目的不单纯只是去建立一个证明网络，而是打造一层共用的ZK 基础建设，让区块链只需要验证大型计算结果，不需要亲自执行。

证明架构

Succinct（SP1 + vApp 架构）

Succinct 的系统包括：

• SP1 zkVM：基于Rust 的高效能zkVM，支持递回SNARK，可以处理rollup、签名和资料可用性（DA）跨链等复杂任务，且在以太坊上验证的gas 极低

• 链下竞标者：快速协调服务，实时为任务配对验证者

• 链上结算：在以太坊上的智能合约负责验证系统正确性。 SP1 生成整个链下状态转换的证明，包括竞标、质押与支付

• 可验证资料库：为了确保透明性，Succinct 引入了可验证资料库作为后端的核心，将链下竞标与真实证明连结

链下协调与链上保障的混合模式，可以说是Succinct 的核心技术优势。

• 专有名词补充：vApp 全名为Virtual Application，意思是「虚拟应用」。这就像是一个装着很多台虚拟电脑的资料夹，然后这些电脑会一起工作，提供某个服务。

Boundless（R0VM + Steel + Market Contracts）

Boundless 采用：

• R0VM：基于RISC Zero 的zkVM，能够执行Rust 或C++，具备类似WASM 的语言

• Steel：专门为EVM 所设计的ZK 协处理器，让开发者可以突破3,000 万gas 限制，将逻辑转移到链下执行，再提交ZK 证明到链上。 Steel 允许Solidity 合约存取历史状态、反应事件记录，并在多区块间执行

• Boundless Market Contracts：部署于各大区块链上，让开发者可以用原生gas 代币发出任务请求，并获得可验证的运算结果

关键创新- PoVW：每笔证明内包含可验证的运算周期，将会根据实际运算量而非任务数量来给付报酬奖励。

两者的协调机制与激励模式

Succinct

任务会透过链下「反向拍卖」来进行协调，竞标者出最低价者得标。验证者需质押$PROVE 作为抵押，如果违约或是提交失败会受到惩罚（扣除质押）。

奖励来源：

• 任务请求者支付的$PROVE 费用

• 代币发行（分配给验证者与其代理人）

• 支持委托：$PROVE 的持有者可以质押给验证者并共享收益，不需要自己跑节点

模式精简：每个任务只会由一名验证者处理，减少重复工作、提升效能。不过链下的运作方式也可能会带来中心化风险

Boundless

任务直接在链上发布，验证者会透过「反向荷兰拍卖」来竞标，或是直接认领无人竞标的任务。证明会在链下生成，然后合并成Merkle Tree，最后用单一Groth16 证明提交至链上。

Boundless 开创全新的激励机制PoVW，有别于传统的PoW 或PoS，这将会依据「实际完成的运算量」给予奖励。

• 专有名词补充：

  • Groth16 是一种基于密码学的零知识证明，通常会用于增强区块链的隐私性和安全性。

  • Merkle Tree 又称作哈希树，这是一种在密码学中常用的「树状资料」结构，可以高效& 安全地去验证大型资料结构的内容，并追踪资料的变更。

运作方式：

• 每笔证明包含不可更改的「周期标记」

• 每个周期结束后，Boundless 会统计全网已证明的总周期数

• 系统铸造固定量的$ZKC（原生代币），然后会根据各验证者的周期占比去分配奖励

这属于「公共效用」模型（public utility model）：开放参与、计量输出、公平透明。激励模式也会从机率或资本主导转向实际的贡献量。

生态采用状况

Succinct

SP1 zkVM 已经跟许多主流rollup 和基础建设进行整合，重点会专注在模组化rollup 基础建设，强化L2 的可验证性：

• Mantle：升级为zkRollup，透过SP1 来实现快速最终确定性和EVM 等效性

• Phala Network 2.0：使用SP1 证明TEE 计算

• Conduit、Caldera、AltLayer 等：提供基于SP1 的zk rollup 服务

• Polygon Agglayer：透过SP1 整合其zk rollup 生态

• Celestia：使用SP1 证明DA 资料，以便模组化rollup 验证Celestia 资料

Boundless

Boundless 支持数个计算密集型ZK 应用，作为高效能应用、可验证交易平台和混合型rollup 的证明引擎：

• Citrea、Build on Bitcoin：基于Bitcoin 的ZK rollup，透过Boundless 生成效能证明

• SOON：基于Solana 的rollup stack，透过Boundless 生成快速ZK fraud proof，将提款等待时间从7 天降至3 小时

• Hibachi：高效能交易所，使用Boundless 的R0VM 证明交易执行与资产偿付能力

• Malda：跨链借贷协议，结合Steel 实现链下跨链流动性聚合和复杂的价格逻辑

另外，因为这些在L1 或rollup 上的执行成本都过高，所以Boundless 也开始整合zkML 和其他计算密集型原语。

目前状况与进展

Succinct

截至2025 年中：

• SP1 zkVM 已正式上线，并支持实际整合场景。

• Succinct Prover Network 还在测试网的阶段「Stage 2.5」，正在招募验证者并透过「测试网$PROVE 点数」来举办竞赛。

• 已经累积处理超过220 万笔证明和439 兆RISC-V 运算周期。

产品roadmap：

• Stage 1：信任危机（要求证明）

• Stage 2：与我们一同证明（开放验证者加入）

• Stage 3：主网上线（$PROVE 正式启动，奖励开启）

目前未公告详细的奖励计画，但未来将回溯奖励早期的测试网参与者。目前还没开放主网质押、协调代币或排放模型的启用。

Boundless

Boundless 推出主网测试版本的ZK 共识客户端The Signal，可以实时生成以太坊状态的ZK 证明。每个区块都压缩成ZK 证明并发布到Boundless Market ，为验证者创造持续需求。

主要特点：

• 支持任务分批处理、链上拍卖、开放参与、根据运算量可验证支付

• 将扩展至其他链，目前正进行社群投票

• 启动为期五周的验证者奖励活动，发放500 万枚$ZKC（总供应量的0.5%）

奖励计算依据：

• 证明的运算周期数

• 成功率加成

• 最大有效频率（效能评分）

为了预防自我交易，只有通过审核地址的任务会被纳入计算。

验证者可以获双重奖励：来自请求人支付的费用，以及来自PoVW 发放的$ZKC。该发放将完全在链上执行、会根据每笔证明内的运算周期数分配。

总结

Succinct 跟Boundless 都为了作为ZK 基础建设的先驱之一在努力：

• Succinct 专注在建立精简、低延迟、高组合性的证明网络，核心为SP1 zkVM，特别适合L2 应用

• Boundless 则朝向通用性发展，打造全球通用的证明层，每一单位计算都被记录、验证与奖励

两者在架构、激励模式与市场策略上各有不同，但都反映出同一个趋势—— 运算的未来，是可验证的，这场「ZK 证明战争」才刚开始。

本文链接地址：https://www.wwsww.cn/jishu/33601.html
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。