Brevis的“链下计算链上验证”模式有何独特之处？

作者：蓝狐笔记；来源：X，@lanhubiji

近日，Vitalik提及Brevis项目，显示出其对以太坊L1扩容的高度关注。在以太坊的发展路线图中，“链下计算链上验证”模式已成为重要概念之一。类似思路也曾出现在Eigenlayer、Succinct及Zksync等项目中，这表明业界已形成共识：为实现真正去中心化的L1扩展，可以充分利用链下计算的优势。作为该模式的新实践者，Brevis的独特之处是什么？

首先，让我们简单了解什么是“链下计算链上验证”模式。为了便于普通用户理解，可以用一个简化比喻来说明：这一模式将链下计算结果或数据“浓缩”成一个简洁的证明或摘要，随后在链上进行验证。从抽象层面来看，这种思路与L2 Rollup的机制有些类似——L2 Rollup将多笔交易打包成一批次并提交到L1进行验证和执行。虽然具体实现方式不同，但这一类比有助于理解Brevis的设计哲学：“浓缩与验证”。通过数学方法，将大量链下计算工作压缩为小块信息，在昂贵且吞吐量有限的链上高效处理，从而解决区块链可扩展性难题。

Brevis的核心机制是链下高效计算生成零知识证明（ZK Proof），然后在链上快速低成本地完成验证，而无需重新执行整个复杂计算。这一理念并不新颖，但Brevis的不同之处在于：

通用性与专用优化的结合

Brevis采用了模块化设计的技术栈，其中Pico zkVM是其通用可验证计算引擎，支持任何计算的ZK证明生成。开发者只需使用Rust编写代码，无需深入了解ZK专业知识，平台会自动完成证明生成过程，大大降低了构建复杂加密应用的门槛。通过技术抽象，ZK的复杂性被隐藏，开发者可以像编写普通代码一样轻松构建应用。

此外，Brevis的模块化架构允许添加特定协处理器，以针对特定场景的复杂计算进行优化。例如，其内置的ZK Data Coprocessor专为区块链历史数据分析设计，可解决智能合约“失忆”问题（即无法廉价访问历史数据）。它在链下检索和分析数据，并提供结果及证明，确保数据存在性和计算正确性。实际应用场景中，PancakeSwap利用Brevis钩子根据用户交易量实现费用折扣，Uniswap则通过Brevis实现gas退款，同时大幅降低成本。

为以太坊L1提供“加速器”

Pico Prism是Brevis的一项关键技术，它在多服务器GPU集群方面取得了突破，支持以太坊L1的“实时证明”。所谓“实时证明”，可以理解为以太坊L1的每个区块（即一页交易记录）能在几秒内通过密码学方法“盖章”确认其正确性，而无需所有节点重复计算。

根据以太坊基金会实时证明框架的基准测试数据，针对当前45M gas限制的L1区块，Brevis实现了99.6%的覆盖率（<12秒证明）和96.8%的实时覆盖率（<10秒）；平均证明时间为36M gas区块6.04秒，45M gas区块6.9秒；硬件配置为64个RTX 5090 GPU，成本约12.8万美元。

上述数据可能对普通用户来说显得过于专业，但简单来说，Pico Prism就像为以太坊L1安装了一个加速器。过去，以太坊处理每个区块时需要所有节点重新计算一遍，而通过Pico Prism技术，网络只需几秒钟即可验证一个高度压缩的证明，从而大幅提升效率。这使得以太坊L1变得更加快速、便宜且高效，同时还能支持更复杂的实现，且不牺牲去中心化和安全性。如果说以前的以太坊像一辆老式自行车，那么有了Brevis的Pico Prism技术后，以太坊升级成为了一辆汽车。

这种加速效果可以解锁更多应用场景，例如：

• DeFi场景：传统以太坊L1上的智能合约只能查看余额借贷，无法根据用户的历史交易数据评估其稳健程度（因为海量历史数据分析成本高昂）。有了Pico Prism加速器，L1可以在几秒内完成历史数据的实时分析，从而构建出“AI借贷机器人”。合约根据用户的DeFi交易历史生成信用评分，并提供个性化利率。此外，对于高频场景如闪贷，借贷/投资/还款可在单个区块内完成，AI实时优化路径以避免“滑点”损失，类似于去中心化的Robinhood。还可支持高频拍卖，每分钟完成成百上千次竞价。
• 链上游戏：过去在L1上构建多人游戏（如链上Axie Infinity）时，区块确认时间长达12秒，导致玩家卡顿、费用飙升。通过Pico Prism，链下服务器可计算伤害等数值，每回合用ZK证明结算到L1，模拟“实时”游戏体验，显著提升游戏流畅度。
• 匿名链上投票：目前L1投票透明度高，容易被追踪或操纵，且复杂统计成本高昂、速度缓慢。借助Pico Prism实现“零知识隐私计算”，L1可支持高频隐私应用，如DAO治理中的匿名投票，并实时得出结果。

这些新场景的解锁对以太坊意义重大，不仅能够带来更多资产沉淀到L1，还能提升交易和流动性，进一步增强网络活跃度。至于未来能跑出哪些具体场景，则需要在实践中进一步探索。

逐步落地

根据公开资料，Brevis正在逐步部署中，目前已生成1.475亿个ZK证明，独立用户超过19万，支持5个区块链，并与20多家主要合作伙伴展开合作（如Metamask、Linea等）。Brevis的技术已被集成到多个运行中的应用中，例如：

• Incentra Platform通过Brevis技术发放年度奖励；
• PancakeSwap基于交易量等数据实现费用折扣；
• Linea基于用户贡献分发10亿LINEA代币。