Pico zkVM 是什么？Brevis 模块化 zkVM 的架构解析

区块链共识要求每个验证者重复执行相同计算，链上直接完成复杂逻辑既昂贵又受限。zkVM 的价值在于把执行搬到链下，只在链上验证一份简洁证明，从而突破单笔交易的计算上限。

作为 Brevis（BREV） 可验证计算的通用执行层，Pico zkVM 用「胶水 + 协处理器」架构兼顾灵活性与性能，为数据处理、签名验证、机器学习推理与以太坊区块证明等场景提供统一的编程与证明工具链。

Pico zkVM 是什么？

Pico zkVM 作为 Brevis 的通用可验证计算执行层，把「写程序」与「证明程序被正确执行」整合到同一套开源工具链。开发者无需自行设计底层电路，用 Rust 即可描述计算逻辑，由 Pico 负责链下执行与证明生成。

「模块化」体现在两个层面：通用核心可执行任意程序，可插拔的专用协处理器则针对高频操作单独优化。这种设计让 Pico 既能覆盖广泛计算，又能在关键路径上逼近专用电路的性能，避免通用 zkVM 常见的「灵活但慢」问题。

什么是「glue-and-coprocessor（胶水 + 协处理器）」架构？

「glue-and-coprocessor（胶水 + 协处理器）」是 Pico zkVM 的核心设计思路：以一个通用核心作为「胶水」串联整个程序流程，把计算密集且高频的操作交给专用「协处理器 / 预编译电路（precompiles）」处理。

通用 RISC-V 核心负责执行任意 Rust 程序，保证灵活性；当程序遇到 Keccak-256 哈希、签名验证、机器学习推理或区块链数据处理等常见操作时，Pico 将其路由到对应的专用电路，而非逐条 RISC-V 指令生成证明。

逐条指令证明开销高，是通用 zkVM 的主要瓶颈。用为零知识证明优化的专用电路替代这一过程，据 Brevis 公开披露可使证明速度提升约 10x 至 80x，从而在不牺牲通用性的前提下显著降低证明成本。

通用核心与专用协处理器如何分工？

通用核心与专用协处理器的分工，可概括为「灵活执行」与「高效证明」的组合：前者覆盖任意逻辑，后者针对高频操作。

上表显示，通用核心保证 Pico 能运行任何程序，专用协处理器则把哈希、签名、ML 推理与数据处理等高频操作从「逐条指令」升级为「整块电路」证明。程序运行时由核心自动路由，开发者通常无需手动切换执行路径。

图 1. Pico zkVM 的「胶水 + 协处理器」架构：通用 RISC-V 核心（胶水）执行任意程序，遇到 Keccak-256、签名验证、ML 推理与区块链数据等常见操作时路由到专用协处理器 / 预编译电路。

开发者如何用 Pico 编写可验证程序？

Pico 的开发流程围绕「链下执行、链上验证」展开，共分四步：用 Rust 编写任意计算，Pico 链下执行产出结果，生成计算被正确执行的密码学证明，最后由智能合约在链上验证这份简洁证明。

流程的关键在于最后一步：链上合约验证的是证明，而非重新执行整个程序。验证一份简洁证明只需毫秒级开销，与原始计算的规模基本无关，因此复杂逻辑也能被链上低成本采信。

对开发者而言，Pico 用熟悉的 Rust 语言降低了零知识开发门槛，无需掌握底层电路设计即可产出可验证程序，把密码学复杂度收敛在工具链内部。

图 2. Pico zkVM 开发流程：用 Rust 编写程序 → Pico 链下执行 → 生成 ZK 证明 → 智能合约链上验证。

Pico 与 ZK 数据协处理器是什么关系？

Pico zkVM 与应用级协处理器（application-level coprocessor）是「通用胶水」与「专用引擎」的关系。ZK 数据协处理器是其中最主要的范例：它在链下访问历史与跨链数据并完成计算，再附上数据真实、计算正确的密码学证明。

在这一分工中，Pico 作为「胶水」，负责在高效的专用模块之间路由数据，同时保持通用 zkVM 的灵活性。应用逻辑既能调用通用核心处理自定义计算，又能借助数据协处理器高效读取链上历史。

换言之，Pico 提供「怎么算都行」的通用性，应用级协处理器提供「特定场景算得快」的专用性，二者组合构成 Brevis 可验证计算的完整执行栈。

