比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > BNB > Info

Delphi Digital:Rollup 完全指南 Part2——以太坊 Rollup 堆棧_ROL

Author:

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

本文為研究機構DelphiDigital發布的TheCompleteGuidetoRollups。文章分為三個部分,由DeFi之道進行編譯:

第一部分——模塊化經濟學?

第二部分——以太坊Rollup堆棧

第三部分——CelestiaRollup堆棧

本文為報告的第二部分,由Kyle以及Wendy共同編譯:

第二部分——以太坊Rollup堆棧

近期,Mustafa在文章中?給出了Rollups最簡潔的定義,我在這里引用一下:Rollup是一個區塊鏈將其區塊發布到另一個區塊鏈,并繼承該區塊鏈的共識和DA。

Rollup中存在各種角色,如排序者、提議者、證明者和挑戰者,這取決于實際的部署情況。我把他們統稱為"運營者"。運營者結合用戶交易,定期向基礎層發布數據。他們還向最新的Rollup狀態提交commitment。

任何人都可以使用壓縮的交易數據來重新創建狀態,并檢查一個狀態轉換是否有效。Rollup輕客戶端不會下載和執行完整的交易數據,所以他們依靠欺詐/有效性證明來保證狀態轉換的有效性。

以太坊——智能合約Rollup

這都能在當前的以太坊中看到。他們是這樣運作的:

智能合約Rollups有效地運作在眾多的L1智能合約中。Rollup執行是在鏈下處理的,運營者定期發布數據到L1。智能合約根據需要驗證證明/仲裁爭端。他們還跟蹤所有的Rollup狀態根和交易數據,以便他們可以重新計算狀態:

欺詐或有效性證明然后確認狀態轉換的有效性。運營者在L1智能合約中發布保證金,以發布區塊。如果這個區塊或證明是無效的,他們的保證金可以被罰沒,交易將不會被最終確定。這對ORU來說可能需要一個多星期的時間,但有效性證明可以立即敲定最終的結果。

提交和仲裁一個欺詐證明實際上是相當快的。ORU需要這么長的時間,主要是因為L1智能合約需要接收證明,而這可能會被審查。在L1審查證明的情況下,我們需要時間通過社會共識來協調。

這些智能合約也作為信任最小化的雙向橋梁,在Rollup和L1之間發揮作用。這是他們的關鍵優勢之一。它是信任最小化的,因為Rollup暗中對以太坊進行了完整的驗證,而L1上的智能合約則承擔了Rollup輕客戶端的角色。

現在到了FUD的時候了。

這些始終是智能合約。就在最近,我們才剛剛見證了可怕的跨鏈橋攻擊?。Rollups也不能做到免疫。這個合約是一個非常特殊的信任最小化的雙向橋,但它仍然是橋。就算你的代碼里出現小小的失誤,都可能讓你損失慘重。

這就是為什么很多Rollup團隊?都緊緊抓住他們的升級密鑰不松手。通常有一個多簽委員會,有一個升級通知期,在其他情況下,代碼甚至可以由團隊任意改變而不做通知。

在安全和去信任化之間,要對升級時機進行平衡。如果你發現了一個bug,你可能不想在管理論壇上大肆宣揚并等待一個月的時間,而是想要馬上修復它。

有一個想法是具備延遲升級功能,但增加一個停止選項,可以立即停止Rollup。雖然暫停Rollup令人面上無光,但確實能夠減少對升級密鑰持有者的信任。

Bartek最近就這個話題和L2Beat的風險框架做了一個很棒的RollupFUD演講,鏈接在這里?。

歌手Akon的加密貨幣項目與區塊鏈金融基礎設施公司Delchain達成合作:金色財經報道,美國著名歌手Akon的加密貨幣項目Akoin已與區塊鏈金融基礎設施公司Delchain達成合作。Delchain已為Akoin提供了戰略咨詢服務和專業知識。[2020/3/18]

我明白,Rollup的成熟需要時間。我想說的是,我們要現實地看待目前我們處于什么階段。如中心化的排序者和欺詐證明一樣,這些團隊打算逐步實現去中心化。

移交升級密鑰有兩種選擇:

