Brevis 推出 Pico：下一代 zkVM

可驗證的鏈下計算引擎 布雷維斯 宣布推出 Pico v1.0，這是一款專為模組化和靈活的可驗證計算而設計的零知識虛擬機 (zkVM)。 Pico 是第一個允許開發人員自訂素數域、證明系統、工作流程、應用程式級協處理器整合以及存取歷史鏈上資料的 zkVM。這種靈活性使應用程式可以完全控制零知識證明 (ZKP) 的生成和優化方式，從而實現證明生成過程的更高客製化和效率。 

Brevis 聯合創始人 Michael Dong 在一份書面聲明中表示：“Pico 代表了 zkVM 設計和部署方式的轉變。” 「透過引入具有內建 zkCoprocessors 的模組化、應用感知的 zkVM，我們正在優化效能，並在可驗證計算中創建前所未有的客製化水平， Web3，“ 他加了。

與通常提供一刀切方法的傳統 zkVM 不同，Pico 採用模組化設計，可實現更大程度的客製化。這種設計使 Pico 能夠在 CPU 上提供最快的效能，速度比第二佳解決方案快 84% 到 155%。未來的更新將引入 GPU 加速，進一步增強效能。這種方法為鏈上協定和去中心化應用程式 (dApps) 提供了 zkVM，可確保提高效率、表現力和無需信任度。

Pico 的模組化「黏合和協處理器」架構將通用 zkVM 與高效能專用電路結合，為驗證領域、系統和工作流程提供了靈活性。與依賴低階預編譯的傳統 zkVM 不同，Pico 支援針對特定應用的電路，可根據不同的應用需求進行客製化。開發人員能夠透過內建選項或自訂實作將自訂電路集成為協處理器或預編譯器。這種設計使處理歷史區塊鏈數據的效能提高了 35 倍，減少了證明生成時間。

Pico：實現特定領域的證明結構，引入可自訂的證明工作流程 ProverChain，並支援 RISC-V 和 Rust

透過 Pico，開發人員可以創建特定領域的證明結構，將證明與專門的語言或自訂證明系統結合。 zkVM 首次支援可自訂的證明系統和素數域，無需任何程式碼修改。這種靈活性增強了零知識 (ZK) 加密，提高了速度、證明大小和整體效率。

此外，Pico 還推出了可自訂的證明工作流程 ProverChain。此工作流程使開發人員能夠產生驗證語句有效性的證明，並允許根據速度、記憶體使用情況或大小對證明生成進行微調。它還允許開發人員調整證明步驟以優化成本和可擴展性，同時在鏈下驗證的情況下繞過不必要的證明壓縮。

Pico 支援 RISC-V（一種開源模組化指令集架構）和 Rust（一種以注重安全性和效能而聞名的系統程式語言）。這種組合使開發人員能夠使用熟悉的工具和設定來建立 ZK 應用程式。 

幾個 Web3 協定和 dApp 已經在主網上推出了由 Brevis 提供支援的功能，包括 Kwenta、Usual、Algebra Labs、JoJo Exchange 和 Trusta。還有許多其他的，例如 薄煎餅交換 、Celer、Frax、Gamma、Quickswap、Mask Network、Kernel、 西娜 ，金協議， 0G 、Bedrock、Mellow Finance、ZettaBlock、Hemera 和 Mendi Finance 正在建造由 布雷維斯 .