我们在Rollup的背景下中探索了一个有趣的问题：
交易最终性→什么时候Rollup交易被认为是最终且不可逆的？
与等待X次确认的工作量证明区块链的最终一致性或以太坊的权益证明协议相比，Rollup中的最终性非常不同，后者将在连续两次绝对多数投票(epoch)后完成交易。
总的来说，追求交易的最终性有三个阶段：
?Sequencer的承诺→Sequencer向用户承诺，交易将按照预期进行排序和执行。
?订单最终性(OrderFinality)→用户的交易相对于所有其他交易有一个最终的顺序。
?执行结算→桥接智能合约确信用户交易的最终执行。
我们的文章主要关注上述三个阶段，以及交易在每个阶段中的进展情况。在深入研究之前，OptimisticRollup和ValidityRollup的交易的最终确定性是相同的，或者至少这两种类型的Rollup都可以利用它：)
Sequencer的承诺
比特小鹿一季度总收入为7260万美元:5月16日消息，吴忌寒旗下矿业公司比特小鹿Bitdeer公布2023年第一季度未经审计的财务业绩和运营更新。根据该报告，比特小鹿第一季度总收入为7260万美元，较2022年同期（9040万美元）减少19.7%；净亏损为950万美元，而2022年同期为净亏损960万美元。2023年第一季度调整后利润为280万美元，而2022年同期为2560万美元。
截止3月31日，比特小鹿总管理算力为18.3 EH/s，其中专有算力为5.7EH/s（自挖业务为3.9 EH/s，云算力业务为1.8 EH/s）；托管算力为12.6 EH/s。自挖业务在2023年第一季度开采了552枚比特币，而2022年同期为538枚比特币。总部署矿机约196,000台ASIC矿机，其中67,000台用于自挖业务和云算力业务，129,000台用于托管。2023年第一季度，公司五个采矿数据中心的总用电量约为992,700 MWH。（Globenewswire）[2023/5/16 15:04:56]
Sequencer是唯一了解链下数据库待定状态的一方，因为他们有权决定/提议待定交易的排序。
Ava Labs CEO呼吁加密监管机构能够阅读和审计代码:金色财经报道，Ava Labs 首席执行官 Emin Gün Sirer 在康奈尔区块链会议表示，区块链和加密货币领域在其监管机构能够阅读和审计代码的那一天之前不能认为自己成熟。为了让下一个十亿用户使用加密货币，需要改进几个方面，例如可扩展性、易用性和适应性。然而，当被问及称为零知识证明 (ZKP) 的秘密共享技术能否达到该规模时，他持怀疑态度。[2023/4/22 14:19:31]
在高层次上，交易的生命周期始于用户在将交易传递给Sequencer之前使用数字签名对其进行授权。
Sequencer可以响应：
?交易的预期执行，
?当交易作为最终结算时，此执行将保持的承诺。
这一承诺是可能的，因为Sequencer是唯一拥有所有待处理交易列表的一方。在传递之前，他们有权决定交易的顺序。因此，只有Sequencer才能知道链下数据库的挂起状态。
我们称其为承诺，因为Sequencer可以决定向用户返回无效响应并忽略交易。
彭博社：加密行业2023年迄今裁员岗位数已超过2000个:2月25日消息，据彭博社披露的数据，加密行业2023年迄今已裁掉超过2,000个工作岗位。此外，自2022年以来裁员最多的三家加密公司分别是Crypto.com、Coinbase和Kraken，这三家公司裁员数量均超过1000人，Gemini Trust、Amber Group、Blockchain.com和Silvergate Capital分列4-7位，但裁员数量都不高于500人。[2023/2/25 12:29:17]
Rollup有两种方法可以帮助抵御恶意和撒谎的Sequencer：
?签名的收据。Sequencer可能必须返回带有他们数字签名的收据，这可能会被用来削减/惩罚他们对用户撒谎。
?强行收录。用户可以绕过Sequencer，将交易提交给桥接智能合约。
虽然为决定交易执行的最终顺序提供快速路径是Sequencer的职责，但这并不是他们唯一的决定权。最终由桥接智能合约决定所有未决交易的最终顺序。
话虽如此，只要它及时发布(Arbitrum约24小时)，桥将优先考虑由Sequencer提出的批次交易。
阿里云拟于2023年一季度将推出区块链节点服务:金色财经报道，阿里云拟通过提供平台和工具来顺应 Web3 发展并希望成为新加坡政府服务转移到商业云环境路线图的一部分。阿里巴巴已成了一支专注于国际市场 Web3 战略的团队，其 Web3 产品组合目前包括 20 多种无服务器服务以及私钥和智能合约管理工具，下季度（2023 年一季度）还将推出一项新的区块链节点服务，使 Web3 开发人员能够访问不同的区块链协议，包括 Avalanche 和 Polygon。
据悉，阿里巴巴的区块链节点服务是 API 驱动的，有助于缩短 Web3 开发人员的运营和维护时间。[2022/12/16 21:49:14]
交易订单最终确定
街机鼻祖雅达利Atari将使用Co:Create平台推出Web3游戏代币:12月2日消息，街机鼻祖雅达利Atari将使用Co:Create平台推出Web3游戏代币，该平台将为Atari X项目的游戏代币构建区块，并持续支持符合社区期望的代币计划，同时通过高度可配置的智能合约和易于使用的仪表板来设计、部署、管理和监控Atari品牌原生代币。在接下来的几个月里，Co:Create将为其平台添加新功能，包括代币奖励和实用型智能合约扩展、基于游戏角色的合约许可、以及其他开发者工具。
此前报道，雅达利Atari品牌代币ATRI计划于2022年底前发行。（venturebeat）[2022/12/2 21:16:46]
桥接智能合约决定交易的最终顺序，并授权任何人计算链下数据库的副本
桥接智能合约和底层的区块链，履行了数据可用性层的作用，提供了单一的保证：
数据可用性：数据项在某个时间点发布，所有在线方都可以获取。
在Rollup的情况下，将一批交易发布到桥接智能合约的行为使所有诚实的用户、执行者和其他排序者能够获取交易列表。
新的交易批应该追加到汇总的规范交易链中。任何一方都可以对其本地数据库副本执行新的交易，并为链下数据库计算新的状态。这是一个确定性的过程，所有各方都应该得到相同的状态。
正如我们稍后将看到的那样——只要你能够相信一个诚实的一方会加强并执行执行结算——那么就有可能在仅依赖于订单最终性的桥上构建协议。
注意，当Sequencer将交易直接发送到executor时，一些Rollup绕过了这个阶段，这样做有利弊，我们在这里不讨论。
执行结算
最终目标是让智能合约执行有序交易。
执行结算的唯一目的是说服智能合约，而不是外部方或共识协议，最终执行所有有序交易。
毕竟，在这个时间点：
?桥已下令执行所有交易，
?任何人(包括用户)都可以计算预期数据库的副本。
唯一不知道数据库当前状态的是桥接智能合约，因为它缺乏重放和处理所有未决交易的计算资源。
由执行者来验证并提出新的数据库状态，并提供有说服力的证据来证明该验证是正确的。Executor可以决定处理一个或多个批次的交易，唯一的约束是执行必须遵守交易的最终顺序。证据可以是欺诈证明，也可以是有效性证明。
执行结算的唯一原因是授权桥接合约执行副作用，包括从链下系统向L1智能合约转移资金或发送消息。只有当桥接器确信相关交易正在执行时，它才能执行副作用
换句话说，桥只有在确信所有交易都有效并正确执行时才会释放资金。
最终结果总结的层次
这给我们带来了Rollup中最有趣的一个方面。
它将排序交易的过程和计算其预期的执行分开：
?先下单。各方都可以确定相同的交易列表，并在本地为链下数据库计算新的状态。
?延迟执行。整个过程的重点是在有序交易执行之后，让桥接智能合约相信数据库的新状态。
分离流程允许任何人在使用桥接智能合约解决执行之前确定地计算数据库状态。
下订单和执行之间的时间延迟可能非常大。例如，如果我们考虑将交易批次发送到桥接智能合约的频率，那么在撰写本文时，在Arbitrum和Optimism上是每30秒发送一次。
因此，订单最终结果可以在10分钟内确定，但执行结算可能至少需要2周时间。
这就引出了本文的要点：
下单后结算前交易。只要你相信一个诚实的一方会加强并使用桥接智能合约执行最终的执行结算，那么代理就可以在最终排序后对未结算的数据库状态采取行动。
让我们考虑一个用户想要快速从以太坊的rollup中提取资金，这有三个步骤：
?用户发送资金+费用。用户可以选择一个流动性提供者(LP)并发出将资金转移到LP的交易。这笔交易在rollup中得到确认，它将把资金发送到以太坊的特殊仲裁合约。
?LP等待订单最终确定。LP将等待Rollup交易实现订单最终性，然后决定在以太坊上发送用户资金。
?LP或用户获得资金。用户的资金将在执行结算时到达仲裁合约。仲裁合约将向LP发送资金，如果他们已经支付给用户，或者如果LP未能履行其职责，它将简单地在L1上退还用户的资金。
在上面的例子中，用户可以乐观地在不到10分钟内收到LP资金，LP将有信心在大约2周内偿还资金。如果有问题，LP没有履行他们的职责，那么用户将在大约2周后偿还他们的资金。多令人兴奋啊！
总之，订单最终性可用于任何将交易数据发布到桥智能合约的Rollup。
我们已经提到了Arbitrum和Optimism支持订单最终性，但我也知道Scroll、PolygonHermez和潜在的ZkSync也实现了它。
大多数讨论都集中在OptimisticRollup如何利用订单最终确定性来绕过执行结算延迟(约2周)。
但是，它对于有效性rollup同样有用，因为用户可以在交易被下令执行时就假定它是最终交易。这为执行者提供了回旋余地，可以等待有序交易堆积起来，然后再将有效性证明放在一起并结算执行。
只有我的朋友：)
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。