從 zkVM 到開放證明市場：RISC Zero 與 Boundless 解析

作者：0xjacobzhao

在區塊鏈領域，密碼學是安全與信任的核心基礎。其中，零知識證明（ZK）能夠將任意複雜的鏈下計算壓縮為簡短的證明，並在鏈上高效驗證，無需依賴第三方信任，同時還能選擇性地隱藏輸入以保護隱私。憑藉高效驗證、通用性與隱私性的兼備，ZK 已成為擴容、隱私、跨鏈等多類應用的關鍵方案。儘管當前仍存在證明生成開銷較大、開發電路複雜等挑戰，但 ZK 的工程可行性與落地程度已遠超其他路徑，成為採用度最高的可信計算框架。

一、ZK 賽道的發展歷程

零知識證明（ZK）技術的發展並非一蹴而就，而是經歷了長達數十年的理論積累與工程探索。整體可以劃分為以下幾個關鍵階段：

1. 理論奠基與技術突破期（1980s--2010s） ZK 概念由 MIT 學者 Shafi Goldwasser、Silvio Micali 和 Charles Rackoff 提出，最初停留在交互式證明理論。2010s 隨著 非交互式零知識證明（NIZK） 與 zk-SNARK 出現，證明效率大幅提升，但早期仍依賴可信設置。

2. 區塊鏈應用（2010s 末期） Zcash 將 zk-SNARK 引入隱私支付，首次實現大規模區塊鏈落地。但受限於證明生成開銷高昂，實際落地場景依然較為有限。

3. 爆發式增長與擴展（2020s 至今）這一時期 ZK 技術全面進入產業主流：

• ZK Rollup：通過鏈下批量計算及鏈上證明，實現高吞吐與安全繼承，成為 Layer2 擴容核心路徑。
• zk-STARKs：StarkWare 推出 zk-STARK，消除可信設置，提升透明性與擴展性。
• zkEVM：Scroll、Taiko、Polygon 等團隊致力於 EVM 字節碼級證明與現有 Solidity 應用無縫遷移。
• 通用 zkVM：RISC Zero、Succinct SP1、Delphinus zkWasm 等支持任意程序可驗證執行，把 ZK 從擴容工具拓展為「可信 CPU」。
• zkCoprocessor 將 zkVM 封裝為協處理器，支持複雜邏輯外包（如 RISC Zero Steel、Succinct Coprocessor）；
• zkMarketplace 則市場化證明算力，形成去中心化 prover 網絡（如 Boundless），推動 ZK 成為普適計算層。

至今，ZK 技術已從晦澀的密碼學概念，成長為區塊鏈基礎設施中的核心模塊。它不僅支撐擴容與隱私保護，更在跨鏈互操作、金融合規、人工智能（ZKML）等前沿場景中展現出戰略價值。隨著工具鏈、硬體加速與證明網絡的持續完善，ZK 生態正快速走向規模化與普適化。

二、ZK 技術應用全景：擴容、隱私與互操作

擴容（Scalability）、隱私（Privacy）與互操作與數據證明（Interoperability \& Data Integrity）是當下 ZK 「可信計算」技術的三大基礎場景，對應區塊鏈性能不足、隱私缺失與多鏈互信的原生痛點

• 擴容（Scalability） 是 ZK 最早落地、也是應用最廣的場景。其核心思想是將交易執行移到鏈下，再用簡短的證明在鏈上驗證，從而在不犧牲安全性的前提下顯著提升 TPS、降低成本。典型路徑包括：zkRollup（zkSync、Scroll、Polygon zkEVM），通過批量交易壓縮實現擴容；zkEVM，在 EVM 指令級別構建電路，實現以太坊原生兼容；以及更通用的 zkVM（RISC Zero、Succinct），支持任意邏輯的可驗證外包。
• 隱私保護（Privacy） 旨在證明交易或行為的合法性，同時避免暴露敏感數據。典型應用包括：隱私支付（Zcash、Aztec），保證資金轉移有效性而不公開金額與對手方；隱私投票與 DAO 治理，在不洩露投票內容的情況下完成治理；以及 隱私身份 /KYC（zkID、zkKYC），僅證明「符合條件」，而不披露額外信息。
• 互操作與數據證明（Interoperability \& Data Integrity） 則是 ZK 技術解決「多鏈世界」信任問題的關鍵路徑。通過生成另一條鏈狀態的證明，跨鏈交互可擺脫中心化中繼。典型形式包括 zkBridge（跨鏈狀態證明）與 輕客戶端驗證（在目標鏈上高效驗證源鏈區塊頭），代表項目有 Polyhedra、Herodotus 等。同時，ZK 也被廣泛用於 數據與狀態證明，如 Axiom、Space and Time 的 zkQuery/zkSQL，或 IoT 與存儲場景的數據完整性驗證，確保鏈下數據可信上鏈。

