智能 ZK 引擎 Brevis 推出高性能模塊化通用 zkVM Pico。Pico 允許開發人員使用 Rust 語言,在通用 zkVM 的基礎上接入高度優化的 ZK 協處理器,從大量內置選項中進行選擇或完全自定義證明後端與虛擬機實例,優化應用程序性能和用戶體驗。