解密RISC Zero產品矩陣：如何助力以太坊邁向ZK化未來？

在最近的 Devcon 會議上，以太坊基金會核心成員 Justin Drake 提出了 Beam Chain 提案，計劃通過 zkSNARK 和 zkVM 技術升級以太坊共識層，以提升網絡的可擴展性、安全性和效率。這一願景也讓 zkVM 的重要性再次被關注。作為一種通用零知識虛擬機，zkVM 能以更靈活及高效的方式處理複雜計算，同時擺脫了對傳統智能合約邏輯的依賴。

在這一趨勢的推動下，RISC Zero、Succinct 和 Cysic 等項目則被視為推動該領域創新的重要參與者。其中，RISC Zero 憑藉基於 RISC-V 架構的 zkVM，開發了 Zeth、Kailua 和 Bonsai 等一系列開源工具，不僅提升了區塊驗證和 Rollup 的性能，還為以太坊 ZK 化升級提供了技術支持。

RISC zkVM 生態產品矩陣：從核心技術到場景應用

RISC Zero 是基於 RISC-V 指令集架構的 zkVM 實現，作為一個通用零知識計算平臺，它支持多種主流編程語言，如 Rust 和 C++，幾乎可以運行任意計算任務。相比其他零知識技術平臺，RISC Zero 的證明者和驗證者是完全開源的，開發者可以在本地生成和驗證證明。此外，RISC Zero 的驗證器兼容多種平臺，能夠適配不同區塊鏈生態，簡化了去中心化應用的開發流程。

今年 6 月 ，RISC Zero 發佈了 zkVM 1.0。zkVM 1.0 不僅支持多種語言和複雜計算任務，還利用 Continuations 技術將大規模計算分割成多個小段，實現高效並行計算和驗證。根據路線圖，RISC Zero 計劃在 2024 年底前實現 zkVM 性能和成本的 20 倍提升，優化內容包括將證明流程完全遷移至 GPU（已完成 80%）、引入新型 RISC-V v2 電路設計，以及針對遞歸電路進行的專項優化等。同時，RISC Zero 正在集成一系列針對 RSA、Keccak、ECDSA 等算法的加速模塊，用於提升以太坊相關任務和加密操作的性能。

圍繞 zkVM 的核心能力，RISC Zero 還開發了一系列開源工具和產品。例如，通過 Bonsai 網絡將證明服務，開發者無需專用硬件即可生成零知識證明；通過 Steel 工具可以將複雜的 EVM 計算轉移至鏈下環境運行，同時保持結果可驗證，降低了鏈上執行成本；而 Blobstream Zero 則通過橋接 Celestia 數據可用性層，為模塊化區塊鏈生態中的數據共享和驗證提供了更多可能性。

Zeth：證明整個以太坊區塊被正確構造

Zeth 是由 RISC Zero 基於其 zkVM 技術開發的開源以太坊零知識區塊證明器，可以通過零知識證明驗證以太坊區塊的有效性，而無需依賴傳統驗證者或同步委員會。RISC Zero 將 Zeth 定義為 Type-0 zkEVM，既完全兼容以太坊協議，又通過代碼的重複利用，實現了開發效率的提升。

以太坊聯合創始人 Vitalik Buterin 在文章「Different types of zk-EVMs」將 zkEVM 分為了四類，其中 Type-1 力求完全和毫不妥協的等效於以太坊；Type-2 致力於完全等價於 EVM，但不完全等價於以太坊；Type-3 幾乎同等於 EVM；Type-4 則完全不兼容以太坊。

得益於 RISC Zero zkVM 的高性能，Zeth 能夠在幾分鐘內完成以太坊區塊的驗證。測試數據顯示，Zeth 可以以 1.1 MHz 的速度生成區塊證明，並通過「繼續執行（continuations）」特性擴展 GPU 集群，將速度提升至 4.7 MHz 至 6.3 MHz。這種性能優化也降低了證明生成的成本。根據測試，一個包含 182 筆交易的區塊，其證明生成成本僅為 21.72 美元，每筆交易成本約為 0.11 美元。

