看到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% 覆盖率(<12 秒证明),96.8% 实时覆盖率(<10 秒);平均证明时间为36M gas 块为 6.04 秒,45M gas 块为 6.9 秒;硬件为64 个 RTX 5090 GPU,成本 128K 美元。
上面的数据看起来很专业,不过对于普通用户来说,这些数据可能无感。
为简单理解,可以简化类比为Pico Prism为以太坊L1装了一个加速器。以前以太坊处理每个区块都需要所有节点重新计算一遍,通过Pico Prism这样的技术,意味着它能够通过“浓缩”(快速生成一个证明,超级压缩摘要),让网络只需几秒就可以验证,无须每个节点重复计算。也就是说,这意味着以太坊L1会变得更快更便宜更高效,且能处理更复杂的实现,同时还不牺牲去中心化和安全。如果说以前的以太坊类似于老式自行车,有了Brevis的Pico Prism技术,以太坊升级成为了汽车。
这种加速的效果,可以解锁更多场景,比如说实时AI驱动的DeFi借贷、链上游戏、匿名投票等。
DeFi场景:以前的以太坊L1上智能合约只能看余额借钱,无法根据用户的历史交易数据来分析用户稳健程度(因为海量历史数据分析无法做到),有了这个加速器,可以支持L1实时分析海量历史数据(几秒钟的证明),从而构建出“AI借贷机器人”。合约根据用户的DeFi交易历史,得出信用分,给出个性化的利率。此外,对于高频场景,如闪贷,借钱/投资/还钱都在一个区块完成,AI实时优化路径,避免“滑点”损失。类似于去中心化的Robinhood。此外还可以有高频拍卖,每分钟可以完成成百上千次竞价。
链上游戏:之前L1想建一个多人游戏(如链上 Axie Infinity),区块确认 12 秒一轮,玩家卡顿、费用飙升;通过 Pico Prism支持“模拟实时“游戏,链下服务器计算伤害等数值,每回合用ZK证明结算到L1,模拟“实时”游戏,实现更好的游戏体验。
匿名链上投票场景:目前L1投票是透明的,容易被追踪或操纵,且复杂统计成本高、速度慢。通过Pico Prism实现“零知识隐私计算”,L1 上跑高频隐私应用,可以实现DAO治理的高频匿名投票,实时出结果。
上述的场景,对以太坊意味着什么,可以解锁更多的DeFi和其他应用场景,带来更多的资产到L1沉淀,带来更多的交易和流动性,更大的活跃度。
至于未来能跑出什么场景,还需要在具体实践中进行检验。
*逐步落地
根据公开资料,Brevis在逐步部署中,其中生成了1.475 亿个 ZK 证明;独立用户超过19万;支持5个区块链;主要合作伙伴超过20个(如Metamask、Linea等),目前被集成到已经运行的应用中,比如通过Brevis技术,Incentra Platform发放年度奖励;PancakeSwap实现基于交易量等数据进行折扣;Linea基于用户贡献分发 10 亿 LINEA 代币等。
Mostrar original31,32 mil
85
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.