零知識 (ZK) 可驗證通用計算平臺 RISC Zero 爲其零知識虛擬機 (zkVM) 1.2 引入了“應用程序定義”預編譯。這項創新使開發人員能夠通過在應用程序本身而不是 zkVM 中包含預編譯來構建高性能 ZK 應用程序。
zkVM 1.2 在預編譯功能方面取得了顯著進步。與需要開發人員、證明者和驗證者之間協調的傳統預編譯不同，其應用程序定義的預編譯提供了多種好處。其中包括使開發人員能夠部署新的預編譯，而無需更新鏈上驗證者合約或與證明者協調使用新電路。此外，開發人員可以在不分叉 zkVM 或修改現有系統的情況下優化其應用程序。
該平臺旨在在 Boundless 協議上運行，從而增強所有鏈上的 ZK 性能。這種獨立性使開發人員能夠立即優化其應用程序，而證明提供者無需特殊配置即可支持任何應用程序，爲去中心化證明的未來奠定了堅實的基礎。
對於 Boundless 來說，這種方法爲用戶提供了更大的控制權，因爲它消除了應用程序和驗證者就一組匹配的預編譯達成一致的需要。它還可以確保對生產項目的干擾最小，因爲可以添加新的預編譯，而無需新的驗證者合同。
這些預編譯的性能優勢顯而易見。例如，合作伙伴 Automata 集成了 RISC Zero 的 RSA 預編譯，將其客戶程序的循環次數從 3900 萬次減少到 217,000 次，從而將成本降低了約 180 倍。
什麼是 RISC Zero 和 Boundless？
RISC Zero 專注於開發基礎設施和工具，使全球開發人員能夠利用 ZK 技術創建軟件。其 zkVM 允許用戶證明任意 Rust 代碼的正確執行。通過啓用現有 Rust 軟件包，RISC Zero 的 zkVM 簡化了包含 ZK 證明的可靠、可驗證軟件應用程序的創建。
最近，RISC Zero 向開發者開放了其 ZK 協議 Boundless。這樣就可以實現無限制執行，而無需遷移現有系統或更新驗證合約。開發人員現在可以在任何區塊鏈上快速構建和部署 ZK 應用程序，同時可以免費使用 Boundless 提供的證明服務。
RISC Zero 發佈 zkVM 1.2，引入應用程序定義預編譯功能，該文章首先出現在 Metaverse Post 上。
