ZK 證明市場的龍頭之爭：Succinct vs. Boundless

作者：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:

@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 大革命中，而現在，這場革命才剛剛開始。