在尋找區塊鏈的可擴展性和計算效率的解決方案中，零知識證明（ ZKP ）技術尤其重要。 z kVM （ Zero - Knowledge Virtual Machine ）是這項技術的具體應用之一。 z kVM 作為一個基於 ZKP 的通用運算平台，能夠在不洩漏執行細節的前提下驗證運算的正確性。並支援在鏈外處理計算量大的任務，僅將驗證結果提交到區塊鏈，大大提升了區塊鏈的擴展性。目前，市場上如 a16 z 、 Taiko 、 ZKM 等多個專案正在開發 z kVM 解決方案。
#zkVM 是一種基於零知識證明的通用運算平台 ，能夠執行各種計算任務，包括執行智慧合約、資料處理和複雜演算法運算等。其核心功能是產生零知識證明，這種證明能驗證計算的正確性而不透露執行細節。透過 SNARKs 技術，這些證明可以在鏈下進行驗證，驗證者不需要在區塊鏈上重新執行整個計算過程，並付出昂貴的計算成本。
此外， zkVM 的設計不僅限於加密貨幣交易，它的通用性使其可以在多種應用場景中部署，例如醫療資料處理、供應鏈管理、秘密投票系統等，這些應用都需要在確保資料安全性的同時，以驗證處理邏輯的正確性。
傳統的虛擬機器（ VM ）通常指的是在實體硬體上虛擬出一套完整的運算環境，核心功能是模擬硬體環境，允許在在同一個實體硬體上運行多個作業系統或應用程式。這些虛擬機器主要透過硬體虛擬化技術和作業系統層級的隔離來實現其功能。它們通常不涉及到對運行在其中的應用程式或資料進行加密驗證的過程。
零知識虛擬機器（zkVM）使用零知識證明技術來確保程式執行過程的正確性，這種技術適用於任何可以被編譯和運行在虛擬機器上的程式。 zkVM 的設計著重於提供一個通用的運算驗證平台，適用於各種應用場景，並支援多種程式語言，如 Rust、C/C++ 和 Go，開發者可以使用自己熟悉的語言來建立應用程式。計算和驗證過程往往比傳統VM 更耗時，因為產生零知識證明是一個計算密集型的過程，要求大量的計算資源，這在很大程度上限制了交易處理速度（ TPS ）。目前的 zk 技術，雖然在單一證明產生方面已經取得顯著進展，但在高負載條件下，處理大規模交易的能力仍有限。每個證明的產生可能需要數秒到數分鐘不等，這對於那些需要高吞吐量的應用（如大規模支付處理系統）構成了限制。
zkEVM 是 zkVM 的一個特定實現，專為以太坊生態設計，旨在透過零知識證明增強以太坊的可擴展性。它完全相容於以太坊的智慧合約和開發工具，例如 Solidity 和 Vyper ，現有的以太坊應用可以無縫遷移至 zkEVM ，無需任何修改。因此， zkEVM 更像是以太坊的一個特定最佳化版本。
儘管面對zk 技術的挑戰，市場上仍有一些專案方在開發zk VM 解決方案上展現出了技術實力。
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是一種具有遞歸SNARK 結構的zkVM ，其特點在於採用了一種支援證明相互嵌套的遞歸方法。在 SNARKs 技術中，遞歸可以將複雜的證明分解成更小、更易於管理的證明。這些小型證明可以獨立進行驗證，並最終合併成一個完整的大證明，而這個過程不會影響證明的有效性。 RISC Zero 的獨特之處在於其實現遞歸的方法，將多層證明無縫整合到單一的證明鏈中，不僅減少了計算負荷和需要處理的數據量，還能在多個計算步驟中保持驗證過程的安全性與完整性。
RISC Zero 的另一個獨特之處在於它使用了RISC-V 指令集，這是一種開放式標準ISA （指令集架構），旨在實現可擴展性和可擴展性。這項選擇確保了 RISC Zero 可以利用廣泛的工具和支援生態系統，使其與其他可能使用專有或不太通用架構的 zkVM 相比，更易於存取和整合到現有系統中。
去年他們成功完成了 4,000 萬美元的 A 輪融資。此輪融資由 Blockchain Capital 領投，，其他知名投資者包括 Bain Capital Crypto 、 Galaxy Digital 、 IOSG Ventures 、 RockawayX 、 Maven 11、 Fenbushi Capital 、 Delphi Digital 等參與其中。
Succinct開發了zkVM SP1，SP1 專為執行以Rust 或任何其他可透過LLVM 編譯的語言編寫的程式碼而定制，靈活性和易用性更高。 SP1 支援模組化架構，讓開發人員透過「預先編譯」來自訂和擴展其功能。預編譯指特定的、可由開發者新增或修改的模組，這些模組增強了核心虛擬機的功能，使得它可以更有效率地處理特定的任務或運算。
此外， SP1 建構了去中心化的證明者網絡，簡化了證明的部署和執行，從而降低了使用高級加密方法的門檻。這個網路讓開發人員只需點擊一下就能有效地產生證明，提供了一種簡化的方法。
3 月，Succinct 完成了 5,500 萬美元的融資。此次融資由 Paradigm 領投，參與的投資者包括 Robot Ventures、Bankless Ventures、Geometry 以及天使投資人 Eigenlayer 的 Sreeram Kannan 和 Polygon 的聯合創始人 Sandeep Nailwal 等。 5 月 13 日，Succinct宣布上線 SP1 測試網。
Taiko已經開始從使用 zkEVM轉型至使用 zkVM，它的 zkVM 獨特之處在於其對多證明系統的運用。多證明概念由 Vitalik提出，Taiko 表明自己是第一個實施此概念的項目，將於 5 月底主網上線時直接支持此多證明系統。這種系統允許 Taiko 的 zkVM 產生多種類型的證明，從而提高了系統的安全性和健全性。即使其中一種證明類型出現問題，其他類型的證明可以繼續確保系統的正常運作並及時檢測到任何錯誤的狀態轉換。此外，還採用了 Halo2-KZG 證明系統，使得處理複雜計算和大規模交易時能夠保持高效和低成本。
3 月， Taiko 完成1,500 萬美元A 輪融資，由Lightspeed Faction 、 Hashed 、 Generative Ventures 和Token Bay Capital 共同領投， Wintermute Ventures 、 Flow Traders 、 A mber Group 、 OKX Ventures 和GSR 等參投。
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 的特點還有：
隨著區塊鏈技術的不斷成熟和前沿公司的不斷探索， zkVM 的性能不斷提升，我們可以預見到zkVM 會在加密世界中扮演越來越重要的角色，成為關鍵技術的一部分。特別是在資料敏感度和對跨鏈安全性需求日益增加的當下， zkVM 提供的能力適合市場需求。我們期待攻克各種技術困難，例如電路優化和證明系統本身的優化，推出完美適配各種程式語言的 zkVM ，將更多的開發者帶往 Web3 新時代。
以上是zkEVM 升級敘事 zkVM，這五個核心計畫為何值得關注？的詳細內容。更多資訊請關注PHP中文網其他相關文章！
