撰文：深潮 TechFlow
站上 Vitalik 位置，一举一动都是焦点。
如果他某次在社媒提及了某个项目，大家会猜测背后动机，但如果他多次转发评论某个项目，甚至用「感到兴奋」来形容，那无需任何猜测，这代表着长期关注与高度认可。
大概率你已经知道了这个项目：ZK 智能可验证计算平台 Brevis。
2025 年 10 月，Brevis 宣布推出的 zkVM Pico Prism 在消费级硬件上实现以太坊实时证明，并在 Vitalik Buterin、以太坊官推以及以太坊 OG 研究员等以太坊核心圈层的转发支持下，正式站上未来以太坊扩容的核心舞台。
而当以太坊生态因为 Brevis 系列技术里程碑有望在 2026 年实现 100 倍扩容而欢欣鼓舞的同时，Brevis 又通过与 Usual、PancakeSwap、Aster、Euler、Linea、Uniswap 等一系列重磅生态合作，强有力的传递出：
作为万物的无限计算层，Brevis 并非只为以太坊而构建，而是在多链生态多样化生产级应用场景中拥有强大的落地能力。
十月份在接受公开采访时， Brevis 联合创始人兼 CEO Michael 曾表示：
我们希望十年后 99% 与 EVM 相关的计算都发生在链下并通过 Brevis 实现可验证计算。
从以太坊扩容未来，到生产级场景里已经诞生的 2.88 亿份证明，由 Brevis 所掀起的浪潮，会将以太坊的未来提前多少年？又会在生产级场景中把 ZK 可验证计算的边界推向多远？
市场低迷，但 Brevis 绝对炙手可热
这是一个从任何角度看，都拥有闪亮明星光环的项目。
2023 年，当 ZK 叙事进入冷静期，一群毕业于 UIUC、MIT、Berkeley、Princeton 等名校，怀揣着「让大规模计算变得可验证」愿景的计算机博士、Crypto OG 组团进入赛道，Brevis 由此诞生。
核心成员深厚的学术背景，造就了 Brevis 在技术实现方面的严谨风格，也使得 Brevis 频繁因技术重大突破而实现出圈，刚刚提到因在消费级硬件上实现了以太坊实时证明，而引发包括 Vitalik Buterin、以太坊官推以及以太坊 OG 研究员 Justin Drake 等核心成员倾巢出动的阵势，至今仍被社区津津乐道。
Vitalik Buterin 转发并称其为：这是 ZK-EVM 验证速度和多样性方面迈出的重要一步。
以太坊官推转发时写到：这是迈向以太坊未来的一大步。
以太坊 OG 研究员 Justin Drake 则撰写了一篇长文介绍 zkVM Pico Prism 并表示：以太坊的未来一片光明。
「学术」曾是 ZK 身上最突出的标签之一，在 ZK 长期停留在概念阶段、迟迟无法落地的质疑声里，「学术」对于 ZK 而言在某些时候却成为了一种暗讽。
作为务实学术派，Brevis 核心团队成员当然也注意到了这一点，在追求技术严谨的同时，又始终坚持以需求驱动产品，ZK 不是目的，而是一种手段。
这种理念促使 Brevis 早早从实验室走向实际应用：
根据官网生态系统页面显示，Brevis 已与数十家项目建立合作，涵盖 DeFi、基础设施、稳定币等赛道，其中我们很容易就能注意到诸如 PancakeSwap、Metamask、Linea、Uniswap、Aster 等知名项目的身影。目前，Brevis 已生成超过 2.88 亿份 ZK 证明，用户超 20 万，分发了 2.3 亿美元的可验证奖励计算，由 Brevis 驱动的 TVL 超过 25.4 亿美元。
资本市场也早早的为 Brevis 投下信任票：
2024 年 9 月，Brevis 完成 750 万美元融资，吸引 Polychain Capital 和 Yzi Labs 共同领投，IOSG Ventures、Nomad Capital、Bankless Ventures、Hashkey 和几位未披露的天使投资人共同参投。
所以说，说 Brevis 炙手可热，其实并没掺杂夸张成分。
但一个项目真正的分量，从来不只在于它拿到了多少认可，而根本在于如何为现实世界带来真正的改变，Brevis 之所以成为明星项目，离不开其解决方案的技术可行性与大规模落地能力。
走入「万物无限计算层」叙事背后：Brevis 如何实现？
一句话总结 Brevis 的核心：链下计算，链上验证。
作为一个专注于零知识（ZK）可验证计算的基础设施平台，Brevis 把昂贵、受限的链上计算搬到高效离链环境执行，再用 ZK 证明把结果安全带回链上，不用担心 Gas 成本飙升，同时无需担心安全及信任问题。
围绕「万物无限计算层」愿景，Brevis 生态拥有三大产品组件：Pico zkVM、ZK Data Coprocessor 和 ProverNet。
Pico zkVM 可以看做是 Brevis「无限计算层」愿景的引擎，它专为构建安全、可扩展、高性能的去中心化应用而设计，相比较其他 zkVM 拥有一系列核心优势：
首先，Pico zkVM 灵活且低门槛，模块化设计使得开发者能够像搭积木一样自定义功能，并且支持开发者用 Rust 编写任意程序同时 RISC-V 兼容，不需要学复杂的电路语言，也不用手动优化递归，开发者只需改几行配置，就能针对自己的应用把性能、成本、安全性调到最优。
更重要的是，Pico zkVM 更快，可以证明任何计算，这从根本上破解了 ZK 大规模落地的难题：2025 年推出的 Pico Prism 多 GPU 版本在消费级硬件上实现了 99.6% 的以太坊主网区块实时证明覆盖率，使得 Brevis 成为全球最快的 zkVM，相比第二名 SP1 Hypercube 方案，Pico Prism 快了 32 倍，同时将 GPU 硬件成本降低了 50%，支持更低的成本、更高的效率生成证明。
另外，通过与另一核心功能 ZK Data Coprocessor 的协作，Pico zkVM 将在处理历史链上数据方面实现性能暴增，这使得 Pico zkVM 更实用，更能在生产环境实现大规模采用。
ZK Data Coprocessor（ZK 数据协处理器）算是 Brevis 最成熟、落地最广泛的产品。它的核心作用在于：让智能合约可以无信任、低成本地访问和计算任意历史链上数据，就像给合约装了一个「无限历史数据库」。
以前，合约想读历史数据，一般有两个选择：一是自己慢慢查，但 Gas 贵的离谱；另一个则是通过中心化预言机，但存在信任和安全风险。
而 ZK Data Coprocessor 给出了第三种选择：不仅能访问几乎所有历史链上信息，且使用门槛非常低，开发者不需要懂 ZK 电路即可调用数据，Brevis 后台将自动从链上拉取真实历史数据、高效生成 ZK 证明并验证，整个过程 Gas 成本极低，且完全无需信任。
最后一个关键产品模块则是 ProverNet：这是一个去中心化的 ZK 证明生成市场，任何应用可以提交证明需求，任何专业证明者可以竞标完成任务。
我们知道，不同项目、不同场景下，对证明的需求也是千差万别的，若每个应用自己建证明基础设施，不仅成本高，而且效率低。
ProverNet 则是致力于把证明生成这件事儿，放进公开市场里：应用提需求，专业的证明者报价并响应需求，复杂任务可分解成子任务，由不同证明者协作完成，证明生成后，可验证到任何目标链。
任务通过 Brevis 的 Truthful Online Double Auction（TODA，真实在线双拍卖）进行匹配撮合，同时 ProverNet 运行在 Brevis 推出的专用 Rollup Brevis Chain 之上，进一步保证效率。目前，ProverNet 已上线 Mainnet Beta 版本。
这三大产品组件层层嵌套：ZK Data Coprocessor 负责「拿数据」，Pico zkVM 解决「证明安全高效生成」问题，而 ProverNet 则通过市场决定谁来证明以及如何证明最优，形成了一个完整的「无限可验证计算」闭环。
这样光聊技术，可能对于很多小白来说还是有点抽象。
好在 Brevis 拥有非常丰富的应用场景，能够帮助用户在生动具体的案例中，快速明白 Brevis 的核心优势，以及实现「万物无限计算层」的核心价值。
从以太坊扩容到 2.88 亿份证明：真正的规模化落地
关于 Brevis 使用场景讨论最多的，莫过于以太坊扩容。
2025 年 7 月，以太坊基金会发表《Shipping an L1 zkEVM #1: Realtime Proving》一文，正式确认 L1 zkEVM 扩容路线：一个节点生成一个区块的 ZK 证明，这个证明可以被整个网络的数百万节点验证，验证所需的计算能力只是区块计算本身的万分之一，甚至更少。
这与 Brevis 技术方向高度契合，也因 Brevis zkVM Pico Prism 的推出而被彻底点燃。
2025 年 10 月 15 日，Brevis 宣布其推出的 zkVM Pico Prism 已在消费级硬件上实现了以太坊实时证明：使用 64 块 RTX 5090 显卡，在 12 秒内完成了 99.6% 的以太坊 L1 区块证明，其中 96.8% 的区块证明时间低于以太坊基金会设定的 10 秒内标准。在 2025 年 9 月 1 日的测试中，在以太坊当前 45M 的 gas 限制情况下，Pico Prism 平均证明时间仅 6.9 秒。
这意味着，从理论上来说，通过 zkVM Pico Prism，以太坊将能够即刻实现 10 乃至 100 倍扩容，并且由于 Pico zkVM 支持多 GPU 并行计算，Brevis 甚至能够在不增加大量额外计算资源的情况下，实现真正意义上的无限扩容。
2025 年 11 月的 ETH Devconnect 大会上，以太坊 OG 研究员 Justin Drake 现场通过 Demo 进行了 Brevis 的 Pico ZKVM 完成新共识算法的演示，随后不久 Vitalik 也发表推文分享了围绕这一方向以太坊未来可能会推进的改进。Brevis Pico ZKVM 的突破性进展使得以太坊 L1 zkEVM 扩容路线从规划真正变成可以实现的未来。
虽然 Brevis 实现以太坊实时证明引发刷屏热议，但 Brevis 的价值绝不仅仅只在以太坊。
理论上而言，Brevis「链下计算、链上验证」的这套逻辑适用任何场景，且 Brevis 的技术栈是支持多链的，追求实现「万物无限计算」，这也是 Brevis 技术之外对的另一核心优势：真实场景下的大规模落地。
如果你是加密世界的活跃参与者，那么你很可能已经在不知不觉中体验过了 Brevis 服务。
过去一年，Brevis 与数十家头部协议建立深度合作，合作伙伴几乎覆盖了 DeFi、稳定币、DEX、L2 生态头部项目，进一步彰显了行业对于 Brevis 的认可，且每一家合作都不是流于表面的「概念集成」，而是真正在生产环境中大规模应用，展现可验证计算的多场景下的巨大价值。
Brevis 和 PancakeSwap 的合作是最典型的案例之一：传统 DEX 无法低成本访问历史数据，导致个性化体验难以实现，而通过与 Brevis 合作，复杂逻辑在链下执行、链上验证，然后为用户生成交易量证明，智能合约根据证明执行不同手续费率，带来更精细化的用户体验管理，让 PancakeSwap 从统一费率 DEX 进化成用户行为智能响应的平台。
此外，Brevis 与 Usual 合作共同开创的 CPI 持续协议激励模式，则被很多人视为取代传统空投和快照激励的新范式：Brevis ZK Coprocessor 通过持续追踪用户在 Usual 生态的真实行为而识别真正有贡献的参与者。同样的事情也正在 Euler 与 Linea 等生态上演，通过 ZK 证明构建复杂激励分配模型，保证了激励分配的公平性、合理性、安全性和透明度。
此外，2025 年 10 月 24 日，Uniswap 基金会还正式宣布授予 Brevis 最高 900 万美元的资助，用于开发和运营 Hooks Routing Rebate Program，该程序旨在利用 Brevis ZK 证明的高效率、低成本、无需信任等优势，激励 DEX 聚合器产品更快集成 v4 hooked pools，最终在流动性、滑点、交易费等方面惠及用户。
近期，Brevis 还宣布与多链 DEX Aster 达成合作，旨在通过可验证计算技术优化永续 DEX 的速度、安全性与隐私性，Brevis 可将链上复杂计算迁移至链下并生成零知识证明，以降低链上验证成本，双方将探索在保障市场透明度的同时保护用户仓位隐私的可行方案。
这些曾经「太贵、太慢」而做不到的功能，如今都在通过 Brevis 一一实现，带来更高的交易效率、更公平的价值分配以及更优秀的用户体验。
未来，随着更多生态合作的展开以及 ProverNet 市场机制的成熟，Brevis 的可验证计算价值还将在更广泛丰富的场景中更深入渗透。
让可验证计算，真正成为下一代链上应用的默认配置
在加密市场当下略显无聊的周期里，注意力变得更诚实：没有持续兑现的东西，很难反复被提起。
Brevis 的「热」，并不只来自名校履历、融资名单或来自 V 神的转发推文，而在于它踩中了一条更硬的共识：让可验证计算，真正成为下一代链上应用的默认配置，并通过丰富的落地场景加速可验证计算未来的到来。
而正因为有了 Brevis 在现实场景落地中所创造的 2.88 亿证明，我们才能更清晰感知到：经历多年摸索，ZK 可验证计算真正处于全面爆发的前夜。
当然，在真正走向爆发之前，Brevis 的未来仍面临很多不确定因素，比如当下的 Pico Prism 仍有优化空间，Brevis 表示下一步将专注于降低证明成本，计划在未来几个月内使用少于 16 块 RTX 5090 GPU 实现 99% 的实时证明，另外 Brevis 生态的经济循环仍未真正开始启动。
未来，随着技术突破、经济模块补齐以及系列 里程碑的达成，Brevis 能够逐个将考验转化为证明价值的机遇，在更广泛的多链场景里持续输出「可验证的结果」？
站在可验证计算未来的趋势里，我们保持期待。
