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

作者：LINDABELL

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

在這一趨勢的推動下，RISC Zero、Succinct 和 Cysic 等項目則被視為推動該領(lǐng)域創(chuàng)新的重要參與者。其中，RISC Zero 憑借基于 RISC-V 架構(gòu)的 zkVM，開發(fā)了 Zeth、Kailua 和 Bonsai 等一系列開源工具，不僅提升了區(qū)塊驗證和 Rollup 的性能，還為以太坊 ZK 化升級提供了技術(shù)支持。

RISC zkVM 生態(tài)產(chǎn)品矩陣：從核心技術(shù)到場景應用

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

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

圍繞 zkVM 的核心能力，RISC Zero 還開發(fā)了一系列開源工具和產(chǎn)品。例如，通過 Bonsai 網(wǎng)絡將證明服務，開發(fā)者無需專用硬件即可生成零知識證明；通過 Steel 工具可以將復雜的 EVM 計算轉(zhuǎn)移至鏈下環(huán)境運行，同時保持結(jié)果可驗證，降低了鏈上執(zhí)行成本；而 Blobstream Zero 則通過橋接 Celestia 數(shù)據(jù)可用性層，為模塊化區(qū)塊鏈生態(tài)中的數(shù)據(jù)共享和驗證提供了更多可能性。

Zeth：證明整個以太坊區(qū)塊被正確構(gòu)造

Zeth 是由 RISC Zero 基于其 zkVM 技術(shù)開發(fā)的開源以太坊零知識區(qū)塊證明器，可以通過零知識證明驗證以太坊區(qū)塊的有效性，而無需依賴傳統(tǒng)驗證者或同步委員會。RISC Zero 將 Zeth 定義為 Type-0 zkEVM，既完全兼容以太坊協(xié)議，又通過代碼的重復利用，實現(xiàn)了開發(fā)效率的提升。

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

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

同時，開發(fā) Zeth 的過程中，RISC Zero 團隊充分利用了 Rust 生態(tài)系統(tǒng)的組件，如 revm、ethers 和 alloy，使得開發(fā)者可以快速實現(xiàn)區(qū)塊證明功能并將其應用到不同場景中。這種設(shè)計為開發(fā)者提供了更多靈活性，能夠根據(jù)需要調(diào)整區(qū)塊構(gòu)建邏輯并適配未來的以太坊改進提案。

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

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

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

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

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

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

整個過程中，Bonsai Pay 通過 ZKP 技術(shù)驗證了「Bob 的 Google 賬戶與錢包地址相關(guān)聯(lián)」的事實，又避免泄露任何 Google 賬戶的具體信息。

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

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

Boundless：可驗證計算層

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

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

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

Blobstream Zero：簡化跨鏈數(shù)據(jù)驗證的 zkVM 的跨鏈橋

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

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

Steel：鏈下執(zhí)行與鏈上驗證的智能合約新范式

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

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

目前，RISC Zero 已發(fā)布 Steel 1.0，并且已經(jīng)有合作伙伴已功利用該工具開發(fā)了應用。例如，在一個處理約 40 萬次 SLOAD 操作的合約調(diào)用中，通過 Steel 將計算轉(zhuǎn)移至鏈下執(zhí)行，隨后在鏈上驗證生成的零知識證明。證明生成成本不到 10 美元，鏈上驗證成本低于 30 萬 Gas。

Kailua：推動 Rollup 架構(gòu)創(chuàng)新的混合 ZK 方案

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

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

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

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

總結(jié)

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

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

隨著 zkVM 技術(shù)的不斷優(yōu)化，其發(fā)展?jié)摿⒃诙鄠€應用場景中逐步得到體現(xiàn)，不過如果要更好的釋放這些潛力，仍要依賴于生態(tài)協(xié)作和技術(shù)落地的實際表現(xiàn)。