什么是 Brevis（BREV）？一文读懂面向 Web3 的 ZK 无限计算层

区块链的共识要求每个验证者重复执行相同计算，这让链上计算既昂贵又受限，智能合约也难以直接处理大量历史交易数据，形成长期存在的计算瓶颈。

围绕「证明工作而非重复工作（prove work instead of repeating it）」的设计，Brevis 让链下计算结果能被链上以毫秒级验证，为 DeFi、数据驱动应用与 AI 场景提供可扩展的可信计算底座。

Brevis 是什么？为什么被称为 Web3 的「无限计算层」？

Brevis 作为可验证计算平台，把复杂计算从链上搬到链下，并用零知识证明保证结果不可篡改。链上验证者无需重复执行，只需检查一份「计算被正确执行」的简洁证明，开销远低于原始计算。

「无限计算层」的定位指向链上计算受限的痛点：以太坊（Ethereum）等网络限制单笔交易的计算量，复杂的数据统计、模型推理或跨链聚合难以在链上完成，链下执行加链上验证则把计算规模从区块 Gas 上限中解耦。

上表概括技术栈分工：Pico zkVM 与 ZK 数据协处理器负责「算」，coChain 负责「信」，Pico Prism、Vera 与 ProverNet 负责实时证明、内容溯源与证明供给。

Brevis 的 ZK 协处理器（ZK Coprocessor）是如何运作的？

智能合约对历史数据「近乎失明（blind to history）」，在链上直接读取并处理大量历史交易的成本过高。要让合约基于用户长期链上行为做决策，就需要一种无需在链上重放全部数据的机制。

ZK 数据协处理器正是为此设计：它在链下访问历史或跨链数据并完成计算，返回「结果 + 该数据真实存在且计算正确的密码学证明」，智能合约只需在链上以毫秒级验证即可采信。

可验证计算的数据流分四步：应用发起请求、协处理器在链下基于真实链上数据计算、生成计算正确的 ZK 证明、智能合约验证后接收结果。

图 1. Brevis 可验证计算数据流：应用请求 → 链下计算（Pico zkVM 与 ZK 数据协处理器基于真实链上数据）→ 生成 ZK 证明 → 链上验证器验证并返回结果。

Pico zkVM 在 Brevis 架构中扮演什么角色？

Pico zkVM 是 Brevis 开源的模块化零知识虚拟机，让开发者用 Rust 编写任意计算逻辑并生成证明。作为可验证计算的通用执行层，Pico zkVM 把「写程序」与「证明程序被正确执行」整合到同一套工具链。

其设计采用「胶水 + 协处理器（glue-and-coprocessor）」架构：通用 RISC-V 核心作为「胶水」执行 Rust 程序，遇到 Keccak-256 哈希、签名验证、机器学习推理等常见操作时，路由到专用「预编译电路（precompiles）」加速。据 Brevis 公开披露，这一设计可使证明速度提升约 10x 至 80x。

coChain 与加密经济安全模型如何保障计算可信？

Brevis 提供 pure-ZK（纯 ZK）与 OP / coChain 两种安全模型，差别在于「结果凭什么可信」——前者依赖密码学证明本身，后者叠加加密经济博弈；通过 Brevis SDK 编写一次业务逻辑即可在两者间部署。

coChain 是一条带「以太坊侧质押与罚没（on-Ethereum staking & slashing）」的 PoS 区块链。验证者基于对应链归档节点数据生成结果并达成 PoS 共识，连同聚合签名以「提案（proposal）」推送到请求链，进入「应用挑战窗口」。

窗口内若有人以 ZK 证明成功「挑战（challenge）」错误结果，对应验证者质押将在以太坊上被罚没；若无人挑战，结果可被 dApp 直接使用且免去证明成本。coChain 还计划集成 EigenLayer 以动态调节安全等级。

上表对比两种模型的取舍：pure-ZK 适合确定性要求最高的场景，coChain 在成本与吞吐上更灵活，二者可按需选择或组合。

BREV 代币在 Brevis 生态中有哪些用途？

BREV 是 Brevis 网络的原生功能与治理资产，围绕证明供给的经济循环运转，其角色可归纳为支付、抵押与治理三类，与 BREV 代币与 coChain 中的 Prover 激励与罚没机制直接相关。

上表列出 BREV 的三大功能，三者构成闭环：需求方付费、Prover 质押接单、社区治理调节参数，把证明供给质量与网络安全绑定在一起。

Brevis 与预言机、其他 ZK 协处理器有什么区别？

