CER:探討 Rollup 交易 Finality 的層級_ROLS

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

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

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

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

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

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

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

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

Cardano聯創：從未為Ripple工作，相關謠言可能把自己和Vitalik搞混了:6月24日消息，針對網上有關其曾在Ripple實習的傳聞，以太坊和Cardano聯合創始人Charles Hoskinson澄清稱，這是謠言，自己從未以任何身份為Ripple工作過。相關謠言應該是把他和Vitalik Buterin兩個人搞混了。

相關謠言疑似是基于一條早期的推文（已刪除）：2019年4月，Vitalik回復Coinbase聯合創始人Brian Armstrong的推文時承認，早在2013年中期，當他住在加拿大時，曾試圖去加州在此后更名為Ripple Labs的公司當實習生，但由于贊助美國簽證的公司必須至少成立一年而未能成功。

Ripple前開發者關系總監Matt Hamilton于2023年5月1日證實，Vitalik當時確實希望能在Ripple實習。[2023/6/24 21:57:28]

Sequencer的承諾

Bored Ape Yacht Club #7094 以131.69ETH的價格成交:金色財經報道，Etherscan數據顯示，Bored Ape Yacht Club #7094 以131.69ETH的價格成交。[2023/2/22 12:22:35]

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

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

Sequencer可以響應：

?交易的預期執行，

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

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

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

DeFi借貸協議Exactly Protocol完成200萬美元融資:1月13日消息，DeFi 借貸協議 Exactly Protocol 完成 200 萬美元融資，Synthetix 創始人 Kain Warwick、Daedalus、Decentraland 聯合創始人 Esteban Ordano 共同領投，參投方包括 Bodhi Ventures、Newtopia VC、NXTP Ventures、Kaszek Ventures。本輪融資將用于擴大團隊以及開發產品。Exactly Protocol 表示將推出固定利率的存款和借款產品。[2023/1/13 11:10:46]

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

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

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

印度央行將在試點基礎上推出有限使用的數字貨幣:10月7日消息，印度儲備銀行 (RBI) 發布了一份50頁的概念說明，用于在該國引入中央銀行數字貨幣 (CBDC)。該文件由印度儲備銀行的金融科技部門準備，該部門于2022年1月創建，負責制定加密貨幣法規并創建中央銀行數字貨幣 (CBDC)。

印度儲備銀行創建CBDC的動機包括降低實物現金管理的運營成本、促進金融包容性、提高支付系統的彈性、效率和創新能力、促進跨境支付領域的創新、向公眾提供任何私人虛擬貨幣可以提供的用途，而不存在相關風險，在偏遠地區沒有電力或移動網絡時，提供可用性和彈性優勢。

BRI表示，在印度測試數字貨幣時，將很快開始針對特定用例試行電子盧比（e-rupee）。隨著此類試點的范圍和范圍不斷擴大，印度儲備銀行將不時繼續就電子盧比的具體特點和好處進行溝通。（CoinDesk）[2022/10/7 18:42:01]

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

Casa創始人：不能保證比特幣的價值會繼續上升，但法幣的價值將繼續下降:金色財經報道，加密錢包服務Casa創始人Jameson Lopp在社交媒體上稱，不能保證比特幣的價值會繼續上升。然而，可以肯定，法幣的價值將繼續下降。[2022/9/26 7:20:27]

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

只有我的朋友：)

Tags：ROLLROLCERSEQTrollCoinROLSSoccerHubSequence

Polygon