Brevis：如何用零知识证明重构区块链的计算范式？
在2025年11月的阿根廷Devconnect大会上，以太坊基金会研究员Justin Drake进行了一次引人注目的演示。他的验证节点仅通过来自Brevis等协议的零知识证明，就完成了对整个以太坊区块的有效性验证，全程无需重复执行任何交易。这一实验不仅揭示了以太坊未来扩容的潜在方向，更传递出一个核心理念：区块链的未来或许不在于重复计算，而在于高效地验证外部生成的、可信任的证明。
什么是Brevis？定义可验证计算基础设施
Brevis并非单一应用，而是一个旨在为整个Web3提供可信计算能力的基础设施层。它被定位为“无限计算层”，其核心使命是解决区块链面临的一个根本性矛盾：为了确保安全与去中心化，网络中的每个节点都必须重复执行所有计算，这导致了巨大的资源浪费和可扩展性瓶颈。
Brevis的解决方案是“一次计算，全网验证”。它将复杂的计算任务迁移至链下执行，利用零知识证明技术生成一个简洁、可验证的证明，再将此证明提交至链上。智能合约仅需以极低的成本验证该证明，即可确信链下计算结果的正确性，从而在保持区块链安全模型的同时，突破了计算吞吐量的限制。
技术核心：驱动无限计算的三驾马车
Brevis的架构建立在三个相互协同的技术支柱之上，共同构成了其完整的可验证计算堆栈。
1. ZK 数据协处理器：赋予智能合约“记忆”与“洞察”
智能合约传统上只能访问当前区块的状态，如同只有瞬时记忆。Brevis的ZK数据协处理器打破了这一限制，使合约能够安全地查询和处理任意链上历史数据、跨链状态，甚至执行复杂的链下计算。
其工作流程是：协处理器在链下获取所需数据，执行指定的计算逻辑（如统计用户历史交易量、计算复杂指标），并生成一个零知识证明。该证明随后被提交至链上合约，合约验证证明后，即可将计算结果作为可信输入使用。这为开发诸如基于历史行为的差异化费率、可持续的忠诚度计划等高级功能奠定了基础。
2. Pico zkVM：面向生产环境的高性能证明引擎
为了将可验证计算普及化，Brevis开发了Pico zkVM。这是一个通用的零知识证明虚拟机，旨在降低开发门槛并提升性能。开发者可以使用熟悉的编程语言编写逻辑，Pico zkVM则负责将其编译并生成对应的可验证证明。
Pico zkVM的突破性进展体现在其性能上：
- Pico-GPU：通过系统性利用GPU并行计算，将证明生成速度提升了10-20倍。
- Pico Prism：实现了关键性突破，在消费级GPU集群上，能在约6.9秒的平均时间内完成对以太坊主网区块的证明生成，首次让实时证明速度几乎追上了以太坊的出块速度。这一成就获得了Vitalik Buterin等核心社区成员的公肯定。
3. ProverNet：去中心化的证明供给网络
拥有强大的证明引擎后，Brevis进一步思考如何规模化地供给证明能力。ProverNet应运而生，它是一个开放、市场化的证明网络。任何应用都可以提交证明任务，而专业的证明节点（Prover）则可以通过竞价机制参与证明生成，并获得奖励。
这解除了应用方自建和维护昂贵证明基础设施的负担，使其能够按需、经济地获取可验证计算服务，标志着证明能力从“自建工具”向“公共服务”的转变。
实践验证：协议如何借助Brevis解锁新功能
技术的价值在于应用。Brevis已被集成至多个主流协议中，驱动了真实的价值场景：
- PancakeSwap Infinity：实现了类似中心化交易所的手续费分级体系。Brevis协处理器在链下安全计算用户的持币时长、交易量等历史行为，并生成证明，使得链上智能合约能够执行动态、公平的费率调整，无需信任任何中心化数据源。
- Usual & Euler：构建了可持续的、基于可验证行为的激励系统。奖励发放不再依赖一次性空投或人工操作，而是通过Brevis自动计算用户指标（如持仓、交互），并生成证明来触发链上奖励分配，确保过程的透明与自动化。
- Linea & Uniswap：在生态级别的激励计划和复杂的Gas返还机制中，Brevis承担了链下大规模数据计算与证明生成的角色，使这些系统在保持去中心化信任的同时，具备了处理复杂逻辑的能力。
这些案例共同表明，Brevis正在帮助协议将更多曾经只能由中心化后台实现的逻辑，以去信任、可验证的方式搬回链上，极大地拓展了智能合约的设计空间。
团队、支持与未来愿景
Brevis团队融合了密码学前沿研究能力与大规模系统工程经验，这使其能够从理论创新一路推进至生产级部署。项目获得了Polychain Capital等顶级投资机构的支持，并在开发者社区中建立了坚实的声望。
展望未来，Brevis所代表的“链下计算，链上验证”范式，其影响远不止于以太坊扩容。它为整个Web3乃至传统行业（如AI、游戏）提供了一种全新的协作模板：当多方需要共享一个计算结果的确定性，却无法共享原始数据或互相信任时，零知识证明可以成为通用的“信任语言”。随着ProverNet等基础设施的成熟，Brevis有望构建一个跨生态、可广泛调用的全球可信计算网络，真正开启无限计算的时代。
