過去十年，零知識證明（ZK）一路從「隱私支付的工程突破」走到「鏈上擴容的關鍵工具」。雖然 ZK 技術依舊在高速發展，但核心問題卻始終沒有被說清：ZK 的真正價值在哪裡？它究竟只是被動跟隨需求的 “性能補丁”，還是正在打開一種更有潛力的計算方式？
Boundless 的出現將這個問題重新放在了產業化層面。與其說它是另一個 zkVM，不如說它是一次「市場化的製度設計」。它把證明抽象化成一種可交易的算力：開發者提出需求，Prover（證明者）節點接單生產，價格透過逆向荷蘭式拍賣發現，交付由聚合證明與 PoVW（Proof of Verifiable Work，可驗證工作量證明）機制保障。這條路徑把儲存證明、運算證明和協處理器統一進同一條供需連結，致力補上 ZK 落地的「最後一公里」。
這種轉變背後，是 RISC Zero 的系統化佈局。從底層通用 zkVM 到上層協處理器 Steel、Rollup 升級路徑 Kailua，再到最終的 Boundless 市場，它們共同構建出一條完整的產業化通路：昂貴的執行被壓縮為廉價的驗證，零散的供給被整合為可定價的商品，應用開發者則無需重構即可直接接入。
本文將沿著一條清晰的時間軸展開：從隱私支付與 zkRollup、zkEVM，到通用 zkVM 與協處理器，再到 Boundless 完整且全面的供給與定價機制。我們重點回答三個問題：
- 為何 Boundless 有機會成為 “去中心化版的 AWS Lambda（亞馬遜推出的無需開發者自建算力、即可調用去中心化網絡完成零知識證明服務的計算平台）”，而不只是又一個 ZK 項目？
- 它如何把 ZK 從單點應用推進為跨域公共基礎設施？
- 在 DeFi、AI、RWA、合規審計等未來應用情境下，ZK 的真正落地型態是什麼？
這將是筆者對 ZK 未來最有系統、最宏觀的剖析。 Boundless 只是起點，我們想知道的是：ZK 如何成為 Web3 的下一個運算層？
作者：Jesse，Web3Caff Research 研究員
封面：Logo by Boundless，Photo by Andrew Kliatskyi on Unsplash，Typography by Web3Caff Research
字數：全文共 17600+ 字
目錄
- 引言：ZK 的十年演進與「最後一公里」困境
- 技術演進：從零知識證明到可驗證計算層
- 零知識證明的歷史演進與應用邊界
- RISC Zero：從通用 zkVM 到可驗證計算層
- 標準 VM vs. zkVM：範式的根本差異
- 現在為什麼行得通：工程棧與效能路線
- 從底層到應用：RISC Zero 的產品線如何拼合
- RISC Zero 的永續優勢
- 產品落地：Boundless 的市場化路徑與應用場景
- 把 ZK 變成 “可交易的計算層”
- 統一工作流程：從請求到完成的 “證明生命週期”
- Boundless for Rollups：Kailua 的路徑與邏輯
- Boundless for Apps：Steel 協處理器
- 小結：一條從執行到驗證的產業化通路
- 競爭格局：多賽道 ZK 協處理器的比較與差異
- Space and Time
- Brevis
- Axiom
- Succinct Prover Network
- Boundless 的差異化
- 結論：從真實需求到長期位置，ZK 的未來走向
- 要點結構圖
- 參考文獻
引言：ZK 的十年演進與「最後一公里」困境
2024 年 9 月 16 日，RISC Zero 宣布推出 Boundless，並將其定位為「可驗證計算層」（Verifiable Compute Layer）。 2025 年 7 月 15 日，RISC Zero 在 Coinbase 旗下 Layer2 網路 Base 上推出名為「Boundless」的去中心化 ZK 運算市場測試網（Mainnet Beta）。
- 該測試網已獲得以太坊基金會、Wormhole 和 EigenLayer 等機構的早期支持。測試網採用可驗證工作量證明（PoVW）機制，允許擁有高效能 GPU 的機構和個人作為 ZK 礦工參與證明驗證並獲得獎勵。參與者可透過完成不同數量、各種複雜度的證明來獲得工作獎勵。
Boundless 的核心敘事很清晰：區塊鏈並不是為高吞吐計算設計的，而是為狀態共識（State Consensus）服務的。傳統模型下，每個節點都必須確定性地重複執行每一筆交易，以確保網路狀態一致。這樣的機制保證了安全與透明，但也帶來了一個致命的限制：整個網路的速度被最慢的節點拖住，算力無法疊加。因此，區塊鏈「為共識而生而非為算力而生」這一基因，決定了性能提升若只靠加節點或加硬件，很難突破結構性上限。
這種設計的現實後果顯而易見：
- 執行能力有限：為了避免個別節點拖慢全網，協議會設定 Gas 與區塊大小上限，複雜交易往往直接被拒絕；
- 算力重複浪費：成千上萬個節點重複做同一筆計算，實際有效工作量沒有增加，卻把成本推高；
- 擴容割裂流動性：嘗試透過並行狀態機提升效能的新鏈，卻會分裂流動性池、形成資料孤島，並引入跨鏈橋風險，而非真正解決瓶頸問題。
