ROLL:探討 Rollup 交易 Finality 的層級

我們在Rollup的背景下中探索了一個有趣的問題：

交易最終性→什么時候Rollup交易被認為是最終且不可逆的？

與等待X次確認的工作量證明區塊鏈的最終一致性或以太坊的權益證明協議相比，Rollup中的最終性非常不同，后者將在連續兩次絕對多數投票(epoch)后完成交易。

總的來說，追求交易的最終性有三個階段：

?Sequencer的承諾→Sequencer向用戶承諾，交易將按照預期進行排序和執行。

?訂單最終性(OrderFinality)→用戶的交易相對于所有其他交易有一個最終的順序。

?執行結算→橋接智能合約確信用戶交易的最終執行。

我們的文章主要關注上述三個階段，以及交易在每個階段中的進展情況。在深入研究之前，OptimisticRollup和ValidityRollup的交易的最終確定性是相同的，或者至少這兩種類型的Rollup都可以利用它：)

互換合約顯示市場預計美聯儲政策利率5月見頂，其后至年底將降息75個基點:金色財經報道，隔夜指數互換(OIS)最新定價顯示，美聯儲政策利率將在5月會議達到4.83%左右的峰值，與當前水平相比，意味著美聯儲約還有25個基點的加息空間，之后到12月會議，則會有大約3次每次25個基點的降息。相比之下，上周五收盤水平顯示市場預計政策利率將在6月會議達到5.30%的峰值，而上周四顯示在7月會議達到約5.5%的峰值。與12月會議掛鉤的OIS已降至略高于4%，意味著從市場目前預期的5月峰值降息約80個基點，近似于三次每次25個基點的降息；12月OIS上周五收于4.90%。[2023/3/14 13:01:44]

Sequencer的承諾

Sequencer是唯一了解鏈下數據庫待定狀態的一方，因為他們有權決定/提議待定交易的排序。

Magic Eden：已為每個NFT合集添加更多驗證層來解決贗品NFT問題:1月4日消息，NFT交易市場Magic Eden在社交媒體上發文表示，已經了解到用戶在 Magic Eden 上購買到贗品 NFT 的問題，目前已添加更多的驗證層來解決該問題，受到影響的用戶可通過 Magic Eden 的幫助中心來獲取幫助。

此前，多位Magic Eden用戶聲稱在平臺上的正版NFT主頁買到了贗品，懷疑平臺或存在BUG。[2023/1/5 9:53:06]

在高層次上，交易的生命周期始于用戶在將交易傳遞給Sequencer之前使用數字簽名對其進行授權。

Sequencer可以響應：

?交易的預期執行，

?當交易作為最終結算時，此執行將保持的承諾。

這一承諾是可能的，因為Sequencer是唯一擁有所有待處理交易列表的一方。在傳遞之前，他們有權決定交易的順序。因此，只有Sequencer才能知道鏈下數據庫的掛起狀態。

持有10000枚以上BTC的地址數量達到1個月低點:金色財經報道，Glassnode數據顯示，持有10000枚以上BTC的地址數量達到1個月低點，數量為98。[2022/8/26 12:49:02]

我們稱其為承諾，因為Sequencer可以決定向用戶返回無效響應并忽略交易。

Rollup有兩種方法可以幫助抵御惡意和撒謊的Sequencer：

?簽名的收據。Sequencer可能必須返回帶有他們數字簽名的收據，這可能會被用來削減/懲罰他們對用戶撒謊。

?強行收錄。用戶可以繞過Sequencer，將交易提交給橋接智能合約。

雖然為決定交易執行的最終順序提供快速路徑是Sequencer的職責，但這并不是他們唯一的決定權。最終由橋接智能合約決定所有未決交易的最終順序。

話雖如此，只要它及時發布(Arbitrum約24小時)，橋將優先考慮由Sequencer提出的批次交易。

《“十四五”文化發展規劃》鼓勵用區塊鏈技術進行版權保護:金色財經消息，近日，中共中央辦公廳、國務院辦公廳印發了《“十四五”文化發展規劃》，其中提到為加強數字版權保護，推動數字版權發展和版權業態融合，鼓勵有條件的機構和單位建設基于區塊鏈技術的版權保護平臺。[2022/8/17 12:31:08]

交易訂單最終確定

橋接智能合約決定交易的最終順序，并授權任何人計算鏈下數據庫的副本

橋接智能合約和底層的區塊鏈，履行了數據可用性層的作用，提供了單一的保證：

數據可用性：數據項在某個時間點發布，所有在線方都可以獲取。

在Rollup的情況下，將一批交易發布到橋接智能合約的行為使所有誠實的用戶、執行者和其他排序者能夠獲取交易列表。

Aave：只認以太坊 PoS 鏈為主鏈，用戶在其他分叉鏈上使用Aave后果自負:金色財經消息，Aave 社區發文分析以太坊的 PoS 合并與Aave技術適應，分析為何以太坊合并不干擾到 Aave 的正常系統運作。從技術/運營角度來看，Aave只在鏈上治理機制的持續時間和Aave用戶界面上受到輕微影響。由于缺少預言機以及相關流動性問題，Aave 也無法正常運行在任何 PoW 鏈上，Aave 只認 PoS 鏈為主鏈，如果任何用戶決定在任何分叉上直接與 Aave 智能合約交互，應由他們自己負責。[2022/8/9 12:10:53]

新的交易批應該追加到匯總的規范交易鏈中。任何一方都可以對其本地數據庫副本執行新的交易，并為鏈下數據庫計算新的狀態。這是一個確定性的過程，所有各方都應該得到相同的狀態。

正如我們稍后將看到的那樣——只要你能夠相信一個誠實的一方會加強并執行執行結算——那么就有可能在僅依賴于訂單最終性的橋上構建協議。

注意，當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同樣有用，因為用戶可以在交易被下令執行時就假定它是最終交易。這為執行者提供了回旋余地，可以等待有序交易堆積起來，然后再將有效性證明放在一起并結算執行。

只有我的朋友：)

Tags：ROLLROLSequenceNCETROLLBNBAgrolifeCoinaegisfinance

AVAX