CER:探讨 Rollup 交易 Finality 的层级

我们在Rollup的背景下中探索了一个有趣的问题:

交易最终性→什么时候Rollup交易被认为是最终且不可逆的?

与等待X次确认的工作量证明区块链的最终一致性或以太坊的权益证明协议相比,Rollup中的最终性非常不同,后者将在连续两次绝对多数投票(epoch)后完成交易。

总的来说,追求交易的最终性有三个阶段:

?Sequencer的承诺→Sequencer向用户承诺,交易将按照预期进行排序和执行。

?订单最终性(OrderFinality)→用户的交易相对于所有其他交易有一个最终的顺序。

?执行结算→桥接智能合约确信用户交易的最终执行。

我们的文章主要关注上述三个阶段,以及交易在每个阶段中的进展情况。在深入研究之前,OptimisticRollup和ValidityRollup的交易的最终确定性是相同的,或者至少这两种类型的Rollup都可以利用它:)

公链Sei发布白皮书:引入Twin-Turbo共识和并行化Cosmos链:10月28日消息,公链Sei Network发布白皮书,并表示“在协议级别,Sei利用Twin-Turbo共识和并行化来提高性能。Sei还拥有一个本地订单匹配引擎,以及进行重大的协议改进,以推动Tendermint Core达到速度极限。”

白皮书指出,Sei Network引入Twin-Turbo共识,以显著改善区块构建和处理时间。Sei Network也是第一个并行化Cosmos链,这允许同时处理独立交易,改善整体吞吐量和延迟问题。

据此前报道,今年8月,Sei Labs完成500万美元种子轮融资,Multicoin Capital领投,Coinbase Ventures、GSR、Flow Traders、Hudson River Trading、Delphi Digital、Tangent等参投。[2022/10/28 11:51:55]

Sequencer的承诺

Avalanche公布升级版共识机制Snowman++:9月19日消息,Avalanche于9月16日公布升级版共识机制Snowman++,目前Snowman++已经在Fuji测试网上激活,主网上的激活时间将在后续公布。交易所、钱包无需做出改变。节点需要升级至AvalancheGo@v1.6.0。(Medium)[2021/9/19 23:36:31]

Sequencer是唯一了解链下数据库待定状态的一方,因为他们有权决定/提议待定交易的排序。

在高层次上,交易的生命周期始于用户在将交易传递给Sequencer之前使用数字签名对其进行授权。

Sequencer可以响应:

?交易的预期执行,

?当交易作为最终结算时,此执行将保持的承诺。

声音 | 重庆工商大学刘昌用:区块链的本质是“密码共识”:据陨石财经报道,11月10日下年,在重庆工商大学主办的2019密码经济研讨会上,重庆工商大学区块链经济研究中心主任刘昌用以《密码经济的性质和结构》为主题发表了演讲。刘昌用认为非对称密码带来了革命,能够解决支付产权确认和转移中对中介的依赖。并表示区块链的本质是“密码共识”,提出了个密码共识的公式,即密码共识=非对称密码技术+分布式共识。刘昌用还提出了两个基本思想:一是非对称密码技术改造了人类财产确定和转移方式;二是公共基础设施无法信任任何人的场景应用,全球的经济基础设施定了可以建立这个系统的技术条件。[2019/11/10]

这一承诺是可能的,因为Sequencer是唯一拥有所有待处理交易列表的一方。在传递之前,他们有权决定交易的顺序。因此,只有Sequencer才能知道链下数据库的挂起状态。

我们称其为承诺,因为Sequencer可以决定向用户返回无效响应并忽略交易。

Rollup有两种方法可以帮助抵御恶意和撒谎的Sequencer:

动态 | V神现身曼谷BCH采矿协议闭门会议 江卓尔称达成相当程度的共识:据bitcoinexchangeguide消息,吴忌寒称在曼谷举行的BCH采矿协议闭门会议上,V神做了简短分享,并对BCH的发展表示祝贺。然而关于这次会议的具体细节并不多。

江卓尔表示大家不用担心,曼谷会议与会者形成了相当程度的共识,事情有逻辑上完善的解决路径,我会尽快写文章(和翻译),以达成认知一致。在把那些认为一笔交易1000元手续费也没问题的家伙留在BCE(Bitcoin Core,1M版比特币分支)后,BCH社区大部分人是理性人。理性人的争吵,只会修补BCH社区的缺陷(确实存在),使BCH变得更加强大。

但也有网友表示,在网络升级方面,矿工的这次会议并没有什么明显的成果。[2018/9/1]

?签名的收据。Sequencer可能必须返回带有他们数字签名的收据,这可能会被用来削减/惩罚他们对用户撒谎。

?强行收录。用户可以绕过Sequencer,将交易提交给桥接智能合约。

中美谈判达成共识 贸易战停战或对比特币走势产生影响:正在对美国进行访问的主席特使、中共中央局委员、国务院副总理、中美全面经济对话牵头人刘鹤在当地时间19日上午表示,中美两国就贸易逆差问题达成共识,双方一致认为磋商是解决问题的最好方法,并且表示不打贸易战。此前,对冲基金BKCM LLC的创始人兼首席执行官Brian Kelly表示,比特币可能会成为中美贸易战中的“安全避风港”。在贸易战期间道琼斯指数在过去一周下跌超过1000点,但比特币却保持了相对稳定。”[2018/5/21]

虽然为决定交易执行的最终顺序提供快速路径是Sequencer的职责,但这并不是他们唯一的决定权。最终由桥接智能合约决定所有未决交易的最终顺序。

话虽如此,只要它及时发布(Arbitrum约24小时),桥将优先考虑由Sequencer提出的批次交易。

交易订单最终确定

桥接智能合约决定交易的最终顺序,并授权任何人计算链下数据库的副本

桥接智能合约和底层的区块链,履行了数据可用性层的作用,提供了单一的保证:

数据可用性:数据项在某个时间点发布,所有在线方都可以获取。

在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同样有用,因为用户可以在交易被下令执行时就假定它是最终交易。这为执行者提供了回旋余地,可以等待有序交易堆积起来,然后再将有效性证明放在一起并结算执行。

只有我的朋友:)

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:15ms0-9:291ms