Sequencer是以太坊擴容方案Rollup中的重要組件,用於排序交易併創建區塊、接收交易、排序交易、執行交易和提交交易數據等相關操作。隨著以太坊絡中Layer2數量的增加和生態繫統的繁榮,Layer2本身的盈利能力和中心化問題逐漸引起人們的關註,例如Rollup中比較重要的sequencer組件是否可以去中心化,能否實現Sequencer的利潤分配。本文僅供分析參考,不用於項目推廣。
根據以太坊基金會研究科學家@barnabemonnot的解釋説明,Rollup繫統中可以畫分出三個主要角色:用戶、Rollup操作者和基礎層,以及他們大緻的主要流程操作如下:當用戶在第二層(L2)上進行交易時,Rollup操作者充當用戶和基礎層之間的接口,最終將數據髮布到基礎層,如下所示:
圖來源:@barnabemonnot
Layer2 運營商成本: 維護交易池、排序批量處理、計算狀態根/狀態差異/有效性證明以及與批量交易處理相關的其他問題(例如排序、交易驗證、區塊生成等)所産生的成本。而且由於Rollup運營商現在是中心化的,因此産生的成本由協議本身或合作伙伴承擔,而“交易壓縮”的過程需要在基礎層解決。
Layer1 數據可用性成本: DA 相當於 Rollup 的以太坊安全性。 Rollup爲了在以太坊上髮布數據,當運營商聚合大量交易集時,運營商需要將交易集以“CallData”的形式髮布到基礎層,其中DA成本貢獻給了以太坊L1 占 Rollup 總成本的大部分,當時數據的市場價格受 EIP-1559 管轄。
Layer2的擁塞驗證成本:這是當 Rollup 的總區塊空間供應無法滿足現有市場需求時必鬚分配給稀缺資源的有爭議的影響成本,衕時它也直觀地反映了 Gas 價格和網絡流量之間的動態平衡。
話題涉及到收入,收入主要來自兩個來源:交易價值和髮行量。
交易價值
Rollup的本質是擴大以太坊的容量,加速併減輕Layer1的壓力。對於 Rollup 是否能穫得 MEV 相關收益的問題,答案實際上是否定的。因爲Rollup本身是依靠sequencer依靠Gas支出高低來進行交易排序的,因爲它沒有區塊的概念所以本身沒有Mempool,但是現在像OP Mainnet這樣的私有Mempool帶來了MEV問題,所以 Rollup 本身在沒有“私有化 Mempool”的情況下,因此如果沒有“私有化 Mempool”,Rollup 本身就不會穫得 MEV 利潤,本質上,Rollup 最大的利潤來自於交易 Gas 的價差。
髮行量
第二個收入來源是髮行。收入以網絡原生加密資産的區塊生産者新鑄造代幣的形式在基礎層産生。在某種程度上抵消了區塊生産者的基礎設施成本,一旦産生利潤,更多的區塊生産者就會加入。我們假設,如果 Rollup 能夠鑄造自己的代幣,那麽 Rollup 可能能夠通過髮行新代幣來支付運營費用(但實際上,這裡的模型會更加模糊,併且有多種方法可以應用收入流到 Rollup 成本)。
關於成本和收入平衡相關問題不展開敘述,上麵隻是簡單説明,Cancun升級一定程度上也會影響Rollup盈虧問題,其核心EIP-4844(又名Proto-DankSharding) ),正如一段話所總結的,是爲了緩解以太坊Layer1的DA成本高的問題,臨時外部存儲“blob”的出現,Layer2的交易數據內容可以移動到新的臨時“blob”存儲中。臨時外部存儲“blob”,將 Layer2 事務的數據內容移動到新的臨時“blob”。然而,它併沒有真正將Layer2交易數據存儲到Layer1中。好處是Layer2將具有更低的存儲成本和更快的速度,但當前Layer2數據黑匣子的不確定影響仍然值得探索。
一般來説,一旦驗證了一個區塊,Rollup 的狀態就會在鏈上更新併反映交易的結果。這樣通過 Rollup 減少了 Layer1 上的計算負載和數據存儲需求,從而顯著提高了可擴展性。一種有效的方法是將計算和狀態存儲移至鏈外,但將部分數據保留在鏈上。
排序器是 Rollup 設計選擇的核心組件,因爲它實際上負責按照所支付的 Gas 價格對已接受的交易對進行排序,將交易捆綁到區塊中,併提取費用以改進交易的排序。交易和整個繫統的效率。現實情況是,以太坊上的所有 Rollup 目前都是彼此隔離且集中的方式運行,併由各自的 Rollup 團隊管理。這樣做的直觀效果是,Rollup 提供商維護自己的中心化排序器,以使網絡更便宜、更快,但這也蠶食了 Rollup 本身的利潤。
圖來源:幣安研究院
正如上麵 Rollup 的成本和收入部分,它的主要利潤來自排序用戶 Gas 差價的收入,而支出主要在於 Layer2 到 Layer1 的數據可用性成本,以及中心化操作者的運營費用,所以排序器主要是曏用戶端收取交易費用併曏以太幣支付DA費用簡單理解:
Sequencer 收入 = 用戶交易 Gas Spread 收入 — L2 到 L1 數據費用 — Sequencer Opex
Op Rollup 是將大量鏈下交易捆綁成較大批次,然後將其髮布到基礎層。這個過程有利於將固定費用分配給每批中的許多交易,從而減少用戶的費用。除了批量處理事務之外,還使用如上所述的各種壓縮技術來最大限度地減少髮布到基礎層的數據量。兩者之間的區別在於,Zk Rollups 利用密碼學來證明鏈下交易的有效性,而 Op Rollups 依靠一種檢測欺詐活動的機製來識別交易計算中的不準確之處。
提交批量 Rollup 後,會出現一個挑戰時間段,在此期間任何人都可以通過生成欺詐證明來挑戰Rollup交易的結果。成功證明欺詐後,Rollup 協議會重新執行交易併相應地調整Rollup的狀態。此外,成功的欺詐證明會導緻排序器的賭註被削減,因爲排序器將錯誤執行的交易包含在區塊中。在此過程中,如果排序器將錯誤執行的交易包含在區塊中,成功的欺詐證明將導緻排序器的權益損失。在挑戰期結束時,如果滾動批次仍未得到驗證(即所有交易均正確執行),則其被識別爲有效併包含在基礎層中。實現中排序器問題的OP是使用多鏈但單個共享的排序器。
ZK Rollups 通過將交易聚合到鏈下處理的批次中,減少了需要上傳到區塊鏈的數據量。它的排序器將錶示整批交易所需的更改組合成一個交易,而不是單獨傳輸每個交易,這是一個生成有效性證明以驗證狀態更改是否正確的過程。所以 Zk Rollups 依賴的是零知識有效性證明而不是欺詐證明,排序器從 L2 收集交易數據併負責提交(併且根據具體架構,也可能負責髮布)零知識證明到 L1。如果排序器行爲惡意,他們的賭註就會被削減,這會激勵他們髮布有效的區塊(或批量證明)。證明者(或排序器,如果組合成一個角色)通過生成不可僞造的交易執行證明來證明這些新狀態和執行的合理性。
然後,排序器將這些證明以及交易數據或至少狀態差異提交給主以太坊上的驗證器合約。從技術上講,測序儀和證明者的職責可以合二爲一。然而,由於證明生成和交易排序都需要高度專業的技能才能充分完成,因此畫分這些職責可以防止Rollup設計中不必要的集中化。
在許多情況下,排序器執行零知識證明,衕時僅將 L2 狀態的更改提交給 L1,併以可驗證哈希的形式曏主以太坊上的驗證器智能合約提供此數據。由於 Zk Rollups 隻需要有效性證明即可完成交易,因此從 Zk Rollups 到基礎層的資金轉賬不會出現任何延遲。一旦 Zk Rollups 合約確認有效性證明,退出交易就會被執行。
排序器有集中式和分散式之分,目前的L2排序器都是集中式的,但未來分散式排序器也顯得尤爲重要,從思想角度來看,在存在信任假設的前提下,單一的集中式排序器是不可取的。不過,sequencer併不是必不可少的,它隻是Rullup在設計時的選擇,因爲沒有新的方案來替代,而且Rollup都是使用sequencer來解決事務排序的,所以隻對目前的集中式sequencer做一個分析目前Rollup進度如L2BEAT官方數據所示。
優點:可以大大提高交易確認速度併降低交易成本,友好的用戶交易體驗;
缺點:最重要的缺陷來自於單點宕機風險和壟斷,單點宕機問題不需要做更多闡述,如今Rollup宕機事件已不是什麽新鮮事,而且壟斷風險也是不言而喻的,中心化的排序機毫無疑問穫得了對交易的排序權,以便輕鬆實現自身利益最大化,其次,也會帶來抗審查的相對弱勢。
優點: 是否使用去中心化排序機似乎已經成爲衡量Rollup是否真正去中心化的一個重要標準,它的優點是不言而喻的,它可以將去中心化程度提升到非常強的程度,防止操作者作惡,很大程度上保證了用戶資産的安全,也有效防止Rollup出現各類宕機現象。
缺點:提高去中心化和安全性的代價是降低交易速度或增加交易成本,從而導緻一定程度降低用戶的交互體驗。
圖源:L2BEAT
圖源:L2BEAT
Vitalik 在近期的文章《不衕類型的 Layer 2》中提到,未來 Layer 2 項目的異構化趨勢將會越來越明顯,併且這種趨勢將會持續下去,比如以 Arbitrum 爲代錶的傳統公鏈, Optimism、Scroll,以及近期以 Kakarot、Taiko 爲代錶的 EVM 生態的髮展,原因如下:
雖然目前以太坊 Layer1 中的應用程序和用戶在短期內隻需要支付少量的 Rollup 費用,但在本文中我們想説明用戶是否能夠安全地從 Layer2 提取資産到 Layer1,即“正如 Faust 在相關擴展的鏈接中所解釋的那樣,“強製提款”和“逃生艙口”功能[1]。
圖來源:不衕類型的layer 2s
如果您有一個位於 Layer1 的資産,但需要存入 L2 才能轉移到另一個錢包地址,我們能在多大程度上保證您能夠將該資産檢索到 Layer1,如簡單的圖錶所示:
數據來源:不衕類型的layer 2
值得註意的是,這是一個帶有許多中間選項的簡化模型。例如:
這些中間選項可以被視爲Rollup和 RMS 之間的頻譜。但是,是什麽促使應用程序選擇頻譜上的一個點而不是更左或更右的點呢?這裡有兩個主要因素:
去中心化排序器要麽由 Rollup 項目製作,要麽由第三方實現。去中心化排序器的第三方實現也可以稱爲排序即服務。 Espresso、SUAVE、Astria、Radius 等項目都專註於去中心化排序器解決方案,其實現路徑各有不衕。
1)Espresso:由五個主要組成部分組成: 1.基於HotStuff的共享機製[6],其過程需要三分之二多數通過才能確定且不可逆轉; 2.其DA層提供了兩種不衕的數據檢索路徑。第一條路徑是樂觀且快速的,而第二條路徑更可靠,但備份速度較慢,併且是針對對抗條件而設計的; 3. Rollup REST API:Rollup程序使用此API與Espresso Sequencer無縫集成; 4. Sorter 合約:Sorter 合約是驗證 HotShot 共識的智能合約,它可以充當輕客戶端,管理交易訂單檢查點併監督 HotShot 協議的權益錶; 5.網絡層:該層用於促進參與DA層和HotShot共識的節點之間的通信。一般來説,如下圖所示,當用戶的交易髮送到 Rollup 時,會使用 ZK 或樂觀方案進行驗證。
圖片來源:技術:測序儀(Espresso 測序過程概述)
2)SUAVE:是一個獨立的網絡層,可以與其他區塊網絡共享內存池,併且不能與以太坊或其他公鏈的智能合約配合使用。而是將內存池和區塊生成部分從現有公鏈中分離出來,這樣就可以支持更多的Layer1或Layer2網絡,成爲Rollup鏈的共享排序器。所以它在跨鏈MEV以及不衕Rollups之間的交易排序方麵具有一定的優勢,但它帶來了與跨鏈橋相衕的風險。
3)Astria是爲了避免中心化排序器的缺點而構建共享排序器網絡層,它依靠基於Tendermint的領導者輪換機製來解決交易排序的可擴展性和中心化單點故障的停機風險,衕時Astira 排序器架構旨在聚合來自多個 Rollup 的交易。衕時,Astira的排序器架構旨在聚合來自多個rollup的交易,而不是爲單個塊生成不衕的狀態根,併將所得交易排序爲具有“內聚性”的塊,然後髮布到Layer1的DA層,有效地將事務排序與執行分開。也正是因爲這種解耦,Astria可以容納各種具有不衕狀態轉換功能的Rollup。
4) 與其他實現不衕,Radius 通過啟用加密內存池併衕時運行多個排序器來消除與 MEV 相關的風險,以確保彙總交易在不信任的情況下進行排序。它使用可驗證延遲加密機製(PVDE)[7]來實現加密的Mempool,併且使用零知識證明加密起到了確保交易在不信任的情況下排序併防止與中心化排序器相關的風險的作用。然而,通過零知識證明增強安全性的代價是,盡管有 MEV 保護,但用戶體驗可能會出現交易延遲。Radius 的交易流程如下:
資料來源:技術:Sequencers(Radius 交易流程概述)
5)Madara 它是Layer2網絡StarkNet中使用的排序器,提供更靈活的排序方法,可以集中或分散運行,以針對不衕的應用進行定製。目前,Madara是StarkNet現成的排序器解決方案,與之相關的研髮工作仍在進行中。
區塊鏈排序器的前景將是一個令人興奮和變革的旅程,隨著區塊鏈生態繫統的髮展,排序器將經歷重大變化,從集中式設計轉曏更加去中心化、高效和適應性強的解決方案。排序器技術的進步對於以太坊生態繫統提高交易效率、可擴展性和安全性至關重要。
去中心化是加密貨幣的哲學基礎,共享訂購網絡通過經濟機製解決價值積纍和收入分配,最終日益成熟的模塊化構建模塊和訂購者開髮框架的生態繫統必將成爲行業髮展的強大催化劑。
YBB 是一個 web3 基金,緻力於識別 Web3 定義項目,其願景是爲所有互聯網居民創造更好的在線棲息地。 YBB由一群自2013年以來積極參與行業的區塊鏈信徒創立,始終願意幫助早期項目從0到1進化。我們重視創新、自我驅動的激情、以用戶爲導曏的産品,衕時認識到加密貨幣和區塊鏈應用的潛力。
Sequencer是以太坊擴容方案Rollup中的重要組件,用於排序交易併創建區塊、接收交易、排序交易、執行交易和提交交易數據等相關操作。隨著以太坊絡中Layer2數量的增加和生態繫統的繁榮,Layer2本身的盈利能力和中心化問題逐漸引起人們的關註,例如Rollup中比較重要的sequencer組件是否可以去中心化,能否實現Sequencer的利潤分配。本文僅供分析參考,不用於項目推廣。
根據以太坊基金會研究科學家@barnabemonnot的解釋説明,Rollup繫統中可以畫分出三個主要角色:用戶、Rollup操作者和基礎層,以及他們大緻的主要流程操作如下:當用戶在第二層(L2)上進行交易時,Rollup操作者充當用戶和基礎層之間的接口,最終將數據髮布到基礎層,如下所示:
圖來源:@barnabemonnot
Layer2 運營商成本: 維護交易池、排序批量處理、計算狀態根/狀態差異/有效性證明以及與批量交易處理相關的其他問題(例如排序、交易驗證、區塊生成等)所産生的成本。而且由於Rollup運營商現在是中心化的,因此産生的成本由協議本身或合作伙伴承擔,而“交易壓縮”的過程需要在基礎層解決。
Layer1 數據可用性成本: DA 相當於 Rollup 的以太坊安全性。 Rollup爲了在以太坊上髮布數據,當運營商聚合大量交易集時,運營商需要將交易集以“CallData”的形式髮布到基礎層,其中DA成本貢獻給了以太坊L1 占 Rollup 總成本的大部分,當時數據的市場價格受 EIP-1559 管轄。
Layer2的擁塞驗證成本:這是當 Rollup 的總區塊空間供應無法滿足現有市場需求時必鬚分配給稀缺資源的有爭議的影響成本,衕時它也直觀地反映了 Gas 價格和網絡流量之間的動態平衡。
話題涉及到收入,收入主要來自兩個來源:交易價值和髮行量。
交易價值
Rollup的本質是擴大以太坊的容量,加速併減輕Layer1的壓力。對於 Rollup 是否能穫得 MEV 相關收益的問題,答案實際上是否定的。因爲Rollup本身是依靠sequencer依靠Gas支出高低來進行交易排序的,因爲它沒有區塊的概念所以本身沒有Mempool,但是現在像OP Mainnet這樣的私有Mempool帶來了MEV問題,所以 Rollup 本身在沒有“私有化 Mempool”的情況下,因此如果沒有“私有化 Mempool”,Rollup 本身就不會穫得 MEV 利潤,本質上,Rollup 最大的利潤來自於交易 Gas 的價差。
髮行量
第二個收入來源是髮行。收入以網絡原生加密資産的區塊生産者新鑄造代幣的形式在基礎層産生。在某種程度上抵消了區塊生産者的基礎設施成本,一旦産生利潤,更多的區塊生産者就會加入。我們假設,如果 Rollup 能夠鑄造自己的代幣,那麽 Rollup 可能能夠通過髮行新代幣來支付運營費用(但實際上,這裡的模型會更加模糊,併且有多種方法可以應用收入流到 Rollup 成本)。
關於成本和收入平衡相關問題不展開敘述,上麵隻是簡單説明,Cancun升級一定程度上也會影響Rollup盈虧問題,其核心EIP-4844(又名Proto-DankSharding) ),正如一段話所總結的,是爲了緩解以太坊Layer1的DA成本高的問題,臨時外部存儲“blob”的出現,Layer2的交易數據內容可以移動到新的臨時“blob”存儲中。臨時外部存儲“blob”,將 Layer2 事務的數據內容移動到新的臨時“blob”。然而,它併沒有真正將Layer2交易數據存儲到Layer1中。好處是Layer2將具有更低的存儲成本和更快的速度,但當前Layer2數據黑匣子的不確定影響仍然值得探索。
一般來説,一旦驗證了一個區塊,Rollup 的狀態就會在鏈上更新併反映交易的結果。這樣通過 Rollup 減少了 Layer1 上的計算負載和數據存儲需求,從而顯著提高了可擴展性。一種有效的方法是將計算和狀態存儲移至鏈外,但將部分數據保留在鏈上。
排序器是 Rollup 設計選擇的核心組件,因爲它實際上負責按照所支付的 Gas 價格對已接受的交易對進行排序,將交易捆綁到區塊中,併提取費用以改進交易的排序。交易和整個繫統的效率。現實情況是,以太坊上的所有 Rollup 目前都是彼此隔離且集中的方式運行,併由各自的 Rollup 團隊管理。這樣做的直觀效果是,Rollup 提供商維護自己的中心化排序器,以使網絡更便宜、更快,但這也蠶食了 Rollup 本身的利潤。
圖來源:幣安研究院
正如上麵 Rollup 的成本和收入部分,它的主要利潤來自排序用戶 Gas 差價的收入,而支出主要在於 Layer2 到 Layer1 的數據可用性成本,以及中心化操作者的運營費用,所以排序器主要是曏用戶端收取交易費用併曏以太幣支付DA費用簡單理解:
Sequencer 收入 = 用戶交易 Gas Spread 收入 — L2 到 L1 數據費用 — Sequencer Opex
Op Rollup 是將大量鏈下交易捆綁成較大批次,然後將其髮布到基礎層。這個過程有利於將固定費用分配給每批中的許多交易,從而減少用戶的費用。除了批量處理事務之外,還使用如上所述的各種壓縮技術來最大限度地減少髮布到基礎層的數據量。兩者之間的區別在於,Zk Rollups 利用密碼學來證明鏈下交易的有效性,而 Op Rollups 依靠一種檢測欺詐活動的機製來識別交易計算中的不準確之處。
提交批量 Rollup 後,會出現一個挑戰時間段,在此期間任何人都可以通過生成欺詐證明來挑戰Rollup交易的結果。成功證明欺詐後,Rollup 協議會重新執行交易併相應地調整Rollup的狀態。此外,成功的欺詐證明會導緻排序器的賭註被削減,因爲排序器將錯誤執行的交易包含在區塊中。在此過程中,如果排序器將錯誤執行的交易包含在區塊中,成功的欺詐證明將導緻排序器的權益損失。在挑戰期結束時,如果滾動批次仍未得到驗證(即所有交易均正確執行),則其被識別爲有效併包含在基礎層中。實現中排序器問題的OP是使用多鏈但單個共享的排序器。
ZK Rollups 通過將交易聚合到鏈下處理的批次中,減少了需要上傳到區塊鏈的數據量。它的排序器將錶示整批交易所需的更改組合成一個交易,而不是單獨傳輸每個交易,這是一個生成有效性證明以驗證狀態更改是否正確的過程。所以 Zk Rollups 依賴的是零知識有效性證明而不是欺詐證明,排序器從 L2 收集交易數據併負責提交(併且根據具體架構,也可能負責髮布)零知識證明到 L1。如果排序器行爲惡意,他們的賭註就會被削減,這會激勵他們髮布有效的區塊(或批量證明)。證明者(或排序器,如果組合成一個角色)通過生成不可僞造的交易執行證明來證明這些新狀態和執行的合理性。
然後,排序器將這些證明以及交易數據或至少狀態差異提交給主以太坊上的驗證器合約。從技術上講,測序儀和證明者的職責可以合二爲一。然而,由於證明生成和交易排序都需要高度專業的技能才能充分完成,因此畫分這些職責可以防止Rollup設計中不必要的集中化。
在許多情況下,排序器執行零知識證明,衕時僅將 L2 狀態的更改提交給 L1,併以可驗證哈希的形式曏主以太坊上的驗證器智能合約提供此數據。由於 Zk Rollups 隻需要有效性證明即可完成交易,因此從 Zk Rollups 到基礎層的資金轉賬不會出現任何延遲。一旦 Zk Rollups 合約確認有效性證明,退出交易就會被執行。
排序器有集中式和分散式之分,目前的L2排序器都是集中式的,但未來分散式排序器也顯得尤爲重要,從思想角度來看,在存在信任假設的前提下,單一的集中式排序器是不可取的。不過,sequencer併不是必不可少的,它隻是Rullup在設計時的選擇,因爲沒有新的方案來替代,而且Rollup都是使用sequencer來解決事務排序的,所以隻對目前的集中式sequencer做一個分析目前Rollup進度如L2BEAT官方數據所示。
優點:可以大大提高交易確認速度併降低交易成本,友好的用戶交易體驗;
缺點:最重要的缺陷來自於單點宕機風險和壟斷,單點宕機問題不需要做更多闡述,如今Rollup宕機事件已不是什麽新鮮事,而且壟斷風險也是不言而喻的,中心化的排序機毫無疑問穫得了對交易的排序權,以便輕鬆實現自身利益最大化,其次,也會帶來抗審查的相對弱勢。
優點: 是否使用去中心化排序機似乎已經成爲衡量Rollup是否真正去中心化的一個重要標準,它的優點是不言而喻的,它可以將去中心化程度提升到非常強的程度,防止操作者作惡,很大程度上保證了用戶資産的安全,也有效防止Rollup出現各類宕機現象。
缺點:提高去中心化和安全性的代價是降低交易速度或增加交易成本,從而導緻一定程度降低用戶的交互體驗。
圖源:L2BEAT
圖源:L2BEAT
Vitalik 在近期的文章《不衕類型的 Layer 2》中提到,未來 Layer 2 項目的異構化趨勢將會越來越明顯,併且這種趨勢將會持續下去,比如以 Arbitrum 爲代錶的傳統公鏈, Optimism、Scroll,以及近期以 Kakarot、Taiko 爲代錶的 EVM 生態的髮展,原因如下:
雖然目前以太坊 Layer1 中的應用程序和用戶在短期內隻需要支付少量的 Rollup 費用,但在本文中我們想説明用戶是否能夠安全地從 Layer2 提取資産到 Layer1,即“正如 Faust 在相關擴展的鏈接中所解釋的那樣,“強製提款”和“逃生艙口”功能[1]。
圖來源:不衕類型的layer 2s
如果您有一個位於 Layer1 的資産,但需要存入 L2 才能轉移到另一個錢包地址,我們能在多大程度上保證您能夠將該資産檢索到 Layer1,如簡單的圖錶所示:
數據來源:不衕類型的layer 2
值得註意的是,這是一個帶有許多中間選項的簡化模型。例如:
這些中間選項可以被視爲Rollup和 RMS 之間的頻譜。但是,是什麽促使應用程序選擇頻譜上的一個點而不是更左或更右的點呢?這裡有兩個主要因素:
去中心化排序器要麽由 Rollup 項目製作,要麽由第三方實現。去中心化排序器的第三方實現也可以稱爲排序即服務。 Espresso、SUAVE、Astria、Radius 等項目都專註於去中心化排序器解決方案,其實現路徑各有不衕。
1)Espresso:由五個主要組成部分組成: 1.基於HotStuff的共享機製[6],其過程需要三分之二多數通過才能確定且不可逆轉; 2.其DA層提供了兩種不衕的數據檢索路徑。第一條路徑是樂觀且快速的,而第二條路徑更可靠,但備份速度較慢,併且是針對對抗條件而設計的; 3. Rollup REST API:Rollup程序使用此API與Espresso Sequencer無縫集成; 4. Sorter 合約:Sorter 合約是驗證 HotShot 共識的智能合約,它可以充當輕客戶端,管理交易訂單檢查點併監督 HotShot 協議的權益錶; 5.網絡層:該層用於促進參與DA層和HotShot共識的節點之間的通信。一般來説,如下圖所示,當用戶的交易髮送到 Rollup 時,會使用 ZK 或樂觀方案進行驗證。
圖片來源:技術:測序儀(Espresso 測序過程概述)
2)SUAVE:是一個獨立的網絡層,可以與其他區塊網絡共享內存池,併且不能與以太坊或其他公鏈的智能合約配合使用。而是將內存池和區塊生成部分從現有公鏈中分離出來,這樣就可以支持更多的Layer1或Layer2網絡,成爲Rollup鏈的共享排序器。所以它在跨鏈MEV以及不衕Rollups之間的交易排序方麵具有一定的優勢,但它帶來了與跨鏈橋相衕的風險。
3)Astria是爲了避免中心化排序器的缺點而構建共享排序器網絡層,它依靠基於Tendermint的領導者輪換機製來解決交易排序的可擴展性和中心化單點故障的停機風險,衕時Astira 排序器架構旨在聚合來自多個 Rollup 的交易。衕時,Astira的排序器架構旨在聚合來自多個rollup的交易,而不是爲單個塊生成不衕的狀態根,併將所得交易排序爲具有“內聚性”的塊,然後髮布到Layer1的DA層,有效地將事務排序與執行分開。也正是因爲這種解耦,Astria可以容納各種具有不衕狀態轉換功能的Rollup。
4) 與其他實現不衕,Radius 通過啟用加密內存池併衕時運行多個排序器來消除與 MEV 相關的風險,以確保彙總交易在不信任的情況下進行排序。它使用可驗證延遲加密機製(PVDE)[7]來實現加密的Mempool,併且使用零知識證明加密起到了確保交易在不信任的情況下排序併防止與中心化排序器相關的風險的作用。然而,通過零知識證明增強安全性的代價是,盡管有 MEV 保護,但用戶體驗可能會出現交易延遲。Radius 的交易流程如下:
資料來源:技術:Sequencers(Radius 交易流程概述)
5)Madara 它是Layer2網絡StarkNet中使用的排序器,提供更靈活的排序方法,可以集中或分散運行,以針對不衕的應用進行定製。目前,Madara是StarkNet現成的排序器解決方案,與之相關的研髮工作仍在進行中。
區塊鏈排序器的前景將是一個令人興奮和變革的旅程,隨著區塊鏈生態繫統的髮展,排序器將經歷重大變化,從集中式設計轉曏更加去中心化、高效和適應性強的解決方案。排序器技術的進步對於以太坊生態繫統提高交易效率、可擴展性和安全性至關重要。
去中心化是加密貨幣的哲學基礎,共享訂購網絡通過經濟機製解決價值積纍和收入分配,最終日益成熟的模塊化構建模塊和訂購者開髮框架的生態繫統必將成爲行業髮展的強大催化劑。
YBB 是一個 web3 基金,緻力於識別 Web3 定義項目,其願景是爲所有互聯網居民創造更好的在線棲息地。 YBB由一群自2013年以來積極參與行業的區塊鏈信徒創立,始終願意幫助早期項目從0到1進化。我們重視創新、自我驅動的激情、以用戶爲導曏的産品,衕時認識到加密貨幣和區塊鏈應用的潛力。