1.永遠不變的Rollup——沒有人可以升級智能合約。這是一個巨大的犧牲。基本上你已經接受了這個Rollup最終會被廢棄的事實,而你要從頭開始部署另一個實例。希望做到等同EVM的Rollup絕對不能這樣做。當L1發生變化時,他們必須升級自己的虛擬機,以保持一致。Fuelv1是目前以太坊上唯一永遠不變的Rollup。

2.去中心化的治理——這是我實際期望的。雖然它在L1交易的基礎上增加了信任假設,但Rollup治理現在控制著升級密鑰。在升級生效之前,智能合約Rollups可以建立在延遲的基礎上。不喜歡這項升級?那么你可以安全地退出。這是信任的最小化,因為你現在只是根據同步假設來進行Rollup治理。你只是假設你看到了計劃中的升級并在那之前退出。

在這里,一些主要的Rollup團隊就他們關于去中心化的想法進行了很好的對話。

回到最后一點——Rollup的退出。一個安全退出的L1執行層是一個很好的退路。以太坊有這個選項,但Celestia沒有。他們在個別情況下是很實用的,但在未來L1gas為1000美元/每筆交易的情況下,會迅速迫使成千上萬的用戶帶著少量的資金回到L1上,這似乎并不理想。一個應該被更多探索的領域是設計退出到另一個rollup的可能性。

要點概述

信任最小化的雙向橋是非常有價值的——有一個巨大的生態系統,所有的Rollup都在挖掘共享的流動性和互操作性。大多數情況下,將安全假設濃縮到一個超安全的基礎層是很好的。

但智能合約的錯誤和可升級性目前還有點嚇人。不可變的Rollup減輕了許多擔憂,但這是一個不值得付出的代價。

最終,戰斗力強的合約與精心設計的治理將是接近L1本身安全性的一個最好的解決方案。

以太坊——智能合約結算Rollup與智能合約遞歸Rollup

StarkNet有一些相當酷的分形擴容計劃,在此作為一個具體的例子:

1.今天——StarkEx、dYdX、Sorare和ImmutableX已經在大范圍地運行。但它們并不是通用的或可組合的。它們是通過與StarkWare的合約協議建立的孤島。

2.很快——StarkNet就會出現。像我們習慣的智能合約Rollups一樣,是一個通用的無需許可的Rollup。

3.以后——分形擴容。StarkEx可以部署在StarkNet之上:

現階段,L2和L1之間的關系是這樣的:

有了L3之后就是這樣的:

遞歸證明是一個相當令人心動的擴容路徑。L2上的驗證者合約可以接受許多L3有效性證明,創建一個有效性證明,證明它驗證了這些證明,并將這個證明發布到以太坊。在以太坊這樣一個受到gas限制的環境中,這種效率很重要。L3也可能會嘗試使用鏈下DA解決方案,以進一步降低成本。

針對特定應用的Rollup

這些L3自然適合特定應用的ZKRs。L3很大一部分的吸引力在于能夠控制自己的環境,遠離"嘈雜的鄰居",同時通過L2結算層保留其網絡效應。隨著橋和互操作性的不斷改善,我希望看到更多的特定應用的ZKRs部署。他們將保留共享執行環境的大部分優勢,但擺脫了弊端。

此外——給我看激勵措施,我就給你看結果。針對特定應用的Rollup與直接部署智能合約相比,捕獲了更多的價值,因為你的代幣現在捕獲了執行費用和其他MEV。但是,如果離開一個共享的執行環境會使你被孤立,這就不值得權衡了。這就是為什么更好的橋、流動性共享等對于這一趨勢的發展至關重要。

動態 | 俄羅斯交通部將試點IBM和馬士基的區塊鏈平臺TradeLens:據俄羅斯金融媒體Kommersant(生意人報)消息,2月26日,該報收到俄羅斯副總理馬克西姆·阿基莫夫的官方信件,信件中透露,該國交通部及其子公司將與馬士基簽署一份諒解備忘錄,在俄羅斯第二大港口圣彼得堡港口進行TradeLens試點。有專家表示,預計可以減少超過100億盧布(1.52億美元)的運營成本。[2019/2/27]

要點概述

遞歸Rollup提出了一個非常有吸引力的價值主張,特別是對于特定應用的使用案例。你可以在一個靈活的環境中獲得更大的規模,同時保留網絡效應。L2可以作為一個比以太坊目前所能做到的更可擴展的結算層。只要他們的數據被發回到L1,他們就會有類似L2的安全保證——他們就能夠重新創建狀態并退出。