Brevis 与预言机（Oracle）解决的问题层次不同：预言机主要把链下数据搬上链，Brevis 侧重对链上及历史数据「做计算并证明计算正确」。区分「数据搬运」与「可验证计算」两种职责，是理解 Brevis 与预言机的区别的关键。

预言机通常依赖节点或数据提供方的信任假设；Brevis 用零知识证明让结果的正确性可被链上直接验证。与其他 ZK 协处理器相比，Brevis 的差异在于通用 Pico zkVM、ZK 数据协处理器与 pure-ZK/coChain 双模型的组合。

Brevis 有哪些真实应用场景（Real Adoption）？

Brevis 的「Real Adoption」强调把可验证计算落到实际业务。据 Brevis 官方博客（2025 年）披露，Brevis 已累计生成 3.4 亿（340M+）个证明，覆盖 8 条以上区块链上的 50 多个协议，相关激励与奖励计划累计规模达 3 亿美元以上。

数据驱动激励是典型方向：协议可基于用户真实链上历史（如交易量、持仓时长）发放奖励，由 ZK 证明保证不可伪造。ProverNet 是已在主网运行的去中心化证明市场，Prover 需质押 BREV 参与，失约将被罚没。

Pico Prism 面向以太坊提供实时区块证明；据 Brevis 官方披露，其在 16 张 GPU 上达到约 99.8% 的实时覆盖率，并对齐以太坊基金会（Ethereum Foundation）设定的 10 万美元硬件目标。该基金会的 On-Prem Proving Initiative（Ethproof）于 2026 年 3 月将 Brevis 列为四支入选团队之一。Vera 则用 ZK 证明媒体来源与真实性，面向深度伪造（deepfake）时代的内容溯源。

图 2. Brevis 技术栈与生态全景：Pico zkVM、ZK 数据协处理器、Pico Prism、Vera、ProverNet、coChain 与 BREV 代币的分工关系。

使用 Brevis 有哪些优势、风险与局限？

Brevis 的优势集中在可扩展性与可信度：链下执行加链上验证把计算规模从区块 Gas 上限中解耦，ZK 证明让结果无需信任第三方即可核验，一次编写、多模型部署的 SDK 提升了工程灵活性。

局限主要来自 ZK 计算本身——生成零知识证明需要专门硬件与算力，通用计算路径的证明开销仍高于原生执行，复杂逻辑的成本与延迟是结构性约束。

风险方面，coChain 的安全性取决于挑战者是否活跃与质押是否充足；智能合约与 SDK 集成层可能存在实现缺陷；ProverNet 的证明供给也受 Prover 参与度影响。以上均为机制层面的客观约束，不构成投资判断。

总结

Brevis 作为面向 Web3 的可验证计算平台，用「证明工作而非重复工作」把昂贵计算放到链下，再让链上以毫秒级验证一份简洁证明。其技术栈以 Pico zkVM 与 ZK 数据协处理器承担计算，以 pure-ZK 与 coChain 双模型提供可信来源，并由 BREV 代币串联费用、质押与治理，结合 Pico Prism、Vera、ProverNet 等真实应用落地。

FAQ

Brevis（BREV）是什么？

Brevis 作为由零知识证明驱动的可验证计算平台，被称为面向 Web3 的无限计算层，把复杂计算放到链下执行、再让链上验证一份简洁证明，从而避免验证者重复执行同一计算。

ZK 数据协处理器和预言机有什么不同？

预言机主要把链下数据搬运上链，仍需信任数据源；ZK 数据协处理器则在链下基于真实链上或历史数据完成计算并附带密码学证明，使结果正确性可被链上直接验证。

Pico zkVM 为什么能提升证明速度？

Pico zkVM 采用「胶水 + 协处理器」架构：通用 RISC-V 核心执行 Rust 程序，常见操作路由到专用预编译电路加速，据 Brevis 公开披露可使证明速度提升约 10x 至 80x。

pure-ZK 与 coChain 两种模型如何选择？

pure-ZK 完全依赖密码学证明，确定性最高但每次都需生成证明；coChain 通过以太坊侧质押罚没与挑战窗口提供保障，无人挑战时可省去证明成本，两者可经 Brevis SDK 一次编写、按需部署。

BREV 代币有哪些用途？

BREV 作为 Brevis 网络的原生功能与治理资产，主要有三类用途：支付证明费用（proving fees）、作为 Prover 的质押抵押品（锁仓获任务、失约被罚没）与参与协议参数治理（governance）。