在這三大基礎場景之上，未來 ZK 技術有機會逐漸延伸至更廣闊的行業應用：包括 AI（zkML），為模型推理或訓練生成可驗證證明，實現「可信 AI」；金融合規，如交易所儲備證明（PoR）、清算與審計，降低信任成本；以及 遊戲與科學計算，在 GameFi 或 DeSci 中確保邏輯與實驗結果的真實性。本質上，它們都是「可驗證計算 + 數據證明」在不同行業的落地擴展。

三、超越 zkEVM: 通用 zkVM 與證明市場的崛起

以太坊創始人 Vitalik 在 2022 年提出的 ZK-EVM 四類分類（Type 1--4），揭示了 兼容性與性能之間的權衡：

• Type 1（完全等價）：字節碼與以太坊 L1 完全一致，遷移成本最低，但證明最慢。代表項目：Taiko。
• Type 2（完全兼容）：保持高度 EVM 等價，僅做極少底層優化，兼容性最強。代表項目：Scroll、Linea。
• Type 2.5（準兼容）：小幅修改 EVM（如 gas 成本、預編譯支持），犧牲少量兼容性換取性能提升。代表項目：Polygon zkEVM、Kakarot（運行在 Starknet 上的 EVM）。
• Type 3（部分兼容）：對底層修改更徹底，能跑大多數應用，但無法完全復用以太坊基礎設施。 代表項目：zkSync Era。
• Type 4（語言級兼容）：放棄字節碼兼容，直接從高級語言編譯至 zkVM，性能最佳但需重建生態。代表項目：Starknet（Cairo）。

這一階段的主題是「zkRollup 戰爭」，目標在於緩解以太坊的執行瓶頸。但隨之暴露出兩大局限：一是 EVM 電路化難度高、證明效率受限，二是 ZK 的潛力遠超擴容，可延伸至跨鏈驗證、數據證明甚至 AI 計算。

在此背景下，通用 zkVM 崛起，取代 zkEVM 的「以太坊兼容思維」，轉向「鏈無關的可信計算」。zkVM 基於通用指令集（如 RISC-V、LLVM IR、Wasm），支持 Rust、C/C++ 等語言，允許開發者用成熟生態庫構建任意應用邏輯，再通過證明在鏈上驗證。RISC Zero（RISC-V）、Delphinus zkWasm（Wasm）即為典型代表。其意義在於：zkVM 不只是以太坊的擴容工具，而是 ZK 世界的「可信 CPU」。

• RISC-V 路線：以 RISC Zero 為代表，直接選擇開放通用指令集 RISC-V 作為 zkVM 的執行內核。優點是生態開放、指令集簡潔、易於電路化，能夠承接 Rust、C/C++ 等主流語言編譯結果，適合做「通用 zkCPU」。缺點是與以太坊字節碼沒有天然兼容，需要通過協處理器模式嵌入。
• LLVM IR 路線：以 Succinct SP1 為代表：前端用 LLVM IR 兼容多語言，後端仍基於 RISC-V zkVM，本質是「LLVM 前端 + RISC-V 後端」，比純 RISC-V 模式更通用，但 LLVM IR 指令複雜，證明開銷更大。
• Wasm 路線：以 Delphinus zkWasm 為代表。WebAssembly 生態成熟，開發者熟悉度高，且天然跨平台，但 Wasm 指令集相對複雜，證明性能受限。