以太坊–EnshrinedRollups?

瘋狂之處在于,EnshrinedRollups(ER)有點未來主義。其中飽含爭議,這使它們更加有趣。

您可能已經在Twitter上聽到ER被翻來覆去的討論,但實際上并不知道它們是什么,因為沒有人廣泛地寫過關于它們的文章。

ER直接構建在L1規范中,而不是作為智能合約部署。這消除了惡意治理/多重簽名升級或bug風險。它們遵循著硬分叉范圍內基礎層的社會共識。

在以太坊合并時,執行層將與共識層合并。執行層可以升級為一個enshrinedrollup。

EnshrinedRollups–OptimisticRollupvs.zkEVM

相比之下,OptimisticRollup過渡到ER可能是最快的。由于以太坊路線圖中已經存在弱無狀態,您可以輕松添加欺詐證明。最簡單的欺詐證明是將區塊本身隔離分發以重新執行。然而,欺詐證明和交易最終性存在沖突,所以效果并不理想。

一個雄心勃勃的“計劃”是直接邁向enshrinedZKRollup。以太坊基金會已經有一個由BarryWhitehat領導的團隊,目前正在構建一個zkEVM。需要注意的是,這是一項艱巨的任務,可能需要數年時間。

無論是ORU還是ZKR,關鍵是全節點不再需要執行交易。這也適用于共識節點——提議者和委員會中的任何人都不會執行交易。

第1步–將結算層升級為EnshrinedzkEVMRollup

“結算層升級為EnshrinedzkEVMRollup。整個以太坊生態系統——可能有數千個Rollup/volition和數百萬TPS——將由一個簡潔的ZKP驗證。哈利路亞。”

這是一個沒有爭議的步驟。我們今天所知道的單實例EVM升級為狀態根等效zkEVM。這意味著每個L1區塊都帶有一個SNARK,用于證明狀態根是有效的。

盡管已有一些公開的實施細節,不過仍需數年。關于證明分發,您現在有兩種選擇:

Sidecar–SNARK只是作為sidecar發送,人們可以隱式地驗證它。

鏈上——SNARK實際上是鏈上的,智能合約可以很容易地訪問證明本身來驗證它。

最終,共識有兩層——社交和代碼。Sidecar方法傾向于社會依賴,而鏈上方法傾向于代碼。

性能瓶頸

如前所述,ER消除了全節點重新執行交易的需要。這使得同步到鏈更容易,并且它還消除了驗證者的計算瓶頸。目前驗證者存在幾個共識瓶頸:

弱無狀態已經打破了存儲和磁盤I/O——清除了我們今天的主要瓶頸。但是在這個階段,全節點仍然需要執行每筆交易。為每個區塊的有效性獲取一個SNARK也會導致計算失敗。無狀態和zkEVM都代表著在消除更多瓶頸時提高gas限制的機會。帶寬是唯一剩下的主要資源需求。

聲音 | Edelman金融服務執行主席:比特幣ETF終將進入市場:據cointelegraph報道,咨詢公司Edelman金融服務執行主席Ric Edelman表示,“比特幣ETF終將進入市場,唯一的問題是在什么時候。 證券交易委員會有合理的顧慮,但我相信他們會克服這些顧慮。最終我們會看到比特幣ETF獲批。”[2019/2/12]

zkEVMEnshrinedRollup的好處

更簡單的共識——無狀態仍然需要全節點執行,但zkEVM消除了這個瓶頸。執行客戶端可以將數千行對共識至關重要的EVM執行代碼換成更簡單的SNARK驗證代碼。

無狀態見證人——無狀態允許共識節點停止保持狀態。他們現在收到見證人,證明每個區塊中的正確狀態訪問以及交易。zkEVM也消除了這種需求——狀態差異就足夠了。這提高了驗證者的共識帶寬效率,允許更高的gas限制。

更安全的輕客戶端——輕客戶端使用SNARK過濾無效狀態根的速度比使用欺詐證明要快得多。這允許更安全和/或更快的以太坊到競爭性L1橋。

第2步–部署大量并行zkEVMEnshrinedRollup

