在一个需要可验证计算的世界中，为什么Brevis Network很重要

Brevis Network 通过将执行与验证分离，重新定义了区块链的可扩展性，使智能合约能够依赖复杂的链下计算，同时通过零知识证明保持链上的信任。

通过结合混合 zkVM 架构与去中心化的证明市场，Brevis 将证明生成变成一种开放的、市场驱动的基础设施，而非封闭或中心化的服务。

Brevis 实现了一类新的数据驱动链上应用，从基于行为的 DeFi 逻辑、信任最小化的跨链安全，到可验证的 AI 输出，兼顾正确性与隐私。

智能合约一直存在结构性弱点。它们擅长处理当前状态，但在处理历史数据时表现不佳。

在大多数区块链上，合约可以轻松读取当前状态。一旦需要推理历史，成本就会急剧上升。检查长期用户行为、跨月汇总活动，或引用其他链上的过去状态，迅速变得不切实际。

开发者通过将计算迁移到链下来应对这一问题。索引器、服务器和私有数据库填补了这一空白。结果被推回链上，大多数用户接受其背后的信任假设。

Brevis Network 采用不同的方法进入市场。繁重的计算不必在链上进行，但信任仍需存在。零知识证明使得这种分离成为可能。链上不再重新执行工作，而是验证工作是否正确完成。

这不是简单的优化，而是改变了区块链的设计目标。

从重新执行到可验证计算

区块链的安全性长期依赖于重复。每个节点都重新执行每笔交易。这种冗余建立了信任，但也设定了硬性限制。

随着应用的成熟，这些限制变得更加明显。DeFi 产品不再仅仅转移资产，它们还定价风险、调整参数、并根据行为变化做出反应。这些功能依赖于历史数据和复杂计算。

链上执行难以应对这种负载。链下执行引入了信任问题。

Brevis 提出了一条第三条路径。计算在链下进行，验证留在链上。零知识证明连接两者。

在这种模型中，区块链专注于共识和最终性。外部系统处理数据密集型工作。合约接收结果和可以廉价验证的证明。

Brevis 将此称为无限计算层。这个短语并不意味着无限资源，而是描述一个系统，在该系统中，应用复杂度不再与链的拥堵直接成比例。

开发者不再问“什么可以放在链上”，而开始问“什么可以被证明”。

为什么历史数据比吞吐量更重要

吞吐量容易衡量，效用则更难。

许多应用更关心的是链在一段时间内揭示了什么，而不是每秒处理了多少笔交易。风险引擎依赖行为，市场依赖参与模式，治理依赖活动历史。

智能合约难以满足这些需求。在链上存储大量数据成本高昂。反复处理更是如此。

因此，大多数协议依赖链下流程。数据在其他地方收集、私下处理，然后通过可信更新反映在链上。

Brevis 改变了这一工作流程。

开发者通过 Brevis 系统提交查询。相关的区块链数据被检索并与规范链进行验证。请求的计算在链下运行。生成证明并返回给合约。

合约从未看到原始数据。它只验证证明并接受结果。

这使得历史数据再次可用，而无需重新引入中心化信任。

Pico zkVM 在实现证明的实用性中的作用

可验证计算只有在证明足够快，能融入实际用户流程时才有效。

Brevis 在设计 Pico zkVM 时考虑了这一限制。它不依赖纯粹的通用虚拟机，而采用混合设计。通用逻辑在 zkVM 中运行，繁重的操作转移到专用协处理器。

这种方法保持了开发的灵活性，同时降低了证明成本。昂贵的原语不再主导性能。

最终形成的系统更适合生产环境的工作负载，而非理论上的纯粹。

在专注于以太坊区块证明的测试中，Brevis 展示了在实时限制内生成证明的能力。这很重要，因为延迟决定了相关性。证明到达太晚，应用就无法依赖。

Brevis 还将证明视为一个分布式问题。Pico Prism 支持集群级别的证明，允许工作负载横向扩展，而非依赖单一机器性能。

这种设计与基础设施规模下的证明操作方式相符。

ProverNet 与证明生成的经济学

即使是最好的证明系统，如果供应脆弱，也会失败。

如果应用依赖单一证明者，就会面临停机风险和不可预测的价格。Brevis 通过 ProverNet 解决这一问题，这是一个去中心化的证明市场。

应用提交证明任务时设定预算和延迟偏好。证明者根据成本和容量提交报价。网络动态匹配供需。

并非所有证明都一样。有些需要低延迟，有些优先考虑成本效率。ProverNet 允许证明者专业化，而非强制统一性能。

系统采用市场设计，奖励诚实定价。参与者通过报告真实成本获益，而非操控系统。这有助于维护长期稳定。

Brev 支撑着这一经济体系。应用用代币支付费用，证明者质押代币参与。未能提供有效证明将受到惩罚。

这在使用与价值之间建立了直接联系，也引入了基础设施层面的问责。

硬件集中仍是挑战。高性能证明需要资本投入。ProverNet 是否能在不牺牲可靠性的前提下扩大参与，将是关键考验。

Brevis 在应用中的赋能

Brevis 在改变应用行为方式时尤为重要。

在 DeFi 中，它实现了基于行为的逻辑。协议可以利用可证明的用户历史调整费用或奖励。忠诚度系统变得可验证而非任意。

在跨链系统中，Brevis 支持信任最小化的状态验证。资产无需跨桥转移，只需状态证明。这降低了风险，同时保持了互操作性。

在 AI 驱动的工作流程中，Brevis 实现了可验证的输出。模型可以生成合约可信的结果，而无需暴露敏感输入。这支持声誉系统和自动决策。

在这些用例中，模式保持一致：链下计算，链上验证。

未来的战略赌注

Brevis 不是在争夺话语权，而是在争取必要性。

它的成功取决于可验证计算是否成为默认预期，而非专属功能。如果应用将证明嵌入到正常流程中，Brevis 就在技术栈中占据关键位置。

路线图专注于将真实流量迁移到 ProverNet，扩大证明能力，并通过专用执行层降低协调成本。

如果成功，区块链将不再试图自己计算一切。

它们将成为验证外部计算经济工作的系统。

这就是 Brevis 正在构建的未来。

〈Why Brevis Network Matters in a World That Needs Verifiable Compute〉 这篇文章最早发表在《CoinRank》。