zkEVM 升級敘事 zkVM，這五個核心項目為何值得關注？

作者：0XNATALIE

在尋找區塊鏈的可擴展性和計算效率的解決方案中，零知識證明（ ZKP ）技術尤為重要。 z kVM （ Zero - Knowledge Virtual Machine ）是這一技術的具體應用之一。 z kVM 作為一種基於 ZKP 的通用計算平台，能夠在不泄露執行細節的前提下驗證計算的正確性。並支持在鏈外處理計算量大的任務，僅將驗證結果提交到區塊鏈，極大地提升了區塊鏈的擴展性。目前，市場上如 a16 z 、 Taiko 、 ZKM 等多個項目正在開發 z kVM 解決方案。

zkVM 簡介

zkVM 是一種基於零知識證明的通用計算平台 ，能夠執行各種計算任務，包括執行智能合約、數據處理和複雜算法運算等。其核心功能是生成零知識證明，這種證明能驗證計算的正確性而不透露執行細節。通過 SNARKs 技術，這些證明可以在鏈下進行驗證，驗證者不需要在區塊鏈上重新執行整個計算過程，付出昂貴的計算成本。

此外， zkVM 的設計不僅僅限於加密貨幣交易，它的通用性使其可以在多種應用場景中部署，如醫療數據處理、供應鏈管理、秘密投票系統等，這些應用都需要在確保數據安全性的同時，驗證處理邏輯的正確性。

zkVM 對比其他虛擬機

傳統的虛擬機（ VM ）通常指的是在物理硬件上虛擬出一套完整的計算環境，核心功能是模擬硬件環境，允許在同一個物理硬件上運行多個操作系統或應用。這些虛擬機主要通過硬件虛擬化技術和操作系統級別的隔離來實現其功能。它們通常不涉及到對運行在其中的應用程序或數據進行加密驗證的過程。

零知識虛擬機（zkVM）使用零知識證明技術來確保程序執行過程的正確性，這種技術適用於任何可以被編譯和運行在虛擬機上的程序。zkVM 的設計注重於提供一種通用的計算驗證平台，適用於各種應用場景，並支持多種編程語言，如 Rust、C/C++ 和 Go，開發者可以使用自己熟悉的語言來構建應用程序。計算和驗證過程往往比傳統 VM 更耗時，因為生成零知識證明是一個計算密集型的過程，要求大量的計算資源，這在很大程度上限制了交易處理速度（ TPS ） 。當前的 zk 技術，雖然在單個證明生成方面已經取得顯著進展，但在高負載條件下，處理大規模交易的能力仍有限。每個證明的生成可能需要數秒到數分鐘不等，這對於那些需要高吞吐量的應用（如大規模支付處理系統）構成了限制。

zkEVM 是 zkVM 的一個特定實現，專為以太坊生態設計，旨在通過零知識證明增強以太坊的可擴展性。它完全兼容以太坊的智能合約和開發工具，比如 Solidity 和 Vyper ，現有的以太坊應用可以無縫遷移至 zkEVM ，無需任何修改。因此， zkEVM 更像是以太坊的一個特定優化版本。

zkVM 相關項目

儘管面對 zk 技術的挑戰，市場上仍然有一些項目方在開發 zk VM 解決方案上展現出了技術實力。

Jolt：性能出色

4 月 9 日，a16z 發布 zkVM 解決方案 Jolt 的初步實現，Jolt 是一種新型的 zkVM，主要特點是運行速度快 ，而且對開發者來說更易於擴展和進行代碼審計。

與其他基於 STARK 框架的 zkVM 不同，Jolt 利用了 Lasso 查找參數和基於 sumcheck 的技術。這種創新方法不僅簡化了新虛擬機指令的實施，還提高了系統的整體速度。Jolt 的設計強調易用性和效率，它的代碼庫非常精簡，Jolt 中的每條 CPU 指令只需 50 行 Rust 代碼即可實現。此外，Jolt 的性能也非常出色，在初步基準測試中，執行零知識證明的速度比 RISC Zero 快 5 倍以上，比 SP1 快 2 倍。

RISC Zero：高效處理複雜的計算

RISC Zero 是一種具有遞歸 SNARK 結構的 zkVM ，其特點在於採用了一種支持證明相互嵌套的遞歸方法。在 SNARKs 技術中，遞歸可以將複雜的證明分解成更小、更易於管理的證明。這些小型證明可以獨立進行驗證，並最終合併成一個完整的大證明，這一過程不會影響證明的有效性。RISC Zero 的獨特之處在於其實現遞歸的方法，將多層證明無縫集成到一個單一的證明鏈中 ，不僅減少了計算負荷和需要處理的數據量，還能在多個計算步驟中保持驗證過程的安全性和完整性。

RISC Zero 的另一個獨特之處在於它使用了 RISC-V 指令集，這是一種開放式標準 ISA （指令集架構），旨在實現可擴展性和可擴展性。這一選擇確保了 RISC Zero 可以利用廣泛的工具和支持生態系統，使其與其他可能使用專有或不太通用架構的 zkVM 相比，更易於訪問和集成到現有系統中。

去年他們成功完成了 4000 萬美元的 A 輪融資。此輪融資由 Blockchain Capital 領投，其他知名投資者包括 Bain Capital Crypto 、 Galaxy Digital 、 IOSG Ventures 、 RockawayX 、 Maven 11、 Fenbushi Capital 、 Delphi Digital 等參與其中。

