zkVM 的未來，為何基於 RISC-V 架構？

來源：hyperstructured.greg X 帳號

獲4000 萬美元融資的ZK 基礎設施公司RISC Zero 於今日正式推出zkVM 1.0，這是其通用zkVM 的生產就緒版本。 zkVM 賽道已有能投入生產的選手，但大多數人可能常在耳邊聽到 “zkEVM”，卻並不了解一字之差的 “zkVM” 是什麼東西。本文介紹了多數 zkVM 選用的指令集的優勢，更多關於 zkVM 的信息，可以透過這篇文章了解。

zkVM 比 zkEVM 更通用，解鎖了用通用語言編寫程序，在 Solidity 庫之外編寫程式碼的可能性，如今已成為當下的熱門賽道。而賽道頭部專案 RISC Zero、Succint、Lita、以及由 a16z 打造的 jolt，都是基於 RISC-V 指令集。它有何優勢？為什麼 zkVM 的未來將基於 RISC-V 架構？為何 @rv_inc 正建置工具以允許在 RISC-V 層級進行形式驗證？

RISC-V 指令集主要有以下優勢：

開放且可擴展的架構：

RISC-V 是開放標準指令集架構（ISA），可免費用於任何類型的用途，具有高度適應性和可自訂性。這使得 zkVM 開發人員能夠專門針對證明操作、最佳化效能和效率客製化架構。 Linux 為何能佔據伺服器系統最大份額？ 「免費」二字真的很重要！

模組化與靈活性：

RISC-V 的模組化特性使zkVM 開發人員能夠只實現所需的功能，避免不必要的複雜性和開銷。模組化的優勢本週期已經強調太多了，在此不再贅述。

標準化和生態系統支援：

RISC-V 擁有一個快速發展的生態系統，具有廣泛的工具鏈支持，包括編譯器和調試器，例如@rv_inc 正在建構針對RISC-V ISA 的形式驗證工具。快速發展的生態意味著廣闊的創新空間，有時能有一石二鳥的協同效應。

有效率地進行證明產生和驗證：

RISC-V 設計的簡單性有助於更有效地執行零知識證明中涉及的複雜演算法。透過利用 RISC-V 指令集架構, “zkVM” 可以在速度和資源利用率方面實現更好的性能，而這對於證明的聚合至關重要。

安全性和形式化驗證：

RISC-V 清晰且定義良好的架構使得形式化驗證技術的應用變得更加容易，這對於確保zkVM的安全性和正確性至關重要。透過使用 RISC-V，開發人員將能夠利用形式驗證工具和方法來建立更安全的 zkVM。

跨平台的兼容性：

RISC-V 與各種硬體平台（包括X86、x64 和ARM，即常見的Windows、Mac 以及各種簡單電器設備) 之間的相容性意味著zkVM 可以跨廣泛的環境部署。這樣的靈活性是證明聚合解決方案廣泛採用的關鍵，因為它允許無縫整合到不同的系統中。

語言通用性：

RISC-V 並沒有內建錢包位址或其他區塊鏈結構的概念。此指令集主要由在記憶體位置之間移動資料和對資料進行數學運算的運算子組成。同時，與 EVM 相比，底層的 RISC-V 模擬器允許程式設計師用 Rust、C/C++ 和 Go 等語言為 zkVM 編寫程式。這意味著 zkVM 的程式設計師可以使用別人在該語言的生態系統中開發的相關函式庫。如為 Solana 開發的 Rust 函式庫等等。

在「通用運算」概念逐漸火熱的當下，zkVM 會為當下激烈的 VM 競賽（MoveVM、SVM、EVM 、zkEVM ...）帶來怎樣的火花？能取得可觀採用，站穩腳步嗎？第一位選手 RISC Zero 已閃亮登場，剩下的就交給時間去驗證吧。

以上是zkVM 的未來，為何基於 RISC-V 架構？的詳細內容。更多資訊請關注PHP中文網其他相關文章！