作者:蓝狐笔记;来源: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退款,同时大幅降低成本。
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技术后,以太坊升级成为了一辆汽车。
这种加速效果可以解锁更多应用场景,例如:
这些新场景的解锁对以太坊意义重大,不仅能够带来更多资产沉淀到L1,还能提升交易和流动性,进一步增强网络活跃度。至于未来能跑出哪些具体场景,则需要在实践中进一步探索。
根据公开资料,Brevis正在逐步部署中,目前已生成1.475亿个ZK证明,独立用户超过19万,支持5个区块链,并与20多家主要合作伙伴展开合作(如Metamask、Linea等)。Brevis的技术已被集成到多个运行中的应用中,例如: