作者：yyy 来源：X，@y_cryptoanalyst

相较于 @SuccinctLabs, @boundless_xyz远没有得到市场该有的关注和重视，但它跟Succinct 一样拥有成为zk 通用基建赛道的龙头的潜力，这也是我撰写这篇目前中文区全网最详细的介绍文章的初衷。

目前zk 证明市场细分赛道呼声最高的协议无疑是 @SuccinctLabs, 针对C 端玩家的邀请制星星活动使Succinct 迅速出圈。但与此同时，背靠 @RiscZero的zk 证明网络 @boundless_xyz正在崛起，这也是我认为的Succinct 在定位的细分赛道中最大的竞争对手。

这条推文来简单聊聊 @SuccinctLabs和 @boundless_xyz之间的异同点和竞争优势，赛道龙头花落谁家尚不可知。

绕不过的zkVM

无论是 @SuccinctLabs还是 @boundless_xyz，他们的技术实现都绕不过zkVM. 差异化的点在于Succinct 采用SP1 虚拟机，而Boundless 采用的是RISC 开发的R0VM 虚拟机？

那么何为zkVM？

zkVM 是零知识证明虚拟机，允许开发者证明任意基于Rust(或其他LLVM 编程语言)程序的执行。

用大白话讲，开发者基于zkVM 无需执行计算密集型的zk 证明生成过程（手动构建和优化电路），证明生成会在后台自动完成，极大地缩短了zk 证明的开发时间。

Succinct: SP1 vs. Boundless: R0VM

zkVM 虚拟机通过营造客观环境抽象零知识证明的复杂性，使得证明生成像传统计算一样简单。

Succinct 的SP1 和Boundless 的R0VM 都基于RISC-V 指令集，均支持用Rust 语言编写，自动化ZK 证明生成。且均适用于通用计算场景。

差异化：

1）底层技术原创性；

@SuccinctLabs SP1 的底层证明系统借鉴了Polygon 团队开发的模块化ZK 证明工具包Plonky3，由早在2022年初的Plonky2 迭代升级，技术成熟度更高，Succinct 相当于站在了Polygon 巨人的肩膀上；

@boundless_xyz 的R0VM 基于其母公司RISC 的自研技术，2024年6月上线R0VM 1.0 版本后，同样经过了多次技术迭代（1.1.0-1.1.2），目前迭代至最新的R0VM 2.0版本。

2）开源程度；

@SuccinctLabs SP1 宣称是首个100% 开源的zkVM. 我检索了相关资料，发现RISC 的R0VM 早期上线时是部分开源，2024年8月也宣布100%完全开源。

3）性能；

性能是zkVM 的核心指标之一，通常指的是zk 证明的生成时间、验证时间。由于这个数据比较敏感，Succinct 和Boundless 又是直接的竞争对手，他们公布的数据可能不太公允（如针对某一特定环境的测试数据等），我也没有找到中立第三方比较权威可信的数据，所以为保证客观具体的数据我就不披露了。

目前业内主流的观点认为，@SuccinctLabs SP1 在哈希密集型工作任务（如Tendermint 轻客户端验证）中表现更优，体现在生成证明时间更快上；@boundless_xyz 的R0VM 更适用于通用计算场景，在内存管理上优势明显。

SP1 的支持预编译减少了生成证明需要执行的RISC-V 指令周期数，从而加速了证明生成时间且降低了证明生成成本。但随着R0VM 2.0 版本的上线，新增了BN254 和BLS12-381 这2个主要的预编译，也将带来性能的显著提升。

什么是zk 证明市场？

zk 证明生成是 @SuccinctLabs 和 @boundless_xyz 走向大规模商业化的基础，它们的终极目标都是成为一个更高效和去中心化的zk 证明市场，将可验证计算变成一个通用的、无需信任的商品。

市场扮演的是撮合买卖双方的角色，zk 证明市场可以理解为撮合zk 证明供给方和需求方的市场。zk 证明的供给方是证明的生成者，通常为运行GPU 或其他硬件设备的运营商；zk 证明的需求方主要为有验证需求的B 端用户。

@SuccinctLabs 的证明市场供需方的撮合机制并不复杂，Succinct 网络由2类核心参与者组成：请求者（zk 证明的需求方）和证明者（zk 证明的提供方）。

Succinct 充当资金结算的中介：证明者在链上存入抵押品获得参与证明竞赛的资格，Succinct 协议先行托管请求者请求证明服务的费用；证明者通过证明拍卖的方式竞争，最终的拍卖获胜方向请求者交付zk 证明并获得对应的费用收益。整个撮合环节至此闭环。

更详细的技术架构实现机制可见 @SuccinctLabs 的官方doc:

https://docs.succinct.xyz/docs/network/architecture/components

@boundless_xyz 刚在不久前发布了白皮书，充当zk 证明市场其实现机制和@boundless_xyz 的大同小异，这里不再赘述，技术实现细节可见文末附上的Boundless 白皮书的链接。

B 端用户站队

作为备受资本青睐的通用基建类协议，@SuccinctLabs 和 @SuccinctLabs 都有他们各自核心的B 端用户群，形成了亲Succinct 派和亲RISC(Boundless)派。

亲Succinct 派：

如Cosmos, 原生集成IBC Eureka 提供zk 证明生成服务，实现IBC 跨链互操作在全球异构链网络的扩展。包括但不局限于：提供早期技术支持的Polygon, DA 层 @celestia, @AvailProject 等；

亲RISC(Boundless)派：

如ETH 再质押协议 @eigenlayer, zk 跨链互操作协议 @union_build, Bitcoin zk-Rollup @citrea_xyz 等。

总结

@boundless_xyz 和 @SuccinctLabs 的核心定位具有非常强的相似度，业务范畴的重合度也非常高。在我看来，2者之间的竞争更多的不是技术创新上的竞争，而是针对B 端用户、C 端用户的核心用户之争。

B 端的竞争势均力敌，C 端Succinct 处于明显的上风，Boundless 要补齐短板，大概率会推出类似的积分活动/ 邀请制活动，抢占C 端用户。

写在最后

如果你无法想象zk 通用证明的冰山下的潜在市场有多大，你就无法想象 @SuccinctLabs 和 @boundless_xyz 的潜在天花板有多高。

但这一切都将有迹可循，如果你现在看不懂不认可zk 证明市场的价值，只需要保持关注。

我想我们终将被卷入到这场zk 大革命中，而现在，这场革命才刚刚开始。