探讨 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 绕过了这个阶段，因为排序者直接将交易发送给执行者，这样做有利有弊，我们在此不讨论。最终目标是说服智...
