ROL:探討 Rollup 交易 Finality 的層級_BenjiRolls

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

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

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

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

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

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

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

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

接近監管人士：短期內螞蟻集團重新上市的可能性不大:金色財經報道，有媒體引述知情人士消息稱，螞蟻集團正計劃進行重組，考慮剝離區塊鏈等非核心業務，為重啟香港IPO鋪路。接近監管的人士表示，螞蟻集團重啟IPO一方面要合法合規，另一方面企業也會根據自身內部情況和外部市場情況來作判斷。從近期了解到的情況來看，短期內，螞蟻重新上市的可能性不大。[2023/7/29 16:06:10]

Sequencer的承諾

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

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

Sequencer可以響應：

?交易的預期執行，

韓國加密資管公司Sandbank已暫停新的存款和投資功能:6月20日消息，韓國加密資產管理和投資服務公司Sandbank發文表示，在市場穩定之前，已暫停新的存款和投資功能，正在進行中的投資項目到期后可以取款，提現和資產管理功能可以正常使用。[2023/6/20 21:48:46]

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

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

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

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

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

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

Coinspect Security已確定Algorand生態錢包MyAlgo遭黑客攻擊的根本原因:3 月 19 日消息，區塊鏈安全公司 Coinspect Security 發文表示，通過與 Algorand 錢包 MyAlgo 合作，已確定 MyAlgo 被黑客攻擊的根本原因，即將官宣具體信息。目前，攻擊不再活躍、沒有利用應用程序錯誤或易受攻擊的代碼庫、不要濫用瀏覽器功能（例如自動填充）、私鑰加密并不弱、開源 MyAlgo 組件不受影響。此外，攻擊者解密私鑰是因為他們獲得了密碼，而不是由于加密漏洞，針對受影響用戶，建議立即更改錢包密碼，切勿重復使用。[2023/3/19 13:12:50]

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

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

Terra發布新的Docs，包含節點運行、Terra遷移指南等:9月15日消息，Terra發推稱發布新的Docs，新的文檔設計和布局中使用可顯示代碼的可視化技術Code Hike，Docs中包含初學者指南、開發人員教程、節點運行、Terra遷移指南。此外，Terra Docs集成了Terra的Swagger REST API文檔。[2022/9/15 6:59:04]

交易訂單最終確定

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

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

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

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

英超水晶宮俱樂部提交NFT相關商標申請:金色財經消息，據元宇宙商標律師Michael Kondoudis透露，英國水晶宮足球俱樂部已向美國專利商標局 (USPTO) 提交了NFT相關商標申請，相關業務可能包括加密貨幣、數字藏品、虛擬鞋類、服裝和運動裝備、線上NFT和加密市場和交易平臺、NFT認證媒體等。[2022/7/2 1:45:29]

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

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

注意，當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：ROLLROLENCUENCTROLLER幣BenjiRollsEncryption AIInfluencer

火幣下載