哦,你以為執行分片設計取消了,是嗎?這是接下來要講的——ER。

升級單實例EVM后,部署多個并行zkEVMER并不難。這是同構L1執行分片的一種形式。這也是一個疑問,是否很快就會需要這種分片。作為zkEVMER,單實例吞吐量可以比當前容量增加幾個數量級。

典型的執行分片與ER之間的區別似乎很模糊,而且Twitter上對此進行了很多混亂的辯論。關鍵點再次是全節點不需要執行ER塊。因此,具有zk證明的狀態根的執行分片可以是ER。您可以獲得與常規SCR相同的可擴展性和功能,但您會獲得Rollup在共識中的優勢。

舊的執行分片將以太坊驗證者集的子集分配給每個分片。每個整體分片將處理自己的執行、共識和DA,然后檢查點返回到信標鏈。

zkEVMER只處理執行,類似于我們今天看到的Rollup。他們依靠信標鏈來達成共識、結算和DA。

另一個實施細節與委員會有關。可以在每個匯總中都有一個提議者委員會來驗證SNARK,然后將其發送到主要結算Rollup。或者,您可以跳過委員會,讓Rollup區塊生產者將SNARK直接發送到所有提議者操作的主鏈。

無論哪種方式,提議者都只是接受最高出價,檢查DA,并驗證每個Rollup區塊隨附的SNARK作為額外字段。你可以把它想象成一個大區塊。它看起來像這樣:

zkEVMEnshrinedRollups的優勢

升級當前的結算層似乎很明顯,但是將所有這些其他zkEVM與僅僅作為zkEVMSCR相比,有什么好處呢?

社會一致性——ER繼承了L1社會共識。SCR目前有中心化的運營商持有升級密鑰,最終這種風險將在于Rollup治理。

經濟一致性——所有ER費用和MEV都計入ETH。核僵尸啟示第三次世界大戰經濟安全。

補貼證明驗證–ER可以補貼證明驗證的成本,而SCR則必須支付EVMgas進行結算。無論如何,此時驗證SNARK將非常便宜。這緩解了今天匯總工作的問題。例如,像Arbitrum這樣的匯總會延遲結算,以避免有時會出現L1gas峰值。

最佳結算延遲——共識可以為每個ER塊強制執行SNARK證明,從而提供每個塊的結算延遲。

最佳活性——中心化Rollup排序器可能會活動下降。SCR還可以選擇讓排序器達成自己的共識,以提供預先確認。這會受到次優活性的影響,因為外部共識可能會失敗,并且L1逃生艙口僅在超時后才會激活。

動態 | 西班牙港口加入區塊鏈運輸平臺Tradelens:1月21日,西班牙阿爾赫西拉斯港口管理局(APBA)簽署協議,將加入區塊鏈運輸平臺Tradelens。阿爾赫西拉斯(Algeciras)是歐洲最繁忙的港口之一,每年的貨物運輸量超過7000萬噸。TradeLens是由丹麥航運巨頭馬士基集團與IBM共同開發的區塊鏈平臺。[2019/1/22]

狀態根EVM等效性——當前的工具和輕客戶端將開箱即用。今天的SCR主要針對與Solidity兼容的VM或字節碼等效的EVM,而不是完整的EVM狀態根等效性。

網絡效應——將EVM的網絡效應從其已經處于領先地位的地位進一步提升。允許開發人員圍繞一個標準聯合起來是很有價值的。。

最大化gas效率——ER使用原生操作碼,因為它們內置在協議中。相反,SCR可能不得不解決VM效率低下的問題。

zkEVMEnshrinedRollups的缺點

但它們并不完美:

沒有公共產品融資——像Optimism這樣的私有Rollup可以自行決定將其收入重新用于資助公共產品。ER將僅限于資助L1安全和銷毀ETH。

次優壓縮——SCR目前在鏈上的結算頻率遠低于每個區塊,從而實現更好的數據壓縮。他們還可能有自定義或經常更新的字典,以改進數據壓縮。

VM不靈活——以太坊ER很可能是一種EVM。SCR能夠采用其他流行的VM或創建一個新的VM。定制的zkVM可能能夠比zkEVM實現更好的數據壓縮。

更難的預確認——SCR可能會選擇有一個中心化的排序器,它提供即時的預確認,以獲得更好的用戶體驗。這通過ER的去中心化排序更難實現。

