作者：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、Mnbxi、Feamushi Capital、Delfero、FBC DBC（Tirk、FBC） 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 為代表的去中心化證明市場，零知識證明正在加速商品化與基礎設施化。對投資人與開發者而言，目前或許仍是驗證期，但它孕育下一輪產業週期的核心機會。

免責聲明：本文部分內容包含AI 輔助創作，本人已盡力確保資料與資訊的真實與準確，如有偏差或疏漏，敬請諒解。本文僅供研究與參考之用，不構成任何投資建議、邀約或其他形式的金融服務。請注意，代幣及相關數位資產價格存在高度風險與劇烈波動，讀者在做出投資決策前應自行審慎判斷並承擔全部風險。