進一步的演進中，ZK 技術正走向 模塊化與市場化。首先，zkVM 提供了通用可信的執行環境，相當於零知識計算的「CPU/ 編譯器」，為應用提供底層的可驗證計算能力。在此之上，zk-coprocessor 將 zkVM 封裝為協處理器，使 EVM 等鏈能夠將複雜計算任務外包到鏈下執行，並通過零知識證明回鏈驗證，典型案例包括 RISC Zero Steel 與 Lagrange，其角色可類比為「GPU/ 協處理器」。 再進一步，zkMarketplace 則通過去中心化網絡實現證明任務的市場化分發，全球 prover 節點通過競價完成任務，如 Boundless ，即是構建零知識計算的算力市場。

由此，零知識技術棧逐步呈現出從 zkVM → zk-coprocessor → zkMarketplace 的演進鏈條。這一體系標誌著零知識證明從單一的以太坊擴容工具，進化為 通用可信計算基礎設施。而這一演進鏈條中，以 RISC-V 作為 zkVM 內核的 RISC Zero，在「開放性、可電路化效率、生态适配」之間做了最優平衡。使得它既能提供低門檻的開發體驗，又能通過 Steel、Bonsai、Boundless 等擴展層，將 zkVM 演進為 zk-coprocessor 與去中心化證明市場，從而打開更廣闊的應用空間。

四、RISC Zero 的技術路徑與生態版圖

RISC-V 是一種開放、免版稅的指令集架構，不受單一廠商控制，具備天然的去中心化特質。RISC Zero 依託這一開放架構，構建出兼容 Rust 等通用語言的 zkVM，突破了以太坊生態內 Solidity 的局限，使開發者能夠直接將標準 Rust 程序編譯為可生成零知識證明的應用。這種路徑讓 ZK 技術的應用範圍從區塊鏈合約擴展到更廣闊的通用計算領域。

RISC0 zkVM：通用可信計算環境

與需要兼容複雜 EVM 指令集的 zkEVM 項目不同，RISC0 zkVM 基於 RISC-V 架構，設計更為開放和通用。其應用由 Guest Code 構成並編譯為 ELF 二進制文件，Host 通過 Executor 運行並記錄執行過程（Session），Prover 隨後生成可驗證的 Receipt，其中包含公開輸出（Journal）與加密證明（Seal）。第三方僅需驗證 Receipt，即可確認計算正確性，而無需重複執行。

2025 年 4 月發布的 R0VM 2.0 標誌著 zkVM 進入實時時代：以太坊區塊證明時間由 35 分鐘縮短至 44 秒，成本降低最高 5 倍，用戶內存擴展至 3GB，支持更複雜的應用場景。同時新增 BN254 與 BLS12-381 兩個關鍵預編譜，全面覆蓋以太坊主流需求。更重要的是，R0VM 2.0 在安全性上引入形式化驗證，已完成大部分 RISC-V 電路的確定性驗證，目標在 2025 年 7 月實現首個 區塊級實時 zkVM（\<12 秒證明）。

zkCoprocessor Steel：鏈下計算的橋樑

zkCoprocessor 的核心理念是將複雜計算任務從鏈上卸載至鏈下執行，再通過零知識證明返回結果。智能合約只需驗證 Proof，而無需重算整個任務，從而顯著降低 Gas 成本並突破性能瓶頸。例如 RISC0 的 Steel，為 Solidity 提供外部證明接口，可以外包大規模歷史狀態查詢或跨區塊批量計算，甚至能用一個 Proof 驗證數十個以太坊區塊。

Bonsai：SaaS 化的高性能證明服務

為滿足產業級應用需求，RISC Zero 推出了 Bonsai ，官方托管的 Prover-as-a-Service 平台，通過 GPU 集群分發證明任務，讓開發者無需自建硬體即可獲得高性能證明。與此同時，RISC Zero 提供 Bento SDK，幫助開發者在 Solidity 與 zkVM 之間實現無縫交互，顯著降低 zkCoprocessor 的集成複雜度。相比之下，Boundless 通過開放市場實現去中心化證明，兩者形成互補。

