探讨 Rollup 交易最终性
Rollup交易有三个阶段,最终和不可逆。它通过分离交易排序和执行过程,实现了排序最终性,让任何人都可以确定数据库状态。用户可以快速提取资金,执行者可以灵活等待交易积累后再结算。已有多种Rollup实现了排序最终性,包括Arbitrum、Optimism、Scroll、Polygon Hermez和ZkSync。这对于优化交易执行延迟非常有用。
原文标题:Tiers of Transaction Finality for Rollups
原文作者:PATRICK MCCORRY
原文来源:cryptofrens
编译:AI 翻译官
一个 Rollup[3] 交易在逐步变得已结算、最终和不可逆时有三个阶段。
我们在 Rollup 的背景下探讨一个有趣的问题:
交易最终性 → 什么时候一个 Rollup 交易被认为是最终和不可逆的?
在 Rollup 中,交易最终性与工作量证明区块链的最终一致性[4] (等待 X 次确认)或以太坊的权益证明协议(在连续两次超级多数投票(epochs)[5] 后最终确定交易)非常不同。
在 Rollup 中,追求交易最终性有三个阶段:
-
排序者(Sequencer)的承诺 → 排序者向用户承诺交易将按预期排序和执行。
-
排序最终性 → 用户的交易相对于所有其他交易有一个最终排序。
-
执行结算 → 桥接智能合约确信用户交易的最终执行。
我们的文章重点讨论上述三个阶段以及交易如何通过每个阶段。在进一步深入之前,交易的最终性对于 Optimistic 和 Validity Rollups 是相同的,或者至少两种类型的 Rollups 都可以利用它
排序者是唯一知晓链下数据库待处理状态的一方,因为他们有权决定 / 提议待处理交易的排序。
在高层次上,交易的生命周期从用户用数字签名授权交易开始,然后将交易传递给排序者。
排序者可以回应:
-
他们交易的预测执行,
-
承诺当交易最终结算时,这个执行将成立。
这种承诺是可能的,因为排序者是唯一拥有所有待处理交易列表的一方。他们有权决定交易的排序,然后再传递出去。因此,只有排序者知晓链下数据库的待处理状态。
我们称之为承诺,因为排序者可以决定向用户返回无效响应并忽略交易。
Rollups 有两种方法可以帮助防范恶意和撒谎的排序者:
-
签名收据。 排序者可能需要返回带有其数字签名的收据,稍后可以用来惩罚他们对用户撒谎。
-
强制包含。 用户可以绕过排序者,将其交易提交给桥接智能合约。
虽然排序者的角色是提供一个快速路径来决定交易执行的最终顺序,但这并不是他们的唯一决定权。最终由桥接智能合约决定所有待处理交易的最终排序。
话虽如此,只要排序者在及时发布(~24 小时对于 Arbitrum)的情况下,桥接将优先考虑排序者提议的交易批次。
桥接智能合约决定交易的最终排序,并授权任何人计算链下数据库的副本
桥接智能合约和底层区块链履行数据可用性层的角色,提供一个单一保证:
数据可用性[6]:数据项在某个时间点发布,并且所有在线方都可以获取它。
在 Rollups 的情况下,将一批交易发布到桥接智能合约使所有诚实的用户、执行者和其他排序者能够获取交易列表。
新的一批交易应附加到 Rollup 的规范交易链中。任何一方都可以对其本地数据库副本执行新交易并计算链下数据库的新状态。这是一个确定性过程,所有各方应得出相同的状态。
正如我们稍后将看到的——只要你能相信有一个诚实的一方会站出来并执行结算——那么就有可能在桥接之上构建仅依赖于排序最终性的协议。
注意,有些 Rollups 绕过了这个阶段,因为排序者直接将交易发送给执行者,这样做有利有弊,我们在此不讨论。
最终目标是说服智能合约关于已排序交易的执行。
执行结算的唯一目的是说服智能合约,而不是外部方或共识协议,关于所有已排序交易的最终执行。
毕竟,在这一点上:
-
桥接已经排序了所有待执行的交易,
-
任何人,包括用户,都可以计算预期数据库的副本。
唯一不知道当前数据库状态的一方是桥接智能合约,因为它缺乏重放和处理所有待处理交易的计算资源。
由执行者来证明并提议新的数据库状态,并提供证明证明该证明是正确的。执行者可以决定处理一个或多个交易批次,唯一的约束是执行必须尊重交易的最终排序。证据可以是欺诈证明或有效性证明。
执行结算的唯一原因是授权桥接合约执行副作用,包括从链下系统向 L1 智能合约转移资金或发送消息。只有当桥接确信相关交易的执行时,才能执行副作用。换句话说,桥接合约只有在确信所有交易都是有效且正确执行的情况下才会释放资金。
这引出了 Rollup 最有趣的方面之一。
它将交易排序和计算预期执行的过程分开:
-
首先排序。 所有参与方都可以确定相同的交易列表,并在本地计算链下数据库的新状态。
-
延迟执行。 整个过程的重点是说服桥接智能合约关于排序交易执行后的数据库新状态。
分离这些过程允许任何人可以在执行与桥接智能合约结算之前确定性地计算出数据库状态。
排序和执行之间的时间延迟可能是巨大的。例如,如果我们考虑交易批次发送到桥接智能合约的频率,那么在撰写本文时,Arbitrum[7] 和 Optimism[8]大约每 30 秒发送一次。
因此,排序的最终性可以在<10 分钟内确定,但执行结算可能需要至少 2 周。
这引出了本文的关键要点:
在排序后和结算前进行交易。 只要你能相信有一个诚实的参与方会站出来并强制最终执行与桥接智能合约的结算,那么代理可以在排序最终确定后对未结算的数据库状态采取行动。
让我们考虑一个用户想要快速从 Rollup 提取资金到以太坊的三步过程:
-
用户发送资金 + 费用。 用户可以选择一个流动性提供者(LP)并发起一笔将资金转移给 LP 的交易。该交易在 Rollup 上确认,并将资金发送到以太坊上的一个特殊仲裁合约。
-
LP 等待排序最终性。 LP 将等待 Rollup 交易达到排序最终性后再决定在以太坊上向用户发送资金。
-
LP 或用户获得资金。 当执行结算时,用户的资金将到达 Arbitrum 合约。如果 LP 已经支付了用户,Arbitrum 合约将把资金发送给 LP;如果 LP 未能履行职责,合约将简单地将资金退还给用户在 L1 上的账户。
在上述例子中,用户可以在<10 分钟内乐观地从 LP 那里收到资金,而 LP 可以确信他们将在~2 周内收到还款。如果出现问题且 LP 未能履行职责,用户将在~2 周后收到还款。_这有多令人兴奋?!_
总之,任何直接将交易数据发布到桥接智能合约的 Rollup都可以实现排序最终性。
我们已经提到 Arbitrum 和 Optimism 支持排序最终性,但我也知道 Scroll、Polygon Hermez 和可能的 ZkSync 也实现了这一点。
大多数讨论集中在 Optimistic Rollups 如何利用排序最终性来绕过执行结算延迟(~2 周)。
然而,这对有效性 Rollups 同样有用,因为用户可以在交易被排序执行时假定其最终性。这为执行者提供了_等待排序交易积累的灵活性_,然后再生成有效性证明并结算执行。
up only my frens
比推快讯
更多 >>- SpaceX 首次星舰回收成功
- Gate Ventures、Movement Labs 与 Boon Ventures 合作推出2000万美元加密基金
- 何一:本人只有一个 X 账号
- 马斯克赢得第二起针对 OpenAI 诉讼的可能性渺茫
- 2024 年全球最适合加密货币业务的国家地区排名出炉,迪拜位列第一
- 南非税务局将加密货币纳入合规计划,正向相关服务提供商与 FSCA 寻求用户信息
- 摩根大通 CEO:全球紧张局势加剧,对经济前景持谨慎态度
- 币安:对尼日利亚法院拒绝保释 Tigran Gambaryan 的决定深感失望
- 将头像更换为“Starship Flight 5”
- Neiro CTO 回应质疑:选择 Gotbit 为做市商系急于上市之下的权宜之策,愿为此判断失误担责
- Beercoin 和 WaterCoin 在 Gotbit 被起诉后称早已更换做市商,但遭社区质疑
- 专家:OpenAI 或已超出非营利结构限制,面临昂贵重组
- Vitalik:12 个月前讨论的是 L1 从 L2“提取租金”,现在情况正相反
- 特朗普家族加密项目 WLFI 将于 10 月 14 日直播介绍公售详情
- 英国男子因在垃圾填埋场丢失比特币,起诉英国纽波特市议会 6.47 亿美元赔偿
- Murad:本周期 Meme 币的表现将超越一切
- 监狱记录显示前 FTX 高管 Ryan Salame 已开始七年半的服刑
- 哈里斯公布个人体检报告,欲推动公众审视特朗普的健康状况
- 网络安全公司:Python 软件包索引中发现能窃取加密货币的恶意软件
- 律所 Pomerantz 对交易所 Coinbase Global 提起集体诉讼
- 山东法院民法典适用典型案例:目前对数字藏品的发行、交易并未有法律明令禁止
- 链上风投平台 Fission Labs 完成 160 万美元种子轮融资,SALT Fund 和 Kraynos Capital 领投
- 前 FTX 高管 Ryan Salame 入狱前在 LinkedIn 宣布其新职位为囚犯,并新增“清理和削木”技能
- 花旗银行现金代币服务已投入商业使用
- Arbitrum 社区成员质疑“游戏催化计划”进展,发起提案要求返还 2.2 亿枚 ARB 至 DAO 国库
- 穆长春:数字人民币价值模式下可在区块链上提供智能支付,未来将在智能合约等领域深化发展
- 涉嫌参与1.8亿美元加密货币诈骗的嫌疑人在篡改脚踝监控器后逃亡
- 美 SEC 将对现货以太坊 ETF 期权的决定推迟至12月
- 美国参议员Bill Hagerty提出改进版的支付稳定币法案
- 加密货币交易所 Fairdesk 因监管问题将于 11 月 30 日关闭所有服务
- 美股收盘:三大股指全体上涨,特斯拉跌8.78%
- BTC突破63000美元
- 特朗普家族 DeFi 项目 World Liberty Financial 将于10 月 15 日开始公开代币销售
- 前 FTX Digital Markets 联席CEO Ryan Salame 或即将入狱
- 拜登表示已授权特朗普关于人身安全问题的一切需求
- Arkham CEO证实其公司将迁至多米尼加共和国
- Airdrop Farmer批评 Scroll 的空投分配比例
- Fox记者:Ripple联创Chris Larsen向支持哈里斯的PAC捐赠 100 万美元的 XRP
- QCP Capital 分析师:比特币若能维持在6万美元上方,“Uptober”仍有希望
- 某巨鲸近20分钟内从币安提取价值101万美元的PEPE和148万美元的SHIB
- 灰度公布未来可能纳入 Grayscale 投资产品的代币列表,包含KAS、APT、ARB等
- 某巨鲸卖出7月建仓的1600万枚PEOPLE,亏损25万美元
- Coinbase 分析师:Mt. Gox 还款期限推迟短期内或缓解BTC抛压担忧
- 比特币向上触及62000美元,日内涨2.82%
- Paradigm向其分拆公司Ithaca投资2000万美元,旨在开发 Layer 2 区块链 Odyssey
- Karate Combat将于 2025 年Q1在 Hedera 上推出L2链“UP”
- 模块化 DPoS 网络Elixir新推文暗示或已进行空投快照
- Mango Network V2.0 白皮书发布,同时支持EVM和MoveEVM
- 币安高管 Tigran Gambaryan 再次被尼日利亚法院拒绝保释
- 密歇根大学调查:美国消费者信心走软
比推专栏
更多 >>观点
项目
比推热门文章
- SpaceX 首次星舰回收成功
- Gate Ventures、Movement Labs 与 Boon Ventures 合作推出2000万美元加密基金
- 何一:本人只有一个 X 账号
- 马斯克赢得第二起针对 OpenAI 诉讼的可能性渺茫
- 2024 年全球最适合加密货币业务的国家地区排名出炉,迪拜位列第一
- 南非税务局将加密货币纳入合规计划,正向相关服务提供商与 FSCA 寻求用户信息
- 摩根大通 CEO:全球紧张局势加剧,对经济前景持谨慎态度
- 币安:对尼日利亚法院拒绝保释 Tigran Gambaryan 的决定深感失望
- 将头像更换为“Starship Flight 5”
- BTC跑赢美股,微策略跑赢BTC