作者：区块律动

在 2025 年 11 月阿根廷 Devconnect 上，以太坊基金会研究员 Justin Drake 演示了一个不同的区块验证流程，他的验证节点使用 zkLighthouse 客户端，只依赖来自 Brevis 的 Pico zkVM 等协议的零知识证明，就完成了对区块的有效性判定。这极有可能预示了未来以太坊的扩容方向。它证明了一件事情：区块链不必重复执行所有计算，只要能够验证外部生成的证明即可。

Brevis 是什么：正在被协议与以太坊核心使用的可验证计算层

Brevis 的定位不只是某个具体应用，而是一个可验证的计算层。作为无限计算层（Infinite Compute Layer），它允许复杂计算在链下执行，并通过零知识证明把结果带回链上，由智能合约用极低成本完成验证。这件事之所以重要，是因为以太坊的默认安全模型，本质上依赖全网复算，每个验证节点在收到新区块后，往往都要把区块里的交易重新跑一遍，才能确认这个区块的执行结果确实正确。虽然保证了正确，但也意味着算力与资源消耗会随着负载变重而持续抬升。Brevis 正把这部分必须重复做的重计算改写为一次计算、全网验证，在链下完成计算并生成证明，链上与节点只需验证一个很小的证明即可。

与许多只关注隐私或扩容的 zk 应用不同，Brevis 是在实际解决 Web3 行业的结构性问题，当链上计算越来越复杂、越来越频繁时，系统是否一定要靠每个节点重复执行来维持可信？Brevis 的路径是把计算迁出链外，由 zkVM 执行并生成证明，链上合约仅验证证明即可，从而让合约能够可信地利用历史数据、跨链状态或复杂算法结果，同时不引入额外信任假设。在实现这个目标的过程中，ZK Data Coprocessor、Pico zkVM 与 ProverNet 构成了其目前的三大技术核心。

让智能合约突破边界：ZK Data Coprocessor 带来的超能力

Brevis 最初的技术突破是 ZK Data Coprocessor。它使智能合约能够查询任意链上历史数据、执行链下计算并生成零知识证明，将计算结果作为可信输入提供给合约。ZK Data Coprocessor 可以查询和计算链上历史交易量或用户行为，并生成零知识证明供合约验证。这使得原本只能访问当前区块的合约，也能利用长时间窗数据和跨链状态。

2023 年 Brevis 做出 Coprocessor 原型后一路迭代，到 2025 年 1 月推出 v2 并上线主网。v2 的关键变化，不必纠结具体证明体制的名字，可以抽象成三点：更快（同样的任务用更少资源、更短时间做完）、更通用（能覆盖更多类型的数据与计算需求）、更好用（简化流程，把复杂性封装起来）。

回头看 2025 年之前 Brevis 的技术路线，其实就一条主线，先把证明系统的性能边界摸清，再把链下算、链上验做成可用的 Coprocessor 并持续工程化迭代，随后探索更系统化的运行形态。更难得的是彰显了团队的底色，既懂密码学，也懂大规模系统工程，不靠纸面推导取胜，项目初期就确定了行业痛点，并且致力于技术大规模采用。

当证明能力进入系统层：Pico zkVM 与 ProverNet

2025 年 Brevis 把三驾马车里另外两块也补齐了，一块是更通用、更面向生产环境的证明执行引擎 Pico zkVM，另一块是把证明生成能力做成开放供给的 ProverNet，从可证明走向能持续、规模化地供给证明。

Pico zkVM 可以理解为 Brevis 的通用证明引擎，它把零知识证明从专用电路、手工适配推进到更像软件工程的形态——开发者用熟悉的开发方式写逻辑，再由底层把它变成可验证的证明结果。更关键的是，Pico 从一开始就面向真实业务的吞吐与成本，同一套基准下，Brevis 给出的对比显示 Pico 在主流 zkVM 中具备明显的性能优势，同时还能通过可插拔组件/协处理器的方式，把特定类型的计算做得更高效。

2025 年 6 月，Brevis 发布 Pico-GPU，把实时证明生成速度推到了一个关键拐点，不只是对协议，更是整个行业。Pico-GPU 把证明生成的核心过程系统性搬到 GPU 并行上，官方给出的提升幅度达到 10–20 倍，相较于之前的解决方案有了质的飞跃。

10 月发布的 Pico Prism 则把这个方向推到了一个非常直观的门槛，在 64 张消费级 GPU 的配置下，实现了以太坊 45M gas 区块 99.6% 在 12 秒内完成证明、96.8% 在 10 秒内完成证明，平均证明时间约 6.9 秒，无限接近以太坊基金会的目标。实时证明生成速度第一次近乎完美的追上了以太坊出块速度，而且相较于竞品，使用了更少的资源。

这类进展也得到了以太坊核心社区的直接回应。Vitalik 直接在推文中提到，Pico Prism 进入 ZK-EVM 证明赛道是证明速度与多样性的重要一步。Justin Drake 在早前的推文里用非常明确的口径评价实时证明 Pico Prism 进展非同寻常，要知道，今年 5 月，SP1 Hypercube 需要 160 张 RTX 4090 才能在 12 秒内证明约 94% 的 L1 区块。在实时证明速度上如此这种断崖式领先，让 Brevis 的 Pico Prism 成为最受瞩目的解决方案。

在成功开发通用 zkVM 和实时证明技术后，Brevis 开始解决证明供给问题。2025 年 11 月，Brevis 公布了 ProverNet 愿景，将证明能力市场化，任何应用都可以提交证明任务，通过拍卖机制在市场中匹配到 prover 节点。12 月上线的主网 Beta 进一步把它落到可用的产品形态，市场持续运转、证明请求可以直接提交，prover 也能注册并开始竞价接单，应用不必再自建证明基础设施。