同時，開發 Zeth 的過程中，RISC Zero 團隊充分利用了 Rust 生態系統的組件，如 revm、ethers 和 alloy，使得開發者可以快速實現區塊證明功能並將其應用到不同場景中。這種設計為開發者提供了更多靈活性，能夠根據需要調整區塊構建邏輯並適配未來的以太坊改進提案。

在應用層面，Zeth 為 zk Rollup、輕客戶端和跨鏈橋提供了高效的解決方案。傳統 zk Rollup 和 zkEVM 的構建需要耗費大量時間和資金，令小型團隊望而卻步。而 Zeth 基於模塊化的 zkVM 架構，允許開發者輕鬆定製區塊驗證邏輯。例如：

• zk Rollup：Zeth 能夠快速實現區塊證明，能夠縮短 ZK Rollup 的開發週期和降低資金投入。
• 輕客戶端：無需重新構建區塊即可驗證區塊有效性，降低運行成本。
• 跨鏈橋：Zeth 通過 ZKP 可以在不洩漏鏈上敏感信息的情況下驗證跨鏈數據的正確性，這減少了對第三方的信任依賴，並降低了跨鏈攻擊的風險。

今年 5 月，Zeth 成功擴展至支持從以太坊主網中提取 Optimism 區塊數據，並生成 ZKP 驗證區塊正確性，還支持在鏈上進行驗證。也就是說，藉助 Zeth，Optimism 可以更高效驗證交易，解決交易爭議。

Bonsai：允許開發者無需使用自身硬件生成證明

Bonsai 是一項專為 zkVM 應用程序設計的遠程證明服務，允許開發者無需使用自身硬件生成證明，從而解決了鏈上計算資源有限與高昂成本之間的矛盾。通過 Bonsai，開發者只需定義需要執行的 zkVM 應用程序及輸入數據，Bonsai 即可在後臺運行計算，並生成相應的零知識證明。這一過程完全無需開發者部署額外的硬件設備。同時，Bonsai 利用了大量的 GPU 集群，支持並行化處理多個計算任務。此外，Bonsai 提供簡潔易用的 API 和 SDK 接口，使開發者能夠輕鬆將其集成到現有系統中，進一步降低了開發難度。

基於這一遠程證明服務，RISC Zero 推出了開源工具 Bonsai Pay，結合了 OAuth2.0 身份認證和 ZKP 技術，使用戶能夠通過 Google 賬戶在以太坊網絡上發送或接收代幣。例如，當 Alice 想將資金轉賬給 Bob 時，Alice 可以通過 Bonsai Pay 輸入 Bob 的 Google 郵箱和轉賬金額。Bob 隨後可登陸 Bonsai Pay 輸入郵箱地址並完成 Google 賬戶身份驗證。Bonsai Pay 會使用 OAuth 2.0 生成授權代幣，證明 Bob 確實是該郵箱的持有者。隨後 Bonsai Pay 調用 Bonsai 證明服務，生成零知識證明，證明 Bob 的 Google 賬戶與錢包地址相關聯。智能合約驗證證明後，會解鎖資金並將其轉賬到 Bob 的錢包地址。

整個過程中，Bonsai Pay 通過 ZKP 技術驗證了「Bob 的 Google 賬戶與錢包地址相關聯」的事實，又避免洩露任何 Google 賬戶的具體信息。

Bonsai 的另一重要應用是 Bonsai ZK 協處理器（ZK Co-processor）。它通過零知識證明技術，將複雜的計算任務從鏈上轉移到鏈下，且生成不可篡改的證明以確保結果的正確性。同時，Bonsai 協處理器的部署也十分簡單，開發者只需編寫一個 zkVM 應用程序來處理邏輯，並通過簡單的 Solidity 合約調用 Bonsai，運行計算並驗證結果。整個過程中，Bonsai 證明服務負責生成鏈下計算的零知識證明，這些證明可以在鏈上驗證。

