Cointime

扫码下载App
iOS & Android

观点:为什么Aptos、Sui终将拥抱zkEVM-based的zkRollup

原文来源:康水跃,Fox Tech CEO

区块链行业目前有无数的 Layer-1 项目,包括比特币、以太坊、BNB Chain、Polygon、Solana、Avalanche、Near、Fantom、Tron。即便在这个竞争激烈的时代,具有不同特点和优势的 L1 新公链也在相继出现,其技术也在不断迭代。我们预计未来包括 Aptos 和 Sui 在内是几乎所有 Layer1 终将拥抱 zkEVM-based 的 zkRollup,未来终将出现 Omnichain zkRollup。

新公链 Aptos/Sui 及 Move 智能合约语言

截至 2022 年,众多新兴工链中最受关注的则是所谓的 Diem L1 公链,包括主打 Move 智能合约语言的 Aptos、Sui。Aptos/Su 是由曾在 Meta(原 Facebook)开发 Diem(原 Libra)的工程师发起,Diem 是 Meta 公司专有区块链及其稳定币的名称。这些项目都继承着 Diem 的许多功能,同时与现有 L1 公链在性能、编程语言和机制方面具有不同的特点。

Aptos/Sui 所采用的编程语言 Move 的特点在于,它完全重新定义了"模块结构",使代币、NFT、智能合约和其他资产能够使用单一的数据模块进行简洁的模块化定义。这一点是以太坊的 EVM 无法比拟的--任何使用 EVM 开发过的人都会知道在 Solidity 中使用模块结构(和嵌套结构)是多么困难。考虑一下经典的重入攻击(Re-entrancy Attack)。这已经困扰了 EVM 体系的项目很长时间了,往往造成几百万、上千万美元的损失,由于 Move 语言采用的是基于资源的方法,所以 Move 不可能出现重入攻击。

Aptos/Sui 未来是否能作为主流公链脱颖而出,不仅跟所采用的语言有关,更是取决于未来链上项目的想象力。如果说 ETH 是一条 4 车道,虽然车道不宽但是川流不息人来人往,偶尔还夹杂着对拥堵路面的抱怨,那么 Aptos/Sui 就像是 8 车道的高速路,用上了最好的柏油最先进安全的信号灯,但是好像没有太多的流量。对于公链来说,一方面是技术的创新,另一方面则是公链上的项目对于公链本身流量的反哺,没有应用的公链即使技术再好也很难脱颖而出。

为了获得 EVM 体系的巨大流量,Aptos 和 Sui 终将拥抱 EVM 体系以及 Layer2 网络,特别是拥抱最先进的 zkEVM-Based zkRollup。

如何在 Aptos/Sui 上建立 zkEVM-based zkRollup

长期而言,zkRollup 将成为一个最简洁、高安全性、高效的扩容方案。从原理上而言,一个 zkRollup 可以部署在任何网络上 (只要这个网络可以验证这个 zkRollup 发送的证明),所以我们必然可以在 Aptos/Sui 上建立一个 zkEVM 的 zkRollup。那么,这么做有什么好处呢? 首先是吸纳来自 EVM 的开发者和用户,对于开发者而言,将产品部署在 Aptos/Sui 上的一个高兼容性的 zkEVM-based zkRollup 就像将产品部署在以太坊上或其他 EVM 兼容的链上相同,他们无需修改太多代码与设计。这意味着有了 zkRollup 后,在 EVM 生态中的开发者可以近乎零成本的将他们的应用迁移至 Aptos/Sui 的生态中。此时,只要有一微小的激励,都能够吸引大批 EVM 体系中的成功项目迁移部署,为 Aptos/Sui 带来一大批生态与场境。另一方面,对于用户而言,zkRollup 让用户进一步享受更低 (甚至是无感) 的手续费,并且有机会在交互速度和交费模式上获得接近传统应用的使用体验。这样的愿景无疑是令人兴奋的,所以我们如何在 Aptos/Sui 上建立一个 zkEVM-based zkRollup 呢? 我们来看一下 Fox Tech 设计的通用型 zkEVM-based zkRollup 模型。

图 1: 通用型 zkEVM-based zkRollup