RISC Zero 全產品矩陣

RISC Zero 的產品生態圍繞 zkVM 向上延展，逐步形成了覆蓋執行、網絡、市場與應用層的完整矩陣：

五、ZK 市場：信任計算的去中心商品化

零知識證明（ZK）市場將高成本、複雜的證明生成過程解耦，並轉化為去中心化、可交易的計算商品。通過全球分布的 prover 網絡，計算任務以競價方式外包，在成本與效率間動態平衡，並以經濟激勵不斷吸引 GPU 與 ASIC 參與者，形成自我強化的循環。Boundless 與 Succinct 是該賽道的代表。

5.1 Boundless：通用零知識計算市場

概念定位

Boundless 是 RISC Zero 推出的通用 ZK 協議，旨在為所有區塊鏈提供可擴展的 verifiable compute 能力。其核心在於將證明生成與區塊鏈共識解耦，並通過去中心化市場機制分發計算任務。開發者提交證明請求後，Prover 節點通過去中心化的激勵機制競爭執行，並憑藉「可驗證工作量證明（Proof of Verifiable Work）」獲得獎勵。不同於傳統 PoW 的無意義算力消耗，Boundless 將算力轉化為真實應用的 ZK 結果，使計算資源具備實際價值。

架構與機制

Boundless 市場的工作流程包括：

• 請求提交：開發者提交 zkVM 程序與輸入至市場；
• 節點競價：Prover 節點評估任務並出價，鎖定任務後獲得執行權；
• 證明生成與聚合：複雜計算被拆解為子任務，每個子任務生成 zk-STARK 證明，再通過遞歸與聚合電路壓縮為統一的終極證明，大幅降低鏈上驗證成本；
• 跨鏈驗證：Boundless 在多條鏈上提供統一驗證接口，實現一次構建、跨鏈復用

這種架構使智能合約無需重複執行複雜計算，僅需驗證簡短證明即可完成確認，從而突破 Gas 上限與區塊容量限制。

生態與應用： 作为市场层协议，Boundless 与 RISC Zero 其他产品互补：

• Steel：EVM 的 ZK Coprocessor，可将 Solidity 复杂执行迁移到链下并回链验证；
• OP Kailua：为 OP Stack 链提供 ZK 升级路径，实现更高安全性与更快终结性。

Boundless 的目标是在以太坊实现亚 12 秒实时证明，路径包括 FRI 优化、多项式并行化及 VPU 硬件加速。随着节点和需求增长，Boundless 将形成自增强算力网络，不仅降低 Gas 成本，还将开启链上可验证 AI、跨链流动性与无限计算等新应用场景。

5.2 Boundless for Apps：突破 Gas 限制

Boundless for Apps 旨在為以太坊和 L2 應用提供「無限算力」，將複雜邏輯卸載到去中心化證明網絡執行，再以 ZK 證明回鏈驗證。其優勢包括：無限執行、恆定 Gas 成本、兼容 Solidity/Vyper、跨鏈原生支持。

其中 Steel 作為 EVM 的 ZK Coprocessor，讓開發者能夠在 Solidity 合約中實現大規模狀態查詢、跨區塊計算與事件驅動邏輯，並通過 R0-Helios 輕客戶端實現 ETH 與 OP Stack 的跨鏈數據驗證。目前已有包括 EigenLayer 在內的項目探索集成，展現其在 DeFi 與多鏈交互中的潛力。

Steel：EVM 的可擴展計算層

Steel 的核心目標是突破以太坊在 Gas 上限、單區塊執行、歷史狀態訪問等方面的限制，將複雜邏輯遷移至鏈下，再通過零知識證明回鏈驗證。在保證安全性的同時，以恆定驗證開銷提供近乎無限的算力支持。

在 Steel 2.0 中，開發者可利用三大能力擴展合約設計空間：

• 事件驅動邏輯：直接以 Event logs 為輸入，避免依賴中心化 indexer；
• 歷史狀態查詢：訪問自 Dencun 升級以來任意區塊的存儲槽或賬戶餘額；
• 跨區塊計算：執行跨多個區塊的運算（如移動平均、累積指標），並以單個證明提交鏈上。

