【英文长推】Brevis 研究报告：zkVM 与 ZK 数据协处理器的无限可验证计算层

Chainfeeds 导读：

Brevis 通过整合通用 zkVM（Pico/Prism）与数据协处理器（zkCoprocessor），构建了一个多链可验证计算层。

文章来源：

Jacob Zhao

观点：

Jacob Zhao：「可验证计算」（Verifiable Computing）已经成为区块链的通用计算模型，其核心理念是「链下计算 + 链上验证」。这一范式使区块链在保持去中心化与信任最小化安全性的同时，获得近乎无限的计算自由。零知识证明（ZKP）是这一体系的支柱，应用方向主要包括可扩展性、隐私保护与互操作性 / 数据完整性。其中，可扩展性是最早落地的方向，通过将计算迁移到链下执行并在链上验证简洁证明，实现高吞吐与低成本的信任扩容。ZK 技术的演化路径可概括为：L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM。L2 zkRollup 首次实现链下执行与链上验证，极大提升性能；zkVM 则进一步扩展为通用的可验证计算层，支持跨链验证、AI 推理与密码学任务；zkCoprocessor 将此模型模块化，成为 DeFi、RWA、风险管理的即插即用证明服务；L1 zkEVM 最终将零知识验证嵌入以太坊执行层，实现实时证明（Realtime Proving, RTP）。这一演进代表区块链从「可扩展性」向「可验证性」转型，迈入无信任计算时代。以太坊的 zkEVM 之路经历了两个阶段：第一阶段（2022–2024），L2 Rollup 迁移执行层但引入流动性与状态碎片化；第二阶段（2025–），L1 RTP 以 1-of-N 证明取代 N-of-N 复验，在提升吞吐的同时保持去中心化。 在以太坊之外，零知识计算正迈向更广阔的可验证计算领域，核心体系包括 zkVM 与 zkCoprocessor。zkVM（零知识虚拟机）是通用可验证执行引擎，支持在 RISC-V、MIPS 或 WASM 指令集上运行任意程序，证明结果可在链上验证，用于区块验证、AI 推理及跨链任务。其优势在于通用性与灵活性，但生成证明的成本高、并行优化复杂。代表项目包括 RiscZero、SuccinctLabs 的 SP1 与 Brevis 的 Pico zkVM。相比之下，zkCoprocessor 更像是「特定场景的可验证模块」，为 DeFi、RWA 等提供标准化的计算与证明接口，应用只需调用 SDK 或 API 即可获取结果与证明，集成快、成本低，但通用性有限。两者共享「链下计算 + 链上验证」逻辑：执行计算的链上成本远高于链下生成与链上验证的综合成本。业务上，zkVM 属于「Proving-as-a-Service」模式，为基础设施提供计算引擎；zkCoprocessor 则是「Proof-API-as-a-Service」，以任务计费的 SaaS 化结构服务应用层。前者构筑技术护城河，后者推动商业落地。它们共同形成去信任化计算网络的两极：zkVM 打造计算底座，zkCoprocessor 推动生态繁荣。 Brevis Network 将 zkVM 与 zkCoprocessor 的架构融合，打造通用高性能可验证计算基础设施，被称为「无限计算层」。其 Pico zkVM 采用模块化架构，将通用执行层与硬件加速协处理层解耦，实现「General + Specialized」双层体系，支持多种证明后端与递归压缩模块，开发者可用 Rust 编写业务逻辑自动生成证明，大幅降低门槛。Pico Prism 进一步突破多 GPU 集群性能，在 64×RTX5090 环境下实现平均 6.9 秒证明、96.8% RTP 覆盖率，性能成本比领先同类 3.4 倍。Brevis 的 zk Data Coprocessor 让智能合约具备「记忆」，能在无需信任的前提下访问历史数据并执行验证，用于流动性奖励、跨链身份与数据驱动型 DeFi。其 Incentra 激励层通过 ZK 证明实现链上透明分发，已服务 PancakeSwap、Euler、UsualMoney、Linea 等协议。根据 Brevis Explorer，至 2025 年 10 月，网络已生成 1.25 亿份 ZK 证明，支持超 28 亿美元 TVL、验证交易量超 10 亿美元。Brevis 依托以太坊与 EigenLayer 安全层扩展至 BNB、Linea、0G 等多生态，为链上激励、流动性优化及跨链验证提供底层支撑，构建出技术与应用双向反馈的飞轮式可验证计算网络。【原文为英文】