Pico zkVM 适合哪些场景？

Pico zkVM 的适用场景集中在需要「可信计算 + 链上验证」的方向，数据处理、签名验证、机器学习推理与以太坊区块证明是四类典型用例。

上表列出四类典型场景与对应的执行组件。数据处理与签名验证依赖专用协处理器加速，ML 推理为链下模型输出附带证明，以太坊区块证明则是最具代表性的落地方向。

以太坊区块证明由 Pico Prism 承担，它作为基于 Pico 的以太坊实时区块证明系统；据 Brevis 官方披露，其在 16 张 GPU 上达到约 99.8% 的实时覆盖率，对齐以太坊基金会（Ethereum Foundation）设定的 10 万美元硬件目标。与把链下数据搬上链的预言机不同，Brevis 与预言机的区别在于 Pico 侧重对链上数据的可验证计算，而非外部数据喂价。以太坊基金会的 On-Prem Proving Initiative（Ethproof）于 2026 年 3 月将 Brevis 选为四支入选团队之一。

使用 Pico zkVM 有哪些优势与注意事项？

Pico zkVM 的核心优势是「灵活性与性能兼得」：通用核心保证任意程序都能运行，专用协处理器让高频操作接近专用电路的效率，Rust 工具链又降低了零知识开发门槛。

注意事项主要来自专用电路的覆盖范围与证明供给经济。协处理器与预编译电路只对已优化的操作生效；若程序大量依赖尚未覆盖的运算，仍需回退到通用核心的逐条指令证明，性能优势随之减弱。BREV 代币与 coChain 中的 Prover 质押与罚没机制，则把证明市场的交付可靠性与代币抵押绑定在一起。

证明成本是另一结构性约束。生成零知识证明需要专门硬件与算力，通用计算路径的证明开销仍高于原生执行，复杂逻辑的成本与延迟需要在设计阶段评估。以上均为机制层面的客观约束，不构成投资判断。

总结

Pico zkVM 作为 Brevis 开源的模块化零知识虚拟机，用「胶水 + 协处理器」架构把通用 RISC-V 核心与专用预编译电路结合：核心执行任意 Rust 程序，高频操作路由到专用协处理器，据 Brevis 公开披露可使证明速度提升约 10x 至 80x。开发者用 Rust 编写计算、链下执行并生成证明，链上只验证简洁证明；配合 ZK 数据协处理器等应用级协处理器与 Pico Prism 等落地系统，Pico 构成了 Brevis 可验证计算的通用执行层。

FAQ

Pico zkVM 是什么？

Pico zkVM 作为 Brevis 开源的模块化零知识虚拟机（zkVM），让开发者用 Rust 编写任意计算逻辑，在链下执行并生成零知识证明，智能合约只需在链上验证简洁证明，而无需重新执行整个程序。

「glue-and-coprocessor」架构如何提升证明速度？

该架构以通用 RISC-V 核心作为「胶水」执行程序，遇到 Keccak-256 哈希、签名验证、ML 推理等常见操作时路由到专用协处理器（precompiles），用为零知识证明优化的专用电路替代逐条指令证明，据 Brevis 公开披露可使证明速度提升约 10x 至 80x。

开发者如何用 Pico 编写可验证程序？

开发者用 Rust 编写任意计算逻辑，由 Pico 在链下执行并产出结果，再生成计算被正确执行的密码学证明；智能合约在链上验证这份简洁证明，验证开销为毫秒级，与原始计算规模基本无关。

Pico zkVM 与 ZK 数据协处理器有什么关系？

Pico zkVM 作为「胶水」，在高效的专用模块之间路由数据并保持通用性；ZK 数据协处理器是其最主要的应用级协处理器范例，负责在链下访问历史与跨链数据并附带计算正确的证明，二者组合构成完整执行栈。

什么是 Pico Prism？

Pico Prism 作为基于 Pico 的以太坊实时区块证明系统，据 Brevis 官方披露在 16 张 GPU 上达到约 99.8% 的实时覆盖率，对齐以太坊基金会（Ethereum Foundation）的 10 万美元硬件目标；以太坊基金会 On-Prem Proving Initiative（Ethproof）于 2026 年 3 月将 Brevis 选为四支入选团队之一。