這一設計顯著降低了成本，Steel 的出現，使得原本受限於 EVM 的應用（如高頻計算、狀態回溯或跨區塊邏輯）得以落地，並逐步成為連接鏈下計算與鏈上驗證的關鍵橋樑。

5.3 Boundless for Rollups：ZK 驅動的 Rollup 加速方案

Boundless for Rollups 通過去中心化證明網絡，為 OP Stack 等二層鏈提供更快、更安全的結算路徑。其核心優勢體現在：

• 加速終結性：將 7 天的結算時間縮短約 3 小時（Hybrid 模式）或 \<1 小時（Validity 模式）；
• 更強安全性：通過 ZK Fraud Proof 與 Validity Proof 漸進式升級，提供密碼學級安全
• 去中心化演進：依托分布式 Prover 網絡與低抵押需求，快速邁向 Stage 2 去中心化；
• 原生可擴展性：在高吞吐鏈上保持穩定性能與可預測成本。

OP Kailua：為 OP 鏈提供 ZK 升級路徑

作為 Boundless for Rollups 的核心方案，OP Kailua 由 RISC Zero 推出，專為基於 Optimism 的 Rollup 設計，使團隊能夠在 性能與安全性 上超越傳統 OP 架構。

Kailua 提供兩種模式，支持漸進式升級：

• Hybrid 模式（ZK Fraud Proof）：用 ZK Fraud Proof 替代多輪交互式 Fault Proof，大幅降低爭議解決複雜度和成本。證明費用由作惡方承擔，最終性縮短至約 3 小時。
• Validity 模式（ZK Validity Proof）：直接轉型為 ZK Rollup，利用零知識有效性證明徹底消除爭議，實現 \<1 小時最終性，並提供最高級別的安全性。

Kailua 支持 OP 鏈從樂觀 → 混合 → ZK Rollup 的平滑升級，符合 Stage 2 去中心化要求，降低了升級門檻並提升高吞吐場景的經濟性。在保持現有應用與工具鏈連續性的同時，OP 生態可逐步獲得快速最終性、更低質押成本和更強安全性。Eclipse 已借助 Kailua 實現 ZK Fraud Proof，加速升級；BOB 則完成向 ZK Rollup 的轉型。

5.4 The Signal：跨鏈互操作的 ZK 信號層

定位與機制

The Signal 是 Boundless 推出的核心應用 ------ 一個開源 ZK 共識客戶端。它將以太坊信標鏈的最終性事件壓縮為單個零知識證明，任何鏈或合約都能直接驗證該證明，從而實現無需多簽或預言機的信任最小化跨鏈交互。其價值在於賦予以太坊最終狀態「全球可讀性」，為跨鏈流動性與邏輯交互奠定基礎，並顯著降低冗餘計算和 Gas 成本。

運行機制

• Boost The Signal：用戶可通過提交證明請求來「增強信號」，所有 ETH 直接用於請求新的證明，延長信號持續時間，惠及所有鏈與應用。
• Prove The Signal：任何人都可運行 Boundless Prover 節點，生成以太坊區塊的 ZK 證明並廣播，取代傳統的多簽驗證，形成「用數學替代信任」的跨鏈共識層。
• 擴展路徑：先為以太坊最終確定區塊生成連續證明，形成「以太坊信號」；再推廣至其他公鏈，構建多鏈統一信號；最終在同一密碼學信號層上互聯，形成「共享波長」，實現無包裹資產、無中心化橋的跨鏈互操作。

目前已有 30+ 團隊參與 The Signal 推進，Boundless 市場上已聚合 1,500+ Prover 節點，競爭 0.5% 代幣激勵，任何擁有 GPU 的用戶均可無許可加入。The Signal 已在 Boundless 主網 Beta 上線，並支持基於 Base 的生產級證明請求。

六、Boundless 路線圖、主網進展與生態

Boundless 的發展遵循清晰的階段式路徑：

