撰文：hyperstructured.greg
編譯：Alex Liu，Foresight News
獲 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 已閃亮登場，剩下的就交給時間去驗證吧。
