作者：蓝狐笔记；来源：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% 覆盖率（