Bonsai ZK 協處理器適用於需要高性能和低成本的鏈上應用。例如，在 DAO 治理中，它可以將複雜的投票計算轉移到鏈下，顯著降低鏈上 Gas 費用。Bonsai DAO Governor 通過協處理器將每票的 Gas 成本降低了超過 50%，有效提升治理效率，降低參與門檻。

Boundless：可驗證計算層

在傳統區塊鏈架構中，為了確保交易的有效性，所有節點都需要重複執行每筆交易的所有計算。這種「全局重執行」模式雖然能夠保證安全性和一致性，但也帶來了極高的計算成本。為了解決這一問題，RISC Zero 推出了 Boundless，允許單個節點完成計算後生成一個可驗證的零知識證明，其他節點只需驗證該證明即可確認結果，無需重複執行計算。

Boundless 通過遞歸組合技術簡化了驗證過程。它將多個小的零知識證明合併為一個整體證明，使驗證者只需檢查一個總證明，而不必逐一驗證所有階段的證明。為了進一步優化零知識證明的生成效率，Boundless 內置了專用的密碼學加速電路，優化了像哈希計算、數字簽名驗證等常見任務的效率。

此外，開發者使用 Boundless 不需要深入瞭解零知識技術，只需用熟悉的編程語言（如 Rust 或 Solidity）編寫應用程序即可。目前，Boundless 已向開發者開放免費訪問。開發者無需遷移現有系統或更新驗證合約，就可以利用 Boundless 提供的 proving 服務，在任意區塊鏈上快速構建和部署零知識應用。

Blobstream Zero：簡化跨鏈數據驗證的 zkVM 的跨鏈橋

Blobstream Zero 是 RISC Zero 和 Celestia 合作推出的基於 zkVM 的跨鏈橋，旨在將 Celestia 的數據可用性層無縫連接到現有的模塊化區塊鏈生態中。通過共享和驗證 Celestia 上的數據，Blobstream Zero 實現了鏈與鏈之間更便捷的數據傳輸和驗證。

作為完全開源的公共產品，Blobstream Zero 允許任何項目或開發者運行本地實例，並生成零知識證明。此外，Blobstream Zero 還能夠為 ZK 協處理器提供支持。ZK 協處理器本質上是一個鏈下計算工具，因此需要可靠的數據來執行計算。而 Blobstream Zero 可以從 Celestia 等區塊鏈中獲取數據，並且可以通過生成 ZK 證明來證明所傳輸的數據是可靠的。

Steel：鏈下執行與鏈上驗證的智能合約新範式

Steel 是 RISC Zero 推出的開源工具，利用 zkVM 技術實現了鏈下可驗證的智能合約執行。通過 Steel，開發者可以將 EVM 操作從鏈上轉移到鏈下執行，同時生成零知識證明，確保計算結果的真實性和可驗證性。

傳統智能合約需要在鏈上完整執行所有邏輯，不僅 Gas 成本高昂，還限制了複雜應用的開發。而 Steel 的鏈下計算和鏈上驗證機制解決了這一問題。例如，在一個簡單的智能合約中，判斷某賬戶的 ERC20 餘額是否大於 1，並遞增計數器變量。傳統方法需要在鏈上完整執行邏輯，而 Steel 則在鏈下完成計算並生成零知識證明，鏈上只需驗證證明，無需重複執行合約邏輯。

目前，RISC Zero 已發佈 Steel 1.0，並且已經有合作伙伴已功利用該工具開發了應用。例如，在一個處理約 40 萬次 SLOAD 操作的合約調用中，通過 Steel 將計算轉移至鏈下執行，隨後在鏈上驗證生成的零知識證明。證明生成成本不到 10 美元，鏈上驗證成本低於 30 萬 Gas。

Kailua：推動 Rollup 架構創新的混合 ZK 方案