• Phase I -- Developer Access：面向開發者開放早期接入，提供免費證明資源，加速應用探索；
• Phase II -- Public Testnet 1：開啟公開測試網，引入雙邊市場機制，開發者與 Prover 節點在真實環境中交互；
• Phase III -- Public Testnet 2：引入市場激勵與完整經濟機制，測試自我維持的去中心化證明網絡；
• Phase IV -- Mainnet：全面主網上線，為所有鏈提供通用 ZK 計算能力。

在 2025 年 7 月 15 日，Boundless 主網 Beta 已正式上線，率先在 Base 上進入生產環境。用戶可用真實資金請求證明，Prover 節點則以無許可方式接入，單節點最多支持 100 塊 GPU 並參與競價。作為展示性應用，團隊推出了 The Signal，這一開源 ZK 共識客戶端能將以太坊信標鏈最終性事件壓縮為單個零知識證明，任何鏈與合約均可直接驗證。由此，以太坊的最終狀態實現了「全球可讀性」，為跨鏈互操作與安全結算提供基礎。

Boundless 瀏覽器的運行數據顯示，整體網絡已展現出高速增長與強大韌性。截至 2025 年 8 月 18 日，累計處理 542.7 萬億計算周期，完成 39.9 萬筆訂單，覆蓋 106 個獨立程序。單筆最大證明規模突破 1060 億計算周期（8 月 18 日），網絡算力峰值達到 25.93 MHz（8 月 14 日），均刷新了行業紀錄。從訂單履約情況看，日均訂單數在 8 月中旬一度突破 1.5 萬筆，每日算力峰值超過 40 萬億周期，展現了指數級增長態勢。同時，訂單履約成功率始終維持在 98%--100% 的高水準，證明市場機制已相當成熟。更值得注意的是，隨著 prover 競爭加劇，單周期成本已下降至接近 0 Wei，意味著網絡正進入高效、低成本的大規模計算時代。

此外，Boundless 吸引了一線礦工的積極參與。比特大陸等頭部廠商已著手研發專用 ASIC 礦機；6block、Bitfufu、原力區、Intchain、Nano Labs 等廠商加入網絡將既有礦池資源轉化為 ZK 證明計算節點，礦工群體的加入使得 Boundless 的 ZK 市場進一步邁向規模產業化階段。

七、ZK Coin 代幣經濟模型設計

ZK Coin（ZKC）是 Boundless 協議的原生代幣，也是整個網絡的經濟與安全錨點。其設計目標是構建一個可信、低摩擦、可持續擴展的零知識計算市場。ZKC 總量為 10 億枚，採用逐年遞減的通脹機制：首年年化通脹率約為 7%，逐步下降至第 8 年的 3%，並在此水平保持長期穩定。所有新發行的代幣通過 可驗證工作量證明（Proof of Verifiable Work, PoVW） 分配，確保發行直接與真實的計算任務綁定。

Proof of Verifiable Work（PoVW） 是 Boundless 的核心創新機制，它將「可驗證計算」從一種技術能力轉變為可度量、可交易的商品。傳統區塊鏈依賴所有節點的重複執行，受限於單節點算力瓶頸，而 PoVW 通過零知識證明實現單次計算、全網驗證，並引入無信任的計量體系，將計算工作量轉化為可定價的資源。由此，計算不僅能按需擴展，還能通過市場發現價格、簽訂服務合約、激勵 Prover 節點，形成需求驅動的正循環。PoVW 的引入讓區塊鏈首次擺脫算力稀缺，支持跨鏈互操作、鏈下執行、複雜計算與隱私保護等應用場景，為 Boundless 打造普適的 ZK 計算基礎設施奠定了經濟與技術雙重基礎。

代幣角色與價值捕獲

ZK Coin（ZKC） 是 Boundless 的原生代幣，也是整個網絡的經濟支柱：

