探討 Rollup 交易 Finality 的層級_ROLL

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

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

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

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

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

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

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

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

ConsenSys：希望監管機構能夠認識到加密技術是一種創新:金色財經報道，ConsenSys在社交媒體上表示，“我希望監管機構能夠認識到加密技術只是一種創新，一種構建機制。不要扼殺創新。”[2023/3/6 12:43:49]

Sequencer的承諾

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

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

Sequencer可以響應：

?交易的預期執行，

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

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

LUNC社區KOL主動銷毀1300萬代幣:12月21日消息，Terra Classic生態KOL ClassyCrypto在最近的推文中宣布，將其LUNC驗證者傭金的100％正式銷毀，具體銷毀包括Classy的Crypto Sphere驗證者傭金（近800萬個LUNC代幣）、YouTube上LUNC視頻的廣告收入等，總計1300萬個LUNC代幣。目前，LUNC社區銷毀的代幣總量已超過362.31億枚，價值超過470萬美元。（coingape）[2022/12/21 21:59:02]

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

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

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

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

前美國財政部長勞倫斯：FTX是典型的欺詐行為:11月13日消息，前美國財政部長勞倫斯·薩默斯（Lawrence Henry Summers）在接受Bloomberg TV采訪時稱FTX是典型的欺詐行為。

他表示，FTX不僅只有財務問題，還有欺詐的味道。監管界應該從中吸取兩個教訓，第一，如果我們少一些經濟學家和量化分析師，多一些法律會計師將會更有幫助；另一個是，應該在涉及金融的所有事情中制定一條規則，即每個與金融有關的負責人必須每年連續一周或兩周完全遠離辦公室、遠離電話、遠離任何設備和系統連接，這樣才能快速將一些問題暴露出來。（Bitcoin.com）[2022/11/13 12:58:47]

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

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

Liquid staking初創公司Alluvial已將Kraken添加到Liquid Collective:金色財經報道，加密貨幣交易所Kraken已經加入了一個獨立的行業聯盟，以建立、保護和支持企業級的liquid staking協議。

Liquid staking初創公司Alluvial宣布該協議將被命名為Liquid Collective，Kraken加入了越來越多的參與者名單，包括Coinbase Cloud、BENQI和Acala Foundation。（theblock）[2022/9/21 7:09:46]

交易訂單最終確定

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

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

Alameda Research地址贖回約1.4萬枚ETH，價值2800萬美元:5月17日消息，據鏈上天眼數據監測，被OKLink ETH瀏覽器標記為Alameda Research的地址，于北京時間5月17日06:38:43從鏈上標記為“DeFi: Wrapped Ether”（0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2）贖回13999枚ETH，約合2800萬美元。[2022/5/17 3:21:42]

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

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

只有我的朋友：)

Tags：ROLLROLNCEENCBankRollRolaz Goldvelodromefinance幣新聞Divergence Protocol

BTC