Brevis Network重构区块链可扩展性:执行与验证分离,实现可信链下计算
Brevis Network通过将执行与验证相分离,重构了区块链的可扩展性问题。该架构允许智能合约依赖复杂的链下计算,同时借助零知识证明维持链上的可信性。通过结合混合zkVM架构与去中心化的证明市场,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努力构建的未来。

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
索拉纳ETF
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注