• 質押抵押：Prover 必須在接單前質押 ZKC（通常 ≥10× 最大請求費用），若超時未交付則被罰沒（50% 銷毀，50% 獎勵其他 prover）。
• Proof of Verifiable Work (PoVW)：Provers 通過生成零知識證明獲得 ZKC 激勵，類似挖礦機制。獎勵分配為：75% 給 prover、25% 給協議質押者。
• 通用支付層：應用方用自身原生代幣（如 ETH、USDC、SOL）支付證明費用，但 prover 需用 ZKC 質押，因此所有證明都由 ZKC 背書。
• 治理功能：ZKC 持有者可參與 Boundless 治理，包括市場機制、zkVM 集成、基金撥款等。

代幣分配（初始供應 10 億枚）

生態增長（49%）

• 31% 生態基金：支持應用開發、開發者工具、教育與基礎設施維護；線性解鎖至第 3 年。
• 18% 戰略增長基金：用於企業級集成、BD 合作與機構 prover 集群引入；12 個月內逐步解鎖，與合作成果掛鉤。

核心團隊與早期貢獻者（23.5%）

• 20% 給核心團隊與早期貢獻者，25% 一年 cliff，剩餘 24 個月線性解鎖。
• 3.5% 分配給 RISC Zero，用於 zkVM 研發與研究基金。

投資者（21.5%）：戰略資本與技術支持者；25% 一年 cliff，剩餘兩年線性解鎖。

社區（約 6%）：社區公募與空投，增強社區參與度；公募 50% TGE 解鎖，50% 6 個月後解鎖；空投 100% TGE 解鎖。

ZKC 是 Boundless 協議的核心經濟與安全錨點，既作為抵押擔保保障證明交付，又通過 PoVW 將發行與真實工作量綁定，同時充當支付背書層承載全鏈 ZK 需求，並在治理層面賦能持幣者參與協議演進。隨著證明請求增加與懲罰銷毀機制疊加，更多 ZKC 被鎖定並退出流通，在需求增長與供給收縮的雙重作用下形成長期價值支撐。

八、團隊背景及項目融資

RISC Zero 團隊成立於 2021 年。團隊由來自 Amazon、Google、Intel、Meta、Microsoft、Coinbase、Mina Foundation、O(1) Labs 等知名科技與加密機構的工程師與創業者組成，已打造出全球首個可運行任意代碼的 zkVM，並正基於此構建通用零知識計算生態。

Jeremy Bruestle -- Co-founder \& CEO, RISC Zero

Jeremy 是一位資深技術專家與連續創業者，擁有超過二十年的系統架構與分布式計算經驗。曾任 Intel Principal Engineer、Vertex.AI 聯合創始人兼首席科學家，並在 Spiral Genetics 擔任聯合創始人及董事會成員。他於 2022 年創立 RISC Zero 並擔任 CEO，主導 zkVM 技術的研發與戰略，推動零知識證明在通用計算領域的落地。

Frank Laub -- Co-founder \& CTO, RISC Zero

Frank 長期深耕深度學習編譯器與虛擬機技術，曾在 Intel Labs 與 Movidius 從事深度學習軟體研發，也曾在 Vertex.AI、Peach Tech 等公司積累了豐富的工程經驗。自 2021 年共同創立 RISC Zero 以來，擔任 CTO，主導 zkVM 內核、Bonsai 網絡和開發者工具鏈的建設。

Shiv Shankar -- CEO, Boundless

Shiv 擁有超過十五年的科技與工程管理經驗，涉足金融科技、雲存儲、合規與分布式系統等多個領域。2025 年起擔任 Boundless CEO，領導產品與工程團隊，推動零知識證明市場化與跨鏈計算基礎設施建設。

Joe Restivo -- COO, RISC Zero

Joe 是三次成功退出的創業者與運營專家，具備豐富的組織管理與風控經驗。兩家公司先後被 Accenture 與 GitLab 收購。他在西雅圖大學商學院教授風險管理課程。2023 年加入 RISC Zero，現任 COO，負責全公司運營與規模化管理。

Brett Carter -- VP of Product, RISC Zero

Brett 具備豐富的產品管理與生態經驗。曾在 O(1) Labs 擔任高級產品經理。2023 年加入 RISC Zero，現任產品副總裁，負責產品戰略、生態應用落地以及與 Boundless 的市場對接。