后發——由于L1的保守性,ER做出任何改變的速度都非常緩慢。各種升級將需要通過治理過程實現。為了避免電路錯誤,可能需要冗余的多電路設置或繁重的正式驗證。

潛在增加的構建者成本——構建者現在必須創建一個證明,除非排序器和證明者被分成不同的角色。以太坊也可以決定發行ETH來抵消ER證明成本。這就涉及到“區塊構建最終將有多專業化?”的問題。我目前期望有意義的中心化無論如何,但我們不確定。實施后,證明也將大大降低成本和速度。

Justin將不得不重做他的預測,因為太多的ETH會被銷毀。

zkEVMEnshrinedRollups的投機優勢

跨多個ER運行的構建者可以提供ZKR之間的同步互操作性。

例如,構建者可以提供抵押品并承諾包含您的同步交易。如果他們接受您的出價但未能執行交易,他們將失去保證金。crLists還可以幫助提供預確認,因為提議者將能夠強制包含交易。

經濟激勵措施導致構建者跨Rollup運營——我們今天已經看到跨鏈MEV的這種中心化力量。這些同步互操作性的軟確認是用戶想要的,他們會為此付費。如果你能夠提供這項服務,你可以賺更多的錢。如果你能比其他人賺更多的錢,你就會成為最好的構建者。

請注意,即使在此之前,ZKR也會對L1進行同步調用,類似的動態也在發揮作用。新的danksharding設計保留了這種可能性,因為一切都在一個區塊中得到確認。例如,您可以將資金橋接到L1,然后在同一個區塊中與這些資金執行交換。但是,要提供這項服務,您需要控制L1和L2區塊的生產,以確保兩條腿都能執行。這是跨Rollup和L1的區塊構建者的一種中心化力量。

反對EnshrinedRollups的論點——可信中立

將單實例EVM升級到zkEVM似乎是一件輕而易舉的事。64個EnshrinedRollups的下一步是更具爭議性的部分。

“事實證明,區塊鏈中的大部分內容都屬于觀點,而不是技術內容。”針對ER的案例在這里也不例外。這是一個有趣的以太坊開發者、Celestia開發者和以太坊垃圾貼,他們在雙方都做出了很好的案例。這里有很多分歧。有些人擔心ER會對SCR這樣做:

該論點認為,ER本質上會與以太坊試圖培養的SCR競爭,從而損害其可信的中立性。SCR會感覺像是“二等公民”。它可能“限制以太坊結算層的可信中立性,削弱其對非ER的社會經濟保障。”這與關于CosmosHub極簡主義的辯論類似。基礎層功能/極簡主義的這種有趣平衡也是Vitalik之前討論?過的。

全球虛擬貨幣的安全問題出現紅燈 美國虛擬貨幣交易所Etherdelta遭到匿名黑客的襲擊 :根據韓國首爾經濟新聞報道,美國虛擬貨幣交易所Etherdelta周二(當地時間)遭到匿名黑客的襲擊。幾天前名韓國Youbit交易所遭到黑客攻擊提交一份破產申請,現在全球虛擬貨幣的安全問題出現紅燈。[2017/12/22]

EnshrinedRollups的依據——可信中立

相反,一些人認為ER可以通過防止任何商業rollup團隊變得過于占主導地位來保護以太坊的可信中立性。假設“RollupLabsA”變得太成功了,他們的Rollup擠占了其他所有人。如此依賴一個私人團隊可能會嚴重影響以太坊的可信中立性和網絡效應。來自ER的中性平衡可以緩解這種情況。

更進一步,一個成功的Rollup生態系統甚至可以脫離他們的以太坊聯盟。

這是AliAtiia過去提出的論點?:

當前的以太坊擴展計劃主要是作為具有約束結算層的SCR的DA層。以太坊依靠Rollup來進行可擴展的計算。但是,SCR可以切斷“老舊的中間人”并引入他們自己的rollup本地資產。

引用的假設示例是Optimism、Circle(USDC)、MakerDAO(DAI)都擁有相同的投資者。投資者促進協議的交叉授粉,本地部署的資產更便宜,用戶體驗更好。因此,Circle和MakerDAO在Optimism上分別部署USDC和DAI具有經濟意義。一旦Rollup建立了足夠的本地資產、DeFi和安全性,他們可能會決定以太坊不再為他們提供足夠的價值。

