RISC Zero 發布 zkVM 1.2，推出應用程式 -Defined 預編譯功能

零知識（ZK）可驗證通用運算平台， RISC 零 推出了「應用程式-defined」預編譯其零知識虛擬機 (zkVM) 1.2。這項創新使開發人員能夠透過在應用程式本身而不是 zkVM 中包含預編譯來建構高效能 ZK 應用程式。

zkVM 1.2 在預編譯功能方面帶來了顯著的進步。與需要開發人員、證明者和驗證者之間協調的傳統預編譯不同，它的應用程式-defined 預編譯有幾個好處。其中包括使開發人員能夠部署新的預編譯，而無需更新鏈上驗證者合約或與證明者協調以使用新電路。此外，開發人員可以優化他們的應用程序，而無需分叉 zkVM 或修改現有系統。

該平台旨在在 Boundless 協議上運行，增強 ZK性能 跨越所有鏈條。這種獨立性使開發人員能夠立即優化其應用程序，而證明提供者無需特殊配置即可支援任何應用程序，為未來的去中心化證明奠定了堅實的基礎。

對於 Boundless，這種方法為使用者提供了更大的控制權，因為它不需要應用程式和證明者就一組匹配的預編譯達成協議。它還確保對生產項目的干擾最小化，因為可以添加新的預編譯而無需新的驗證者合約。

這些預編譯的效能優勢是顯而易見的。例如，合作夥伴Automata整合了RISC Zero的RSA預編譯，並將其客戶程式的週期數從39萬減少到217,000，從而使成本降低了約180倍。

什麼是 RISC 零與無界？  

RISC Zero 專注於開發基礎架構和工具，使全球開發人員能夠利用 ZK 技術創建軟體。它的 zkVM 允許使用者證明任意 Rust 程式碼的正確執行。透過支援使用現有的 Rust 套件，RISC Zero 的 zkVM 簡化了包含 ZK 證明的可靠、可驗證的軟體應用程式的創建。

最近，RISC 零 打開 它的 ZK 協議 Boundless，供開發人員訪問。這可以實現無限執行，無需遷移現有系統或更新驗證合約。開發人員現在可以在任何區塊鏈上快速建立和部署 ZK 應用程序，同時受益於免費存取 Boundless 提供的證明服務。