過去十年，零知識證明（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 與區塊大小上限，複雜交易往往直接被拒絕；
  • 算力重複浪費：成千上萬個節點重複做同一筆計算，實際有效工作量沒有增加，卻把成本推高；
  • 擴容割裂流動性：嘗試透過並行狀態機提升效能的新鏈，卻會分裂流動性池、形成資料孤島，並引入跨鏈橋風險，而非真正解決瓶頸問題。

本文共计 16524 字，订阅会员后继续查阅

Boundless 1.7 萬字研報：RISC Zero 建構的去中心化證明市場能否打通 ZK 十年演進的「最後一公里」 困境？全景式拆解其發展史、市場路徑、優缺點風險及未來前景-Web3Caff Research 外捕研究 Boundless 1.7 萬字研報：RISC Zero 建構的去中心化證明市場能否打通 ZK 十年演進的「最後一公里」 困境？全景式拆解其發展史、市場路徑、優缺點風險及未來前景-Web3Caff Research 外捕研究
个人版

年度 PRO 订阅会员

一次订阅，全年追踪解密 Web3 一线
¥1548
¥ 998
  • 市场脉搏分析栏目内容（持续更新，高效捕获市场风向异动）
  • 融资项目解密栏目内容（持续更新，结构化视角拆解新发热门融资项目）
  • 研报阅读次卡（会员有效期内可任选 6 份机构级研报解锁）
  • 会员周报（一周精华高效吸收）
  • 解锁本会员权限的栏目历史内容
  • Web3 术语悬浮释义（专业术语即时解释，新人亦轻松读报告）
  • 会员社群（与分析师、从业者、投资者等共研精进）
  • 每日内参消息推送
  • 每日精选推送
  • 图解推送（热门数据、精华图）
去开通
推荐

180 天 PRO 订阅会员

更长周期研究视角，把重要趋势真正看透
¥774
¥ 499
  • 市场脉搏分析栏目内容（持续更新，高效捕获市场风向异动）
  • 融资项目解密栏目内容（持续更新，结构化视角拆解新发热门融资项目）
  • 研报阅读次卡（会员有效期内可任选 2 份机构级研报解锁）
  • 会员周报（一周精华高效吸收）
  • 解锁本会员权限的栏目历史内容
  • Web3 术语悬浮释义（专业术语即时解释，新人亦轻松读报告）
  • 会员社群（与分析师、从业者、投资者等共研精进）
  • 每日内参消息推送
  • 每日精选推送
  • 图解推送（热门数据、精华图）
去开通

月度 PRO 订阅会员

轻量入门，快速触达一线 Web3 价值
¥ 129
  • 市场脉搏分析栏目内容（持续更新，高效捕获市场风向异动）
  • 融资项目解密栏目内容（持续更新，结构化视角拆解新发热门融资项目）
  • 研报阅读次卡（月度订阅会员不含机构级研报解锁权益）
  • 会员周报（一周精华高效吸收）
  • 解锁本会员权限的栏目历史内容
  • Web3 术语悬浮释义（专业术语即时解释，新人亦轻松读报告）
  • 会员社群（与分析师、从业者、投资者等共研精进）
  • 每日内参消息推送
  • 每日精选推送
  • 图解推送（热门数据、精华图）
去开通