為了建立粘性,以太坊需要一個更好的結算層。單獨的DA可能不夠粘。要構建最佳結算層,您需要可擴展性和共享流動性。ER使SCR之間的通信大大提高了效率。我們今天聽到的“超大規模”L3可能會在以太坊ER之上一層變得更加可行。ER成為使用價值最高的dApp=大量流動性進行主權和機構結算的首選場所。

對EnshrinedRollups的個人看法

ER不會威脅以太坊的可信中立性。是的,活動將發生在理論上可能已轉到SCR的ER上。但這與反對以太坊SCR的論點完全相同,并且繼續被許多單一的競爭性L1支持者傳播。SCR不會寄生于以太坊——它們是協同的。ER不會寄生于SCR——它們是協同的。以太坊最好用SCR,而SCR最好用ER。

ER把這個餡餅做的比他們自己吃到的要多得多。

SCR將永遠是創新和更高擴展的家園,因此它們將繼續承載絕大多數Rollup活動。ER旨在確保以太坊能夠履行其保持最佳結算層的承諾:

信任最小化的橋接和獲得最大的共享流動性池

更高的擴展使得位于頂部的SCR的橋接成本大大降低,開辟了令人難以置信的令人興奮的新可能性

盡管其他人也有類似的看法?,但我并不認同Ali對以太坊會脫離的擔憂:

如果Rollup是經濟上理性的參與者,他們有一個簡單的等式來衡量:

ER在兩個方向上都更加有利地傾斜了這種擴展——它們使以太坊成為更好的結算層,并且它們為頂部的SCR提供了更低的成本。

將Rollup拆分為孤立的L1會大大縮小這個餡餅,而您得到的回報只是略微提高了利潤率。此外,你現在需要補貼自己的安全性,很可能是通過發放通脹性區塊獎勵。這沒有經濟意義。

關于為什么Rollup會離開以太坊的一個潛在經濟合理的論點是他們是否可以建立更好的結算層。那么理論上你可能會得到一個更大的餡餅。我認為任何人都有機會的唯一方法是使用以下方法:

然而,你在后半部分網絡效應、去中心化和可信的中立性方面做出了巨大的犧牲。在以太坊之上構建一個結算層更有意義,就像StarkNet對他們的L2所做的那樣。您將獲得兩全其美的優勢——一個高價值的金融結算層,保留了以太坊的巨大優勢,而且價格非常低廉。

協議復雜性

Vitalik在他最近的EthCC演講中談到了一個非常重要的話題。以太坊正在進入其最快速的創新時期。未來幾年計劃了很多好東西。然而,復雜性的分層意味著更多的風險,即使是以太坊開發者也越來越難以跟上創新的速度。雖然以太坊不需要完全技術僵化,但它最終會稍微剎車:

公平地指出,添加zkEVMER并不完全像是在公園里散步那樣輕松。然而,在我看來,它們是以太坊雄心勃勃的路線圖的最后一步,在曲線圖的頂部附近,曲線趨于平穩。有一天我們會放慢速度,但現在還不到時候。

要點概述

我最喜歡的類比是ER是公共部門,而SCR是私營部門。SCR仍然是創新和大多數Rollup活動的所在地。ER是緩慢而穩定的可預測基礎層,可在其上運行,提供最大的安全性。兩者和諧共處。與它們蠶食的任何邊際活動相比,ER為SCR增加的價值要多得多。

以太坊已經有了一個令人信服的擴展DA計劃。但這并不意味著它應該滿足于其結算層。以太坊也可以而且應該在這里競爭。zkEVMER提供了擴展L1以太坊的最佳途徑,將其定位為主要的結算層。

ER與以太坊的經濟和社會一致性保持了其可信的中立性,創造了一個令人難以置信的凝聚力系統。健壯貨幣產生下一級經濟安全,補貼整個生態系統的安全。

反對ER的唯一論據是圍繞中立和競爭的“社會”論據。雖然我理解這些擔憂,但我認為它們通常被夸大了。當技術準備就緒時,以太坊當然應該追求一個zkEVMER,然后再評估并行實例。