通过三驾马车，Brevis 让证明能力从工具变成基础设施，既有可规模化的证明引擎，也有开放的证明供给网络，让应用按需获得可验证计算。它的意义不只在以太坊——这种链下计算、链上验证的范式会外溢到整个 Web3，乃至其他诸如 AI 和游戏等行业。

协议不会说谎：用起来才算数

Brevis 的技术价值最终体现在真实应用中。它不是被放在宣发物料上展示的概念，而是被塞进协议的日常运转里，数据怎么取、指标怎么算、奖励怎么发、费率怎么调——这些原本要么做不了、要么只能靠中心化脚本硬凑的事情，如今开始出现一条更协议化的路径，在这过程中，Brevis 已经为用户生成了超过 2.8 亿份证明、分发了超 2.3 亿美元的奖励并安全驱动了 25 亿美元 TVL 增长。

理解 Brevis 最直观的入口，可以从用户最熟悉的交易入手。Brevis 可以在确保数据隐私和真实的情况下，让 DEX 拥有 CEX 般的功能，从而改善 DEX 用户的交易体验。PancakeSwap Infinity 通过 hooks 让手续费分级成为可能，持币、交易量等历史行为都会影响你这一笔的费率。但这些判断要依赖历史数据聚合，放链上太贵、放链下又会引入信任问题。Brevis 做的，是把历史行为在链下算清楚，再用证明把数据带回链上，让差异化费率可以写进合约，而不是像 CEX 一样写在后台脚本里。

如果说 PancakeSwap 对应的是更像 CEX 的个性化体验，Usual 展示的则是更长期的增长机制，把激励从一次性空投变成持续运行的 CPI。奖励与持仓、交互等行为长期绑定，而 Brevis 让这些指标变成可验证输入，使分配自动化、可审计，不需要社区去相信某个运营表格或中心化发放者。通过 Incentra 把奖励发行做成标准化能力，协议想发 LP、借贷或持仓奖励，核心是链下算指标、链上按证明结算。Euler 在 Arbitrum 的活动就是代表——奖励不靠人工统计与多签发放，而是由规则与证明支撑的持续分配。

当场景扩展到生态级别，Linea 的 Ignition Program 更能说明问题，难点不是发激励，而是如何发。Brevis 让大规模激励计算在链下完成，并把可信性带回链上验证，从而把激励从中心化运营动作，推向可复用的系统能力。同样偏系统的还有 Uniswap v4 的 Routing Rebate Program。路由是否发生、gas 消耗如何统计、返还金额如何计算，都是数据—计算—结算链条。Brevis 在这里承担链下计算与证明生成，让返还系统基于规则 + 验证，而不是信任某个统计方。

把这些案例串起来看，Brevis 的数据获取、指标计算与证明生成，让协议在不牺牲去中心化的前提下，把更多原本只能靠中心化后台实现的逻辑写回链上，整个加密行业的协议能做的事也更多，设计空间也因此被重新打开。

谁在支持长期主义技术？

Brevis 的核心团队由顶尖高校背景的研究者与一线系统工程师共同组成，特点很鲜明，既能做证明系统与算法层面的长期攻关，也能把复杂技术压进真实生产环境里反复打磨，直到性能、稳定性与成本都达到可规模化部署的标准。更重要的是，他们并不是只懂技术的实验室团队——对加密行业的运行方式同样熟悉：理解协议方的真实需求、生态合作的推进节奏，也具备资本与社区层面的长期积累，能把工程路线转化为持续落地的伙伴关系与开发者动能。

这点从资本与社区对 Brevis 的长期支持中可见一斑。Brevis 在 2024 年 11 月完成种子轮融资，由 Polychain 和 Yzi Labs 等一线机构领投，为其持续推进 zkVM、证明网络与产品化落地提供了资金支持。与此同时，Brevis 的社区在 2025 年出现显著增长，配合 Proving Grounds、角色系统与任务机制吸引开发者与用户持续参与。再叠加 Vitalik 的公开肯定与以太坊基金会 Justin Drake 在实验与讨论中对相关进展的关注，这些共同构成了 Brevis 作为基础设施继续扩展的外部背书与信任资本。

从以太坊到更广阔的世界

以太坊扩容长期卡在一个结构性两难，要么让所有节点重复计算来换取安全与去信任，但吞吐与成本被全网复算牵制；要么把计算外包出去提升效率，却不得不额外信任某个计算方。Brevis 试图提供第三条路——把复杂计算放到链下完成，再用证明把可信性带回链上验证，把系统从重复计算推进到验证结果的分工模式。它的价值也因此不在于某一个产品点，而在于把一整套可验证计算的链路打通。

Brevis 并不是解决以太坊扩容问题的唯一方案，但它展示了可验证计算层的重要价值，将计算与验证解耦，既保障了安全和去中心化，又释放了链上执行的压力。更重要的是，无限计算层的功效不止发生在以太坊。对整个加密行业而言，它意味着更多链上应用可以在不牺牲安全性的前提下，获得接近 Web2 的复杂度与体验；而放到更广泛的传统世界，先算后验的可验证计算也提供了一种新的协作方式——当多方需要共享结果、却无法共享信任时，证明可以成为新的通用语言。随着 ProverNet 这样的开放证明网络成熟，Brevis 所构建的将不只是某条链的能力增强，而是一种跨生态、跨行业都可调用的可信计算供给。