Brevis Network 通过将执行与验证分离来重新定义区块链的可扩展性，允许智能合约依赖复杂的链下计算，同时通过零知识证明来维护链上信任。
Brevis将混合 zkVM 架构与去中心化证明市场相结合，使证明生成成为开放的、市场驱动的基础设施，而不是封闭的或集中式的服务。
Brevis 能够实现一类新型的数据驱动型链上应用，从基于行为的 DeFi 逻辑和最小化信任的跨链安全，到平衡正确性和隐私性的可验证 AI 输出。
智能合约一直存在结构性缺陷。它们在当前情况下表现出色，但在记忆方面却很差。
在大多数区块链上，合约可以几乎毫不费力地读取当前状态。但一旦需要推断历史数据，成本就会急剧上升。检查长期用户行为、汇总数月活动或参考其他链的历史状态很快就会变得不切实际。
开发者们通过将计算转移到链下来适应这种变化。索引器、服务器和私有数据库填补了这一空白。计算结果被推送回链上，大多数用户也接受了其背后的信任假设。
Brevis Network采用了不同的方法。繁重的计算任务无需在链上执行，但信任仍然必不可少。零知识证明使这种分离成为可能。链上不会重复执行工作，而是验证工作是否正确完成。
这并非一项小小的优化，它改变了区块链的设计初衷。
从重新执行到可验证计算
区块链的安全性长期以来依赖于重复操作。每个节点都会重新执行每一笔交易。这种冗余机制建立了信任，但也带来了诸多限制。
随着应用日趋成熟，这些局限性也愈发明显。DeFi产品不再仅仅是资产转移，它们还会对风险进行定价、调整参数，并根据用户行为随时间的变化做出反应。这些功能都依赖于历史数据和复杂的计算。
链上执行难以应对这种负载。链下执行则引入了信任机制。
Brevis提出了第三条路径。计算在链下进行，验证在链上进行，零知识证明将两者连接起来。
在这种模式下，区块链专注于共识和最终性。外部系统负责处理数据密集型工作。合约接收结果以及可以低成本验证的证明。
Brevis将此称为无限计算层。这个说法并非指无限的资源，而是指应用程序的复杂度不再与链拥塞程度直接相关。
开发者不再问什么适合链上，而是开始问什么可以被证明。
为什么历史数据比吞吐量更重要
吞吐量容易衡量，效用则更难衡量。
许多应用并不太关心链每秒处理多少笔交易，而是更关注这些交易随时间推移所揭示的信息。风险引擎依赖于行为，市场依赖于参与模式，治理依赖于活动历史。
智能合约无法很好地满足这些需求。在链上存储大型数据集成本很高，重复处理成本更高。
因此，大多数协议都依赖于链下管道。数据在其他地方收集，私密处理，并通过可信更新反映到链上。
Brevis 改变了这种工作流程。
开发者通过 Brevis 系统提交查询。系统检索相关的区块链数据，并与规范链进行比对验证。请求的计算在链下运行。系统生成验证结果并发送回合约。
合约中从不接触原始数据，它只负责验证证明并接受结果。
这样一来，历史数据就可以再次使用，而无需重新引入集中式信任。
PICO zkVM 在使证明实用化中的作用
只有当证明过程足够快，能够融入实际用户流程时，可验证计算才能发挥作用。
Brevis 在构建 Pico zkVM 时充分考虑了这一限制。它没有采用纯粹的通用虚拟机，而是使用了混合设计。通用逻辑在 zkVM 中运行，而繁重的操作则转移到专用协处理器上。
这种方法既能保持开发的灵活性，又能降低验证成本。昂贵的底层实现不再主导性能。
最终得到的系统是针对生产工作负载进行优化，而不是追求理论上的纯粹性。
在针对以太坊区块证明的测试中，Brevis 展示了在实时约束下生成证明的能力。这一点至关重要，因为延迟决定了证明的有效性。如果证明到达得太晚，应用程序就无法依赖它们。
Brevis 也将证明问题视为分布式问题。Pico Prism 支持集群级证明，允许工作负载横向扩展，而不是依赖于单台机器的性能。
这种设计符合基础设施规模下验证的运行方式。
普罗韦尔内与证据生成的经济学
即使是最好的验证系统，如果供应不稳定也会失效。
如果应用程序依赖于单一的证明器，它们就会面临宕机风险和价格不可预测的问题。Brevis 通过去中心化的证明市场 ProverNet 解决了这个问题。
应用程序提交包含预算和延迟偏好的验证任务。验证者根据成本和容量提交报价。网络动态匹配供需。
并非所有证明都同等重要。有些证明要求低延迟，有些则优先考虑成本效益。ProverNet 允许证明者进行专精，而不是强制追求统一的性能。
该系统采用市场机制，奖励诚实定价。参与者通过报告真实成本而非操纵系统获益，这有助于维持长期稳定。
BREV是该经济体系的基础。应用程序使用代币支付费用。证明者质押代币参与其中。未能提供有效证明将导致处罚。
这在利用率和价值之间建立了直接联系，并在基础设施层面引入了问责机制。
硬件集中度仍然是一个挑战。高性能验证需要资金投入。ProverNet 能否在不降低可靠性的前提下扩大参与范围，将是一项关键考验。
Brevis 在各种应用程序中实现的功能
当 Brevis 改变应用程序的行为方式时，它就显得至关重要。
在去中心化金融（DeFi）中，它实现了基于行为的逻辑。协议可以利用可验证的用户历史记录来调整费用或奖励。忠诚度系统也从随意性转变为可验证性。
在跨链系统中，Brevis 支持最小化信任的状态验证。资产无需通过桥接器传输，只有状态证明需要传输。这既降低了风险，又保持了互操作性。
在人工智能驱动的工作流程中，Brevis 可实现可验证的输出。模型能够生成合同方可以信赖的结果，而无需泄露敏感输入。这有助于构建信誉系统和实现自动化决策。
在这些用例中，模式保持一致：链下计算，链上验证。
未来的战略押注
Brevis 并非在叙事上竞争，而是在必要性上竞争。
Brevis 的成功取决于可验证计算能否成为默认功能而非特殊特性。如果应用程序将证明嵌入到常规流程中，Brevis 在技术栈中将占据关键地位。
该路线图的重点是将真实流量迁移到 ProverNet，扩大证明能力，并通过专用执行层降低协调成本。
如果这种方法奏效，区块链就无需再尝试自行计算所有东西了。
它们成为验证外部计算经济运行情况的系统。
这就是 Brevis 正在努力构建的未来。
〈 为什么 Brevis 网络在需要可验证计算的世界中很重要〉这篇文章首先发布于《 CoinRank 》。