你不認為以太坊的基礎層會一直很弱并且吞吐量一直很低,對吧?

以太坊–結算和數據可用性層

現在我們對這些Rollup如何工作有了更好的理解,讓我們回到他們實際需要的基礎層。

數據可用性是顯而易見的——讓它超級便宜,提供很多,使它易于使用DAS進行驗證。以太坊和Celestia都旨在以一種或另一種方式做到這一點。

我關于結算的一般論點——我不認為最好的結算層將僅限于驗證/仲裁證明和橋接代幣的核心功能。以太坊應該保留一個豐富的通用本地執行環境。這將是大型DeFi所在的地方,這些DeFi在每筆交易的基礎上都對價格不敏感。這為SCR提供了巨大的網絡效應、流動性和建立的安全性。

以太坊應該長期關注如何擴展結算層。

DeFi池化

也許你們中的一些人有私人飛機,但我們大多數人都乘坐商業飛機。我需要和其他人分攤賬單。這有點像DeFi池化?。

分散的流動性是不好的——所以最好將流動性集中在一個地方。

但費用高昂也不好——所以我們是否需要打破流動性以避免擁堵?

不——我們只是在L2上進行商業化飛行。

如果我想向Yearn存入100,000美元,支付10美元費用是可以接受的。但是為100美元的存款支付10%作為費用是沒有意義的。相反,L2可以容納1000名想要將100美元存入Yearn的人,將他們捆綁在一起,然后只需進行一次L1存款!所有這些都無需用戶支付L1gas費——您只需支付0.01美元的費用份額。事實上,這正是Argent已通過zkSync提供的。

Aave也在探索這一點,作為其在StarkNet上部署的一部分。他們將開發一個智能合約來匯總L2用戶存款,然后將它們存入L1。該合約將根據用戶在池中的比例將aToken從AaveL1分配給StarkNet用戶。該合約將匯總用戶的aToken,并在贖回抵押品時將其存入L1Aave。

這是一個過度簡化的版本:

去中心化AMM(dAMM)

dAMM是StarkWare去年與Loopring合作首次提出?的。我將在這里總結他們的設計。但是,請注意,這是一個具有開放設計問題的積極研究領域。目前還沒有已上線的實現,未來的設計可能看起來與這個完全不同。

dAMM是一種L2AMM,它在由L1合約強制執行的單個L1池中聚合流動性。執行發生在多個異步共享流動性的ZKR上。LP在參與L2交易的同時為L1AMM服務,讓他們接觸更多交易。/=更高的費用%→更好的資本效率。

異步性=L2s可以處理交易,而無需使用相同的dAMML1流動性池與其他L2s進行強制通信。這是使共享AMM成為可能的關鍵。

這是通過將流動性池與定價狀態分開來實現的。因為資金和狀態是解耦的,你可以有多個狀態使用同一個流動資金池。每個ZKR都有自己的dAMM狀態。

合約同意提供L2狀態提供的任何價格,只要L1合約有足夠的流動性來完成報價。由于套利,所有狀態都應該恢復到均衡比率。

這解決了在L2之間共享AMM的主要障礙——如果用戶可以同時交易,則存在并發風險。否則,這可能會使每個L2無法知道它是否可以安全地完成結算。

無常損失(IL)

LP在dAMM中面臨更大的IL風險——風險隨著LP所接觸的市場數量線性增長。因此,在最壞的情況下,LP會受到他們在常規UniswapV2AMM下遭受的IL的n倍。這對于穩定的貨幣對無關緊要,但對于其他池來說可能會很高。這可以使用智能合約中稱為dAMM“健康因子”的參數來緩解,該參數限制了最大ILLP可能遭受的損失。這個健康因子可以保證dAMM流動性比率不會降得太低。

L1<>L2同步交易

這種設計可以支持L1和L2上的多個獨立市場,它們都共享相同的流動性。通過允許將L1LP代幣直接存入dAMM上的相應池,L1流動性可以用作dAMM流動性。

dAMM可以支持L1交易,但無法再輕易減輕健康因素。不過,有限合伙人可以選擇承擔這種額外的風險,并將自己暴露在L1交易中。

粘性

Vitalik已經明確表達了他的想法,即與結算共享一個DA層確實很棘手:

