看到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 代币等。
很高兴看到 @brevis_zk 的 Pico Prism 进入 ZK-EVM 证明领域! 这是 ZK-EVM 证明速度和多样性向前迈出的重要一步。
عرض الأصل
‏‎31.32 ألف‏
‏‎85‏
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.