NEW EVENT
最新活動
OKX
幣安
HOT ARTICLES
熱門文章
Featured Articles
專題精選
本文內容摘錄自 Pink Brains，由幣研團隊編譯且整理如下
前言
零知識證明（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
BREAKING: The Provers are Coming Online.
— Succinct (@SuccinctLabs) June 26, 2025
Stage 2.5 is here. pic.twitter.com/PxrkyEfl1j
截至 2025 年中：
-
SP1 zkVM 已正式上線，並支援實際整合場景。
-
Succinct Prover Network 還在測試網的階段「Stage 2.5」，正在招募驗證者並透過「測試網 $PROVE 點數」來舉辦競賽。
-
已經累積處理超過 220 萬筆證明和 439 兆 RISC-V 運算週期。
產品 roadmap：
-
Stage 1：信任危機（要求證明）
-
Stage 2：與我們一同證明（開放驗證者加入）
-
Stage 3：主網上線（$PROVE 正式啟動，獎勵開啟）
目前未公告詳細的獎勵計畫，但未來將回溯獎勵早期的測試網參與者。目前還沒開放主網質押、協調代幣或排放模型的啟用。
Boundless
Boundless Mainnet Beta is Live.
— Boundless (@boundless_xyz) July 15, 2025
With it, we are launching The Signal: an industry-wide collaboration to ZK prove all chains.
A new era of scaling and interoperability starts now. pic.twitter.com/uo65WKmCh3
Boundless 推出主網測試版本的 ZK 共識客戶端 The Signal，可以實時生成以太坊狀態的 ZK 證明。每個區塊都壓縮成 ZK 證明並發布到 Boundless Market ，為驗證者創造持續需求。
主要特點：
-
支援任務分批處理、鏈上拍賣、開放參與、根據運算量可驗證支付
-
將擴展至其他鏈，目前正進行社群投票
-
啟動為期五週的驗證者獎勵活動，發放 500 萬枚 $ZKC（總供應量的 0.5%）
獎勵計算依據：
-
證明的運算週期數
-
成功率加成
-
最大有效頻率（效能評分）
為了預防自我交易，只有通過審核地址的任務會被納入計算。
驗證者可以獲雙重獎勵：來自請求人支付的費用，以及來自 PoVW 發放的 $ZKC。該發放將完全在鏈上執行、會根據每筆證明內的運算週期數分配。
總結
Succinct 跟 Boundless 都為了作為 ZK 基礎建設的先驅之一在努力：
-
Succinct 專注在建立精簡、低延遲、高組合性的證明網路，核心為 SP1 zkVM，特別適合 L2 應用
-
Boundless 則朝向通用性發展，打造全球通用的證明層，每一單位計算都被記錄、驗證與獎勵
兩者在架構、激勵模式與市場策略上各有不同，但都反映出同一個趨勢 —— 運算的未來，是可驗證的，這場「ZK 證明戰爭」才剛開始。
Hank