在融資方面，RISC Zero 于 2023 年 7 月完成 4,000 萬美元的 A 輪融資，由 Blockchain Capital 领投，種子輪領投方 Bain Capital Crypto 繼續參投，其他投資方還包括 Galaxy Digital、IOSG、RockawayX、Maven 11、Fenbushi Capital、Delphi Digital、Algaé Ventures、IOBC、Zero Dao（Tribute Labs）、Figment Capital、a100x 與 Alchemy 等。

九、ZKVM 及 ZK 市場競品分析

目前市場上同時具備 zkVM 與 zkMarketplace 的代表性項目是 Succinct，由 SP1 zkVM 與 Succinct Prover Network (SPN) 組成。SP1 基於 RISC-V 構建，並通過 LLVM IR 前端兼容多語言；SPN 部署在以太坊上，通過 staking 與競價機制分配任務，並以 $PROVE 代幣承擔支付、激勵與安全功能。相比之下，RISC Zero 採取「雙引擎」戰略：一方面由 Bonsai 提供官方托管的 Prover-as-a-Service，高性能、穩定，面向企業級應用；另一方面通過 Boundless 構建開放的去中心化證明市場，允許任何 GPU/CPU 節點自由加入，最大化去中心化與節點覆蓋，但性能一致性相對不足。

Risc Zero 同時兼顧開放與工業化落地，而 Succinct 更聚焦於高性能與標準化路徑。

Risc Zero(zkVM + Bonsai + Boundless) 與 Succinct (SP1 zkVM + SPN) 區別與定位

RISC-V 與 Wasm 的比較

RISC-V 與 WASM 是通用 zkVM 的兩條主要路線，前者是硬體級開放指令集，規則簡潔、生態成熟，有利於電路性能優化和未來可驗證硬體加速；但與傳統 Web 應用生態結合有限。WASM 則是跨平台字節碼，天然支持多語言和 Web 應用遷移，運行時成熟，但因堆疊式架構性能上限低於 RISC-V。總體而言，RISC-V zkVM 更適合追求性能與通用計算擴展，zkWasm 則在跨語言與 Web 場景中具備優勢。

十、總結：商業邏輯、工程實現及潛在風險

ZK 技術正在從單一擴容工具演進為區塊鏈可信計算的通用基石。RISC Zero 以開放的 RISC-V 架構突破 EVM 依賴，將零知識證明擴展到通用鏈下計算，並催生了 zk-Coprocessor 與去中心化證明市場（如 Bonsai、Boundless）。它們共同構建起一個可擴展、可交易、可治理的計算信任層，為區塊鏈帶來更高性能、更強互操作性與更廣闊應用場景。

當然 ZK 賽道短期內仍面臨不少挑戰：2023 年一級市場炒作 ZK 概念見頂後，2024 年主流 zkEVM 項目上線亦消耗二級市場熱度。此外，L2 頭部團隊多採用自研 prover，跨鏈驗證、zkML、隱私計算等應用場景仍處早期，可撮合的任務有限。這意味著開放 proving marketplace 的訂單量難以支撐龐大網絡，其價值更多在於前置聚合 prover 供給，以在未來需求爆發時搶佔先機。與此同時，zkVM 雖然技術門檻低，但難以直接切入以太坊生態，未來可在鏈下複雜計算、跨鏈驗證及非 EVM 鏈對接等場景具備獨特補充價值。

總體來看，ZK 技術的演進路徑已逐漸明晰：從 zkEVM 的兼容性探索，到通用 zkVM 的出現，再到以 Boundless 為代表的去中心化證明市場，零知識證明正在加速商品化與基礎設施化。對於投資者與開發者而言，當前或許仍是驗證期，但它孕育著下一輪產業周期的核心機遇。

點擊了解 ChainCatcher 在招崗位

推薦閱讀：

交易所上幣策略轉向：DEX 發行崛起與二次上幣主導的新格局

Backroom：信息代幣化，AI 時代數據冗雜的解決方案？| CryptoSeed

對話 Saros CEO Lynn Nguyen：完成 3800 萬美元回購後，如何在 Solana DEX 賽道殺出重圍？