繼發佈 Zeth 後，RISC Zero 推出了 Kailua，旨為樂觀 Rollup 提供了一種混合 ZK Rollup 的升級方案。傳統樂觀 Rollup 通常需要 7 天的挑戰期，導致交易終局性較慢，而 ZK Rollup 雖然能快速實現終局性，但持續生成零知識證明的成本過高。Kailua 結合了兩者的優勢，通過混合架構實現了成本與效率的平衡。作為 Optimism Kona 框架的擴展，Kailua 不僅支持未經修改的 Kona 在 zkVM 上運行，還引入了創新的爭議解決機制，降低了質押要求並減少了終局性延遲，從而提升了系統的效率和可用性。

在 Kailua 的架構中，爭議機制採用了全新的設計。首先，其爭議解決機制取消了時間限制，允許驗證者在遇到網絡中斷等特殊情況時有充足時間生成證明，從而增強系統的彈性。即使在極端情況下，RISC Zero zkVM 的擴展架構仍能在一小時內完成證明。此外，Kailua 的按需驗證功能讓開發者能夠靈活配置驗證頻率，以更低成本逐步過渡到完全驗證的 Rollup 模式。

與 ZK Rollup 不同，Kailua 的設計無需持續生成證明。對於低頻率的空區塊或具有特殊合約需求的 Rollup，Kailua 提供了一種更具成本效益的選擇。同時，Kailua 還顯著降低了 Rollup 的質押成本需求。傳統樂觀 Rollup 的質押量會隨著較長的終局性週期線性增加，而 Kailua 的優化設計將質押需求固定化，使得系統即使在長週期內依然能以更低成本維持安全性和活性。

目前，Kailua 已完全開源。開發者可以使用其命令行工具部署本地的 Optimism 測試網絡，並快速升級為支持 ZK 故障證明的網絡。Kailua 還支持模擬故障提案，幫助開發者瞭解驗證者如何通過 zkVM 挑戰錯誤狀態，從而深入理解其爭議解決機制。未來，Kailua 還將進一步優化成本與性能，及擴展至更多的 Rollup 框架支持。

總結

從上文可以看出，RISC Zero 的 zkVM 產品矩陣正推動零知識證明技術在多個領域的發展。Zeth 和 Kailua 專注於 Rollup 架構優化，提升了區塊驗證效率和爭議解決速度。Bonsai 提供遠程證明服務，降低了硬件依賴和運行成本，使開發者能夠更高效地構建應用。而 Blobstream Zero 通過高效驗證跨鏈數據，為模塊化區塊鏈生態提供了可靠支持。此外，Steel 通過鏈下計算與鏈上驗證的模式，降低了智能合約執行的 Gas 成本。

當然，在不斷完善 zkVM 產品矩陣的同時，RISC Zero 也在持續推動 zkVM 底層技術的創新。近日，RISC Zero zkVM 發佈了 1.2 版本，引入了一種全新的預編譯方式，允許開發者將預編譯邏輯與應用程序一起部署，而無需內置於 zkVM 本身。這意味著開發者可以添加新的預編譯邏輯，而無需修改鏈上驗證合約或協調證明者的配置，也無需對 zkVM 進行分叉或重大改動即可實現性能優化。此外，通過應用定義預編譯，還可減少證明生成的計算成本。例如 Automata 集成 RSA 預編譯後，將執行週期從 3900 萬縮減到 21.7 萬，成本降低了約 180 倍。

隨著 zkVM 技術的不斷優化，其發展潛力將在多個應用場景中逐步得到體現，不過如果要更好的釋放這些潛力，仍要依賴於生態協作和技術落地的實際表現。

第五屆年度評選暨 RTY AWARD 2025 開啟投票！

創歷屆紀錄！近300個項目及個人通過數據篩選、公開報名和社區推薦，進入本次評選投票階段。誰是推動Web3和Crypto走向主流的先鋒？點擊圖片參與投票，為你心目中的年度最佳助力！

點擊下方圖片立即投票！