作者：蓝狐笔记；来源：X，@lanhubiji
看到vitalik提到Brevis，看来非常重视L1扩容。在以太坊路线图中，有个概念：“链下计算链上验证”模式，Eigenlayer、Succinct及Zksync有过类似思路，说明业界有共识，要想真正去中心化地扩展L1，可以利用链下优势；Brevis也才用了这个模式，那么，Brevis有何不同？
先简单理解什么是“链下计算链上验证”模式？为让更多普通用户能理解，可以打一简化比喻，“链下计算链上验证”可看作为将链下事实（计算结果或数据）“浓缩”成一个简洁的证明或摘要，然后在链上验证。在某种程度上，其思路跟L2 Rollup在抽象层面上类似，L2 Rollup将多个交易打包浓缩成一批次，提交到L1验证和执行，虽具体机制不同，但这利于理解Brevis的ZkVM设计哲学：“浓缩与验证”。通过数学，将大量链下计算工作压缩成小块信息，实现在昂贵且吞吐量低的链上高效处理，从而解决区块链可扩展性难题。
Brevis的核心机制是链下进行高效计算，生成ZK证明，之后在链上以快速低成本完成验证，无须重新执行整个复杂计算。这不新鲜，而Brevis不同之处在于：
通用性和专用优化的结合
Brevis的技术栈是模块化设计，其中 Pico zkVM是其通用可验证计算引擎，支持任何计算的ZK 证明生成。开发者用 Rust 编写代码，无需 ZK专业知识，平台自动处理证明生成，降低开发者构建复杂加密应用的门槛（技术抽象了 ZK 复杂性，让开发者像写普通代码一样构建应用）。它的模块化架构支持添加特定协处理器，除了通用结算，它还能针对特定场景的复杂计算进行优化，实现更有针对性的提升。
它有个内置协议处理器，叫ZK Data Coprocessor，针对区块链历史数据分析设计，可以解决智能合约“失忆”问题（无法廉价访问历史数据）。它在
链下检索和分析数据，提供结果及证明，确保数据存在性和计算正确性。比如，pancakeswap可使用Brevis钩子来根据用户交易量实现费用折扣；uniswap用Brevis做gas退款。它们通过zK Data Coprocessor实现复杂功能的同时节省了大量成本。
为以太坊L1提供“加速器”
Pico Prism是Brevis的关键技术之一，它在多服务器 GPU 集群方面有突破，支持以太坊L1的“实时证明”。这个“实时证明“，可以理解为以太坊L1的每个区块（一页交易记录），能在几秒内用密码学“盖章”确认正确，大家不用重新算一遍验证是否可靠。
根据目前Ethereum 基金会实时证明框架基准，针对 45M gas 限制的当前L1区块，实现 99.6% 覆盖率（<12 秒证明），96.8% 实时覆盖率（<10 秒）；平均证明时间为36M gas 块为 6.04 秒，45M gas 块为 6.9 秒；硬件为64 个 RTX 5090 GPU，成本 128K 美元。
上面的数据看起来很专业，不过对于普通用户来说，这些数据可能无感。
为简单理解，可以简化类比为Pico Prism为以太坊L1装了一个加速器。以前以太坊处理每个区块都需要所有节点重新计算一遍，通过Pico Prism这样的技术，意味着它能够通过“浓缩”（快速生成一个证明，超级压缩摘要），让网络只需几秒就可以验证，无须每个节点重复计算。也就是说，这意味着以太坊L1会变得更快更便宜更高效，且能处理更复杂的实现，同时还不牺牲去中心化和安全。如果说以前的以太坊类似于老式自行车，有了Brevis的Pico Prism技术，以太坊升级成为了汽车。
这种加速的效果，可以解锁更多场景，比如说实时AI驱动的DeFi借贷、链上游戏、匿名投票等。
DeFi场景：以前的以太坊L1上智能合约只能看余额借钱，无法根据用户的历史交易数据来分析用户稳健程度（因为海量历史数据分析无法做到），有了这个加速器，可以支持L1实时分析海量历史数据（几秒钟的证明），从而构建出“AI借贷机器人”。合约根据用户的DeFi交易历史，得出信用分，给出个性化的利率。此外，对于高频场景，如闪贷，借钱/投资/还钱都在一个区块完成，AI实时优化路径，避免“滑点”损失。类似于去中心化的Robinhood。此外还可以有高频拍卖，每分钟可以完成成百上千次竞价。
链上游戏：之前L1想建一个多人游戏（如链上 Axie Infinity），区块确认 12 秒一轮，玩家卡顿、费用飙升；通过 Pico Prism支持“模拟实时“游戏，链下服务器计算伤害等数值，每回合用ZK证明结算到L1，模拟“实时”游戏，实现更好的游戏体验。
匿名链上投票场景：目前L1投票是透明的，容易被追踪或操纵，且复杂统计成本高、速度慢。通过Pico Prism实现“零知识隐私计算”，L1 上跑高频隐私应用，可以实现DAO治理的高频匿名投票，实时出结果。
上述的场景，对以太坊意味着什么，可以解锁更多的DeFi和其他应用场景，带来更多的资产到L1沉淀，带来更多的交易和流动性，更大的活跃度。
至于未来能跑出什么场景，还需要在具体实践中进行检验。
逐步落地
根据公开资料，Brevis在逐步部署中，其中生成了1.475 亿个 ZK 证明；独立用户超过19万；支持5个区块链；主要合作伙伴超过20个（如Metamask、Linea等），目前被集成到已经运行的应用中，比如通过Brevis技术，Incentra Platform发放年度奖励；PancakeSwap实现基于交易量等数据进行折扣；Linea基于用户贡献分发 10 亿 LINEA 代币等。