首先,我们需要一个 Sequencer,负责接收 zkRollup 上的交易,通过一个带有 EVM 的节点执行交易,以保证 EVM 兼容性,在这个过程中,Sequencer 还会产生一个易于证明的执行过程记录 (Trace),并将其发送给证明打包者 zkProver。zkProver 是一个拥有 zk-EVM 的证明生产者,zk-EVM 终有完整的根据 EVM 设计零知识证明电路,能验证执行记录的过程是否正确 (即是否和 EVM 的执行规则相符),最终使用一套零知识证明算法生成零知识证明,并将证明发送至 Aptos/Sui 上。最后,我们还需要在 Aptos/Sui 上部署几份合约:我们需要一个托管 zkRollup 资产的合约,这份合约会管理资产在 Aptos/Sui 和 zkRollup 之间的流动。我们还需要一个验证合约用以验证 zkProver 发送的证明以及一份治理合约,管理权限问题 (如记录 Prover 和登记 zkRollup 中的资产类型)。

Web3 网络终将出现 Omnichain zkRollup

未来 Web3 网络的生态将不是以太坊一家独大,而是多公链并存分庭抗礼,资产跨链与跨链交互因此成为重要的需求。如果考虑传统的跨链桥,如果先不论安全性,那么如果只有 3 条链时只需要 3 个跨链桥,但是如果有 5 条链时就需要 10 个跨链桥,有 20 条链时就需要近 200 个跨链桥才能实现这些链两两之间的直接通信。

因此,一个 Omnichain zkRollup 最终将为成为跨链甚至是全链应用的最终落脚地。在上述通用型 zkEVM-based zkRollup 的基础上,接入另外一个 Ominichain Interoperation Protocol(这是未来五年里非常重要的赛道,玩家有 LayerZero、HyperLane、Way Network 等),从而形成了所谓的 Omnichain zkRollup。它将汇集来自全链的资产流动性,扮演全链执行层的角色。它通过零知识证明确保交易的正确型,享受与全链总和等价的安全性。我们设想一个 Omnichain zkRollup 上将实现来自全链的资产与信息的完全可编程交互性,用户可以通过在此上发送交易以发起这样的交互,这些交互会改变来自各个链上的账户的状态,Omnichain zkRollup 会以块为单位计算并在各个链上更新状态,并提交状态更新的证明。

Omnichain zkRollup 的愿景中包含着无限的可能性,人们可以在其上部署汇集所有链的去中心化交易所;可以创造汇集全链用户的 GameFi 和 SocialFi;甚至是更多元、更多样、更没有边界的应用都将成为可能。

评论

所有评论

