智能 ZK 引擎 Brevis 推出高性能模块化通用 zkVM Pico。Pico 允许开发人员使用 Rust 语言,在通用 zkVM 的基础上接入高度优化的 ZK 协处理器,从大量内置选项中进行选择或完全自定义证明后端与虚拟机实例,优化应用程序性能和用户体验。