這在很大程度上可以追溯到Vitalik的著名帖子,關于為什么未來是多鏈而不是跨鏈的。大致來講,受信任的成對跨鏈橋意味著對連接鏈的51%攻擊=你的橋被攻擊。如果您在以太坊結算但將數據發布到其他地方,類似的原則也適用。如果Celestia在這里受到多數攻擊,那你又要倒霉了。

共享DA層和結算層的Rollup避免了這些問題,因為它們彼此之間建立了信任最小化的橋接。如果以太坊沒有受到51%的攻擊,你就不能單獨對Rollup進行51%攻擊。即使以太坊受到51%攻擊和逆轉交易,它的Rollup也會被逆轉,二者保持一致。因此,您可以安全地持有在一個Rollup上發布并在另一個Rollup上封裝的資產。

所以共享一個DA和結算層可以提供最好的安全性。但是,如果您決定使用以太坊作為結算層,然后提供另一個DA源,那么有什么好處/權衡呢?你仍然可以使用與任何rollup相同的橋和連接到L1——你共享流動性、DeFi池化等。對于volition,鏈下和鏈上DA模式共享相同的狀態并且是完全可組合的。當您希望數據存儲在鏈上或鏈下時,您只需在用戶級別進行選擇。

單獨的結算在很大程度上提供了網絡效應,而DA則增加了全面的安全性。通過共享DA可以安全地優化這些網絡效應。例如,您可以更輕松地跨Rollup實現銷毀和鑄幣機制,允許您跨鏈本地部署代幣。但是,如果具有非常不同的信任區域,那就不會這么容易。

最終,我們可以看到這里有一個安全范圍。許多以太坊Rollup、validiums等將使用以太坊進行結算——但并非所有這些都將使用其DA。DA至少在某種程度上更加商品化,它將是一種豐富的資源。

橋接

這是不同層的網絡效應有多強的最大百搭牌。現實情況是,我們在理解rollup未來如何相互通信方面還處于難以置信的早期階段,這可能會對這些堆棧的發揮方式產生有意義的影響。有很多理論上是可能的,很多未解決的問題,還有很多棘手的工程問題。例如,Slush正在為ZKR開發一些最令人興奮的橋接可能性。未來我們可能會看到ZKR之間的原子可組合性。

來源:DeFi之道

Tags:ROLLROL以太坊SCRTROLL BNBQrolli以太坊官網Newscrypto

BNB
一文詳解 RIA:風投基金進入 Web3 必備牌照?_RIA

a16z、BVP、GeneralCatalyst、紅杉等風投基金都走上了RIA的道路。原文標題:《紅杉、BVP、A16Z轉型...風投基金進入Web3所必備的RIA牌照是什么?》 撰文:阿法兔.

1900/1/1 0:00:00
NFT新騙局:能上OpenSea榜單的「NFT貔貅盤」_BIR

?撰文:0xLaughing,律動BlockBeats?? OpenSea的月交易量和日交易量自Luna暴雷引發連鎖反應,整個加密市場暴跌,NFT市場也一夜進入寒冬.

1900/1/1 0:00:00
分析 20 個 veToken 生態系統協議 這種代幣模型為何受歡迎?_CRV

越來越多項目正在轉向veTokenomics,它如何運作?有何特別之處?原文標題:《什么是veTokenomics?20個veToken生態系統協議分析》撰文:Ignas.

1900/1/1 0:00:00
晚間必讀5篇 | 還原Nomad被攻擊始末_ETH

1.金色觀察|“首次去中心化搶劫”:還原Nomad被攻擊始末8月2日7時,加密KOL@0xfoobar發推稱,跨鏈互操作性協議Nomad橋正在被黑客攻擊.

1900/1/1 0:00:00
DeFi「新敘事」一文盤點擁有真實收益的DeFi協議_USD

原文作者:MilesDeutscher原文編譯:TechFlowinternDeFi正在醞釀一個熱門的新敘事,它被稱為“真實收益”,協議根據創收情況向用戶支付收益.

1900/1/1 0:00:00
聯合國貿發會議:發展中國家使用加密貨幣存在諸多風險_穩定幣

金色財經報道,聯合國貿易和發展會議在周三發布的一系列政策簡報中敦促在整個發展中國家限制加密貨幣.

1900/1/1 0:00:00
ads