推荐阅读

  • Polymarket周一将发布重大公告

    3 月 21 日,Polymarket 团队成员 Mustafa 发文表示,将于周一公布一项「重大公告」,具体内容尚未披露。

  • Polymarket将于下周一公布重大消息,或为发币或融资相关消息

    Cointime 报道,3月21日消息,Polymarket 官方团队成员 Mustafa 于 X 平台发文表示,下周一即将公布重大消息。因推文内容包含硬币符号,社区猜测或为融资或代币发射相关重大消息。 此前消息,预测市场平台 Kalshi 与 Polymarket 据悉正与潜在投资者洽谈新一轮融资,目标估值均约为 200 亿美元。日前,Kalshi 已完成新一轮超 10 亿美元融资,估值达 220 亿美元,较去年 12 月上一轮融资时的 110 亿美元估值翻倍。知情人士透露,本轮融资由 Coatue Management 领投,Kalshi 目前的年化收入为 15 亿美元。

  • 美众议院金融服务委员会将于3月25日举行代币化听证会,聚焦资本市场未来

    3 月 21 日,美国众议院金融服务委员会将于美东时间 3 月 25 日 10:00 举行听证会,主题为「代币化与资本市场的未来」,预计将重点讨论区块链技术在金融体系中的应用与监管方向。

  • 黄金创43年来最大周跌幅:一周暴跌11%,避险属性遭质疑

    3 月 21 日,受中东局势升级及利率预期影响,黄金价格大幅下挫,创下自 1983 年以来最大单周跌幅。现货黄金周五跌至约 4488 美元/盎司,单周累计下跌约 11%,自 2 月底以来累计跌幅已超 15%。市场分析认为,美联储年内或维持利率不变、鲍威尔关于通胀上行的表态削弱了黄金吸引力。同时,在伊朗冲突背景下,比特币表现相对更强,期间反弹超 11%,对黄金形成对比。

  • 分析:加密市场山寨币交易量大幅下滑,市场兴趣持续降温

    3 月 21 日,Cryptoquant 分析师 Darkfost 发文称,加密市场山寨币交易量持续走低,投资者兴趣明显减弱。在熊市背景及地缘政治不确定性影响下,山寨币表现持续跑输比特币,风险偏好显著收缩。当前,Binance 山寨币日交易量约为 77 亿美元,其它主要交易所合计约 188 亿美元,远低于 2025 年 10 月与 2 月高峰期(Binance 曾达 400 亿至 500 亿美元,其它平台达 630 亿至 910 亿美元)。目前 Binance 占据约 40% 的市场份额。分析指出,历史上交易量高峰往往对应市场阶段性顶部与 FOMO 情绪释放,而当前低迷成交环境也意味着潜在机会通常出现在市场关注度最低阶段。

  • 消息人士:特朗普政府正制定方案以夺取伊朗核材料储备

    3 月 21 日,据美国哥伦比亚广播公司(CBS)报道,多位知情人士透露,特朗普政府一直在谋划获取或转移伊朗核材料的方法和选项。此时,由美国和以色列领导的针对伊朗的军事行动正进入一个更加不确定的阶段。关于特朗普是否会下令实施此类行动,目前时机尚不明确。一位消息人士表示,他尚未做出任何决定。但两位消息人士表示,相关规划的核心是可能部署来自联合特种作战司令部的部队,该部队是精英军事单位,常负责最敏感的防扩散任务。

  • 中东冲突与加息预期共振:全球资产大震荡,美股四连跌、债市「血洗」、黄金创43年最大周跌幅

    3 月 21 日,中东局势持续升级叠加 Federal Reserve 加息预期骤然升温,全球市场遭遇系统性冲击。美股连续第四周下跌创一年最长跌势,纳指单日跌超 2%,科技股全线承压;全球债市收益率大幅飙升,美债、英债、德债均创多年新高,资金大规模去杠杆。大宗商品剧烈分化,黄金跌破 4500 美元关口,单周暴跌超 10%,创 1983 年以来最大跌幅,避险属性遭质疑;原油则因中东供应风险暴涨,布油重返 110 美元上方,迪拜原油期货单日飙升超 16%。与此同时,比特币在 7 万美元附近获得支撑,连续三周跑赢黄金。市场分析认为,地缘冲突推升能源价格并加剧通胀预期,迫使货币政策路径重定价,全球金融条件快速收紧,风险资产仍处于下行与再定价过程中。

  • 美团开源560B参数定理证明模型:72次推理通过率97.1%,刷新开源模型SOTA

    据 1M AI News 监测,美团 LongCat 团队开源 LongCat-Flash-Prover,一个 5600 亿参数的 MoE 模型,专攻形式化定理证明语言 Lean4 的数学推理任务。模型权重以 MIT 协议发布,已上线 GitHub、Hugging Face 和 ModelScope。模型将形式化推理拆解为三项独立能力:自动形式化(将自然语言数学问题转化为 Lean4 形式语句)、草图生成(产出引理风格的证明框架)和完整证明生成。三项能力均通过 Agent 工具集成推理(TIR)与 Lean4 编译器实时交互验证。训练方面,团队提出 Hybrid-Experts Iteration Framework 生成冷启动数据,并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练,同时加入定理一致性和合法性检测机制防止 reward hacking。基准测试显示,LongCat-Flash-Prover 在开源权重模型中刷新了自动形式化和定理证明两项 SOTA。MiniF2F-Test 上仅用 72 次推理即达 97.1% 通过率,ProverBench 和 PutnamBench 分别达到 70.8% 和 41.5%,每题推理次数不超过 220 次。

  • Erik Voorhees再次增持1.44万枚ETH,总持仓量突破11.7万枚

    3 月 21 日,据 AI 姨监测,ShapeShift 创始人、比特币早期支持者 Erik Voorhees 关联地址,过去 11 小时买入 14,424.53 ETH,总持仓突破 11.7 万枚,持仓均价 2,160.24 美元,当前浮亏 114.5 万美元。

  • 贝莱德(BlackRock) vs. Strategy:谁将赢得比特币积累大战?

    比特币市场目前正发生一些前所未有的事情。