撰文：深潮 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 可验证计算的边界推向多远？「学术」曾是 ZK 身上最突出的标签之一，在 ZK 长期停留在概念阶段、迟迟无法落地的质疑声里，「学术」对于 ZK 而言在某些时候却成为了一种暗讽。作为务实学术派，Brevis 核心团队成员当然也注意到了这一点，在追求技术严谨的同时，又始终坚持以需求驱动产品，ZK 不是目的，而是一种手段。这种理念促使 Brevis 早早从实验室走向实际应用：根据官网生态系统页面显示，Brevis 已与数十家项目建立合作，涵盖 DeFi、基础设施、稳定币等赛道，其中我们很容易就能注意到诸如 PancakeSwap、Metamask、Linea、Uniswap、Aster 等知名项目的身影。目前，Brevis 已生成超过 2.88 亿份 ZK 证明，用户超 20 万，分发了 2.3 亿美元的可验证奖励计算，由 Brevis 驱动的 TVL 超过 25.4 亿美元。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%，支持更低的成本、更高的效率生成证明。虽然 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 能够逐个将考验转化为证明价值的机遇，在更广泛的多链场景里持续输出「可验证的结果」？站在可验证计算未来的趋势里，我们保持期待。