以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > BNB > Info

探討 Rollup 交易 Finality 的層級_ROL:NCE

Author:

Time:1900/1/1 0:00:00

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

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

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

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

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

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

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

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

美股低開納指跌1%:金色財經報道,美股三大指數集體低開,道指跌0.61%,納指跌1%,標普500指數跌0.76%。[2023/7/6 22:22:03]

Sequencer的承諾

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

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

Sequencer可以響應:

?交易的預期執行,

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

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

Elemental Beans合約部署者于1小時前部署新合約GreenBean:6月28日消息,NFT收藏家、BAYC元老級持有者wave在社交媒體發文表示,關注到Elemental Beans合約部署者于1小時前部署一個名為GreenBean的新合約。通過反編譯這個合約,他發現了該合約對Azuki主合約進行了硬編碼引用,同時將MAX_SUPPLY硬編碼為10,000,并提及版權費用實施(暗示可交易)。[2023/6/28 22:05:41]

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

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

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

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

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

Base將集成Coinbase自托管錢包和dApp錢包:2月27日消息,Coinbase協議負責人Jesse Pollack透露,該公司最新推出的以太坊L2網絡Base將集成Coinbase自托管錢包和Coinbase dApp錢包兩個產品。

Pollack還稱,Base與其他以太坊L2不同,因為Coinbase已經擁有一個專屬用戶群,因此開發人員一開始就能接觸到龐大的受眾,構建也更容易。

另據加密博客主Chris Blec透露,Base將會是一條合規KYC區塊鏈,只有身份通過驗證的用戶才能獲得訪問權限,也是世界經濟論壇(WEF)央行數字貨幣計劃的一個重要組成部分。(Crypto Slate)[2023/2/27 12:31:07]

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

交易訂單最終確定

芭比娃娃制造商 Mattel 的 NFT 市場 Mattel Creations 上線 Flow:11月22日消息,據Flow官方消息,全球最大的玩具制造商之一Mattel旗下數字藏品平臺Mattel Creations已上線Flow并將于12月15日發布系列4風火輪(HotWheel)NFT。在Mattel的新NFT市場上,用戶將能夠購買與Mattel的經典芭比娃娃和風火輪IP相關的數字收藏品[2022/11/22 7:54:47]

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

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

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

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

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

BitMEX 前首席執行官 Arthur Hayes 將于本周五宣判:金色財經報道,在承認違反美國銀行保密法 (BSA) 后,BitMEX 前首席執行官 Arthur Hayes 將于本周五宣判。盡管Hayes可能面臨最高五年的監禁,但違反 BSA 導致入獄的情況并不常見。(The Block)[2022/5/19 3:26:39]

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

注意,當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:ROLLROLNCECERroll幣在哪換TROLLBNB價格Hideous FinanceCER價格

BNB
美監管“叫停”BUSD!是時候了解一下值得期待的幾個新DeFi 穩定幣了_ETH:DPX

這是白話區塊鏈的第1861期原創?作者|五火球教主出品|白話區塊鏈最近穩定幣再次站上了風口浪尖.

1900/1/1 0:00:00
Amber Group:為什么模塊化區塊鏈是未來?_ROLL:以太坊硬幣可以賣錢么

過去十年是智能手機不斷發展的十年。彼時,一些大型公司認為他們能夠通過引進模塊化架構來變革智能手機的發展。2013年谷歌宣布項目Ara,這是使用模塊化設計的智能手機.

1900/1/1 0:00:00
教程:如何鑄造比特幣網絡上的Bitcoinpunk NFT?_DIN:FC Bitcoin

軟件工程師CaseyRodarmor于1月21日在比特幣主網上推出了Ordinals協議。它允許將圖像、文本、程序甚至視頻游戲等數字作品直接刻在比特幣區塊鏈上.

1900/1/1 0:00:00
Blur空投落地在即,還有哪些NFT概念Token值得關注?_KEN:renshentoken

NFT市場BLUR的原生Token$BLUR將于2月14日正式上線。$BLUR飽受市場矚目,它的熱度會輻射到其他NFT概念Token上嗎?讓我們一起看看,還有哪些NFT概念Token值得關注.

1900/1/1 0:00:00
深入解讀 Sui「Builder Hero」的 20 個獲獎項目_SUI:TPS

昨日,Sui基金會宣布了20位SuiBuilderHero的獲獎者,這些獲獎者不僅在Sui網絡上構建了各種各樣的項目,也通過參與論壇、舉辦研討會和演講等活動在Sui社區中聲名鵲起.

1900/1/1 0:00:00
MarsBit周報 | 美SEC打擊加密質押市場;AI投資板塊熱度飆升_RAKE:KRAKBABY

一、過去一周行業發生重要事件 1.產業 以太坊客戶端Prysm開發更新:已實現并審查所有支持Capella升級中提款的核心功能OffchainLabs發布以太坊客戶端Prysm在Capella和.

1900/1/1 0:00:00
ads