Succinct：開發者友好

Succinct 開發了zkVM SP1，SP1 專為執行以 Rust 或任何其他可通過 LLVM 編譯的語言編寫的代碼而定制，靈活性和易用性更高。SP1 支持模塊化架構，允許開發人員通過 「預編譯」來定制和擴展其功能 。預編譯指特定的、可由開發者添加或修改的模塊，這些模塊增強了核心虛擬機的功能，使得它可以更高效地處理特定的任務或運算。

此外， SP1 構建了去中心化的證明者網絡，簡化了證明的部署和執行，從而降低了使用高級加密方法的門檻。該網絡使開發人員只需點擊一下就能高效地生成證明，提供了一種簡化的方法。

3 月，Succinct 完成了 5500 萬美元的融資。此次融資由 Paradigm 領投，參與的投資者包括 Robot Ventures、Bankless Ventures、Geometry 以及天使投資人 Eigenlayer 的 Sreeram Kannan 和 Polygon 的聯合創始人 Sandeep Nailwal 等。5 月 13 日，Succinct 宣布上線 SP1 測試網。

Taiko：多證明系統

Taiko 已經開始從使用 zkEVM 轉型至使用 zkVM，它的 zkVM 獨特之處在於其對多證明系統的運用。多證明概念由 Vitalik 提出，Taiko 表明自己是第一個實施這個概念的項目，將於 5 月底主網上線時直接支持此多證明系統。這種系統允許 Taiko 的 zkVM 生成多種類型的證明，從而提高了系統的安全性和健壯性。即使其中一種證明類型出現問題，其他類型的證明可以繼續確保系統的正常運行並及時檢測到任何錯誤的狀態轉換。此外，還採用了 Halo2-KZG 證明系統，使得處理複雜計算和大規模交易時能夠保持高效和低成本。

3 月， Taiko 完成 1500 萬美元 A 輪融資，由 Lightspeed Faction 、 Hashed 、 Generative Ventures 和 Token Bay Capital 共同領投， Wintermute Ventures 、 Flow Traders 、 A mber Group 、 OKX Ventures 和 GSR 等參投。

ZKM：MIPS 架構簡單且穩定

ZKM 是 Metis 基金會孵化的 zkVM 項目，採用 MIPS 架構，將其與零知識證明技術結合創建 zk 虛擬機這種設計使 ZKP 更加與系統內部的計算處理方式相契合，加快操作速度並減少與單獨實施 ZKP 協議相關的計算開銷。並且當前大多數的 zkVM 使用 Rust 語言，而 ZKM 提供 Golang 原生支持。

MIPS（Microprocessor without Interlocked Pipeline Stages）是第一代精簡指令集計算機架構。 MIPS 指令集相對簡單且穩定 ，可以被廣泛應用於各種計算設備和嵌入式系統中，具有良好的通用性和適應性，基於 MIPS 架構的 ZKM 系統可以更容易地進行開發和部署。

zk MIPS 將整個 MIPS 程序分為多個段。再將每個段的指令分成四種類型並歸入相應的四個模塊表。 zk MIPS 使用 STARK 證明方法，對每個模塊表中的指令進行獨立驗證，確保表中的每項操作都是正確的以及程序段中的每條指令都包含在其相應的模塊表中。之後再驗證各個程序段的執行序列與整個程序的執行匹配。通過這種方式，即使是在鏈下執行的程序也能在鏈上得到驗證，增強了程序執行的透明度和信任度。

ZKM 最近推出了一種新的信任最小化多鏈互操作性基礎設施 Entangled Rollups， 利用 zkMIPS 來構建一個無需信任的、去中心化的多鏈互操作框架。不像第三方的 zk 橋接僅通過快照驗證資產轉移，而是所有計算都可以被驗證，所以非常安全。這種互操作性的關鍵在於存在一個通用的證明機制，可以在一個區塊鏈上生成證明，然後在另一個區塊鏈上進行驗證。ZKM 與其他 zkVM 不同點之一就是可以生成的適用於所有操作零知識證明 。ZKM 將安全性嵌入到 CPU/MIPS 架構的底層，使得所有在該架構之上的軟件都可以享受到相同的安全性，而無需每個軟件都單獨進行零知識證明的過程。

此外， ZKM 的特點還有：

• 與所有虛擬機兼容： ZK M 位於每個虛擬機下方，使其與各種區塊鏈智能合約引擎 V M 兼容，如 M ove V M （ zk M V M ）、 WAS M （ zk WAS M ）和 R ust V M （ zk R V M ）等。
• 即插即用：開發人員可以在不更改現有代碼庫的情況下採用 ZKM 。提供了低成本的採用，並允許使用不同的智能合約語言甚至傳統編程語言。
• 長期穩定性： MIPS 指令集具有穩定性，不需要隨著不斷更改的 EVM 而更改指令集，為開發提供了更穩定的環境。

zkVM 的未來展望

隨著區塊鏈技術的不斷成熟和前沿公司的不斷探索， zkVM 的性能在不斷提升，我們可以預見到 zkVM 會在加密世界中扮演越來越重要的角色，成為關鍵技術的一部分。特別是在數據敏感性和對跨鏈安全性需求日益增加的當下， zkVM 提供的能力適配市場需求。我們期待攻克各種技術難點，比如電路優化和證明系統本身的優化，推出完美適配各種編程語言的 zkVM ，將更多的開發者帶往 Web3 新時代。