Brevis：重新定义区块链的计算范式
2025年11月，在阿根廷的Devconnect大会上，以太坊基金会研究员Justin Drake进行了一次引人注目的演示。他的验证节点并未像往常一样重新执行整个区块的交易，而是借助Brevis的Pico zkVM等协议生成的零知识证明，高效完成了区块有效性验证。这一实验不仅展示了技术的前沿性，更可能指明了以太坊未来扩容的核心方向：区块链无需重复所有计算，只需验证外部生成的可信证明。
超越应用：作为可验证计算基础设施的Brevis
Brevis的定位并非单一应用，而是一个基础性的可验证计算层。它旨在构建一个“无限计算层”，允许复杂的计算任务在链下高效执行，然后通过密码学证明将结果安全地带回链上，供智能合约以极低成本进行验证。
传统区块链（如以太坊）的安全模型依赖于全网节点的重复计算。每个验证节点必须重新执行新区块中的所有交易，以确保其正确性。这种方法虽然保证了极高的安全性，却导致了巨大的算力与资源消耗，并成为系统吞吐量和可扩展性的根本瓶颈。
Brevis从根本上改变了这一范式。它将“重复计算”转变为“一次计算，全网验证”。复杂的计算过程被迁移至链下环境执行并生成简洁的零知识证明；链上合约和节点只需验证这个轻量级证明，即可确信计算结果的正确性，从而在保持去信任安全模型的同时，极大地解放了链上资源。
核心技术支柱：驱动无限计算的三驾马车
Brevis通过三大核心技术组件，构建了其完整的可验证计算栈。
ZK 数据协处理器：赋予智能合约“记忆”与“智慧”
ZK Data Coprocessor是Brevis早期的关键创新。它突破了智能合约只能访问当前区块状态的限制，使合约能够安全地查询和处理任意链上历史数据、跨链状态，并执行复杂的链下计算。
其工作流程是：协处理器在链下获取所需数据，执行预定计算逻辑，并生成一个零知识证明。该证明随后被提交至链上，智能合约通过验证此证明，即可采信其背后的计算结果作为输入。这使得开发能够构建依赖长期用户行为分析、跨链资产状态或复杂算法的去中心化应用，而无需引入额外的信任假设。
自2023年原型发布以来，该协处理器已迭代至V2主网版本，核心优化围绕三点展开：更高的效率（更少的资源与时间消耗）、更强的通用性（支持更广泛的数据类型与计算需求）以及更佳的易用性（封装复杂性，提供简洁的开发接口）。
Pico zkVM：面向生产的通用证明引擎
Pico zkVM是Brevis推出的高性能、通用零知识虚拟机。它将零知识证明的开发从需要手工设计专用电路的复杂过程，提升至更接近传统软件工程的形态。开发者可以使用熟悉的编程语言编写业务逻辑，Pico zkVM底层则负责将其转换为可验证的证明。
Pico的设计始终以生产环境的需求为导向，在吞吐量和成本方面进行了深度优化。基准测试表明，它在主流zkVM中具备显著的性能优势。其模块化架构允许通过可插拔的协处理器，对特定类型的计算（如加密操作或哈希函数）进行进一步加速。
关键性能突破：
- Pico-GPU（2025年6月）：通过将证明生成的核心过程系统性地迁移至GPU进行并行计算，实现了10-20倍的性能提升，将实时证明生成能力推向了新的拐点。
- Pico Prism（2025年10月）：在一套由64张消费级GPU组成的配置下，实现了对以太坊区块（约45M gas）的极速证明：99.6%的区块在12秒内完成证明，平均证明时间约6.9秒。这标志着其实时证明生成速度已无限接近以太坊的出块速度，且资源效率远高于同期方案，获得了Vitalik Buterin和Justin Drake等核心社区成员的高度评价。
ProverNet：开放与市场化的证明供给网络
在拥有了强大的证明引擎后，Brevis进一步着手解决证明能力的规模化供给问题。ProverNet是一个去中心化的证明网络，旨在将证明生成能力市场化。
任何DApp或协议都可以向ProverNet提交证明任务。网络中的证明者节点（Prover）通过拍卖等机制竞价接单，执行计算并生成证明。这使得应用开发者无需自建和维护昂贵、复杂的证明基础设施，即可按需获取可验证计算服务。ProverNet主网Beta已于2025年12月上线，标志着可验证计算正式成为一种可调用的公共资源。
实践验证：协议如何借助Brevis解锁新功能
技术的价值最终体现在实际应用中。Brevis已被集成到多个主流协议中，驱动了超过2.8亿份证明的生成，安全促进了超过250亿美元的总锁仓价值（TVL）增长。
- PancakeSwap Infinity：实现了类似中心化交易所的差异化手续费机制。通过Brevis协处理器，协议可以在链下基于用户的历史持仓和交易量计算费率等级，并将可验证的结果提交至链上，使个性化费率得以通过去信任、可审计的智能合约执行。
- Usual & Euler：构建了可持续的、基于行为的激励系统（如持续奖励计划）。Brevis使得用户的持仓时间、交互频率等链上行为成为可验证的输入，让奖励分配完全自动化、透明化，摆脱了对中心化运营脚本或多签钱包的依赖。
- Linea Ignition Program & Uniswap v4 Routing Rebate：在生态级别的大规模激励计划和复杂费用返还系统中，Brevis承担了链下数据聚合、指标计算和证明生成的角色，确保了整个流程的公正、可验证与高效，将激励发放从运营动作升级为系统能力。
这些案例共同表明，Brevis正在帮助协议在不牺牲去中心化核心原则的前提下，实现以往只能依靠中心化后台才能完成的复杂逻辑，极大地拓展了区块链应用的设计空间。
团队、资本与愿景：支撑长期发展的基石
Brevis团队由兼具密码学前沿研究能力和大规模系统工程经验的成员构成，其独特优势在于能够将深奥的零知识证明技术转化为稳定、高性能、可规模化部署的生产级解决方案。团队对加密生态的深刻理解，也确保了其技术路线始终与协议方的真实需求同步。
项目获得了顶级资本的支持，包括由Polychain和Yzi Labs领投的种子轮融资，为其长期技术攻关和生态建设提供了保障。同时，活跃的开发者社区、以及来自以太坊核心研究员的公开关注与肯定，共同为Brevis作为关键基础设施的可靠性与前景提供了强大的背书。
结语：从链上验证到无限计算的未来
Brevis所代表的可验证计算层，为区块链面临的结构性困境——安全、去中心化与效率的“不可能三角”——提供了全新的解题思路。它通过将“计算”与“验证”解耦，在保持区块链无需信任的安全内核的同时，引入了近乎无限的链下计算能力。
其影响远不止于以太坊扩容。对于整个Web3行业，这意味着去中心化应用能够以可承受的成本实现前所未有的复杂度与用户体验。放眼更广阔的传统世界，这种“先计算，后验证”的范式为多方在缺乏互信的前提下进行协同计算提供了通用语言。随着ProverNet等基础设施的成熟，Brevis所构建的，将是一个跨链、跨行业可自由访问的可信计算新时代。
