介紹
在本文中,我將談談以太坊上的L2,當前擴容生態系統的狀態;以及為什么我認為長期來看在以太坊上運行L2為最經濟和最技術可持續的擴容解決方案。
免責聲明:本文匯總了我的想法、其他人的資源和各種技術信息。這篇文章并不是對擴容生態系統的簡單總結,而是對以太坊L2可擴展性的當前狀態和未來可行性更詳細的概述。
為了更深入地研究,我們需要先了解一些定義和概念。
摘要
為了總結這篇冗長的指南,我將列出與該技術及其未來前景有關的重要幾點:
用戶將不再需要與以太坊主網交互,因為它將僅作為L2的數據可用性層
Web3應用程序的UX將把所有的復雜性都以簡明的形式呈現出來
模塊化的區塊鏈是經濟和技術最可行的長期可擴展性設計方案
目前,以太坊在模塊化區塊鏈中占主導位置,因為它擁有很強的安全性,并隨著轉向PoS安全性也會進一步提高
長期來看,有效性證明比欺詐證明更佳
VolitionL2基礎設施(Validium+zk-rollup)正成為基于zkVM的L2的黃金標準
以太坊作為L1層同時也利用數據分片、維克爾樹(verkletrees)、無狀態和其他改變提高可擴展性
L2領域正在加速構建一個共享的跨L2通信框架,這將使不同的L2項目之間共享流動性和具有智能合約可組合性
L2使用ETH作為gas費,但之后會利用激勵機制創建DAO治理代幣以實現去中心化運營
應用程序設計空間正不斷擴大,因為構建者可用的帶寬將更多且面臨的執行層障礙將更少
Layer2是什么?
L2(二層)是一種擴容解決方案,它具有一個單獨的執行層(代碼運行的地方,如EVM這樣的環境)并運行在L1(在我們的討論中L1即為以太坊)之上。而這個執行層繼承了L1網絡的安全保證和去中心化特性。這意味著,如果L2由于漏洞、基礎設施故障而宕機,L1也會在智能合約橋接內安全地保護用戶的資產。
根據提交到主網上的最新狀態快照可以取回資產。真正的L2橋接是完全無需許可和去中心化的,因此一旦用戶存入資金,用戶總能訪問自己的資產。目前幾種擴容解決方案使用的是不同的加密證明機制,其中都具有不同的安全和可擴展性權衡。在下文中我們將深入討論它們之間的差異。
以太坊Layer2上總鎖倉量為95.58億美元:金色財經報道,L2BEAT數據顯示,截至目前,以太坊Layer2上總鎖倉量為95.58億美元,近7日跌2.25%。其中鎖倉量最高的為擴容方案Arbitrum One,約57.97億美元,占比60.65%,其次是Optimism,鎖倉量21.63億美元,占比22.63%。[2023/7/13 10:51:23]
L2的主要類型
有兩種參數可以用來對L2擴容解決方案進行分類。其一是根據使用的加密證明分類,其二是看它們的數據可用性(DA)存儲在鏈上還是鏈下。
兩種主要的證明類型:
有效性證明-這是一種利用零知識(ZK,zero-knowledge)密碼學以確保交易有效性的數學證明
欺詐證明-這種證明引入了一種所謂的爭議時間延遲(DisputeTimeDelay,DTD),一旦證明提交至L2,驗證者留有一定的時間以標記出無效的證明;無效證明可能包含著不正確的狀態轉換,因而會對涉及的驗證者施加懲罰;隨后狀態回滾至最近的有效快照狀態處
數據可用性存儲在鏈上或鏈下是什么意思呢?
鏈上:狀態數據連同所有交易的所有執行的calldata(智能合約函數調用、原生代幣轉移、簽名)一起放入交易捆/rollup的加密證明中,這使得可以在鏈上訪問和驗證所有數據。
鏈下:執行的calldata和狀態由L2處理并存儲在鏈下。這使得這個方案不夠安全和去中心化。然而,鏈下存儲數據方案更容易將更多交易打包進一個rollup中,也因此比鏈上調用數據證明方案的速度快許多。
擴容解決方案分類
這些是幫助區分不同類型L2的主要相關屬性。但是,既然我們可以直接通過L1實現擴容,為什么要使用L2呢?為什么不使用更便宜的鏈,如Solana、Fantom、Avalanche或BSC?我們將在下一節回答這個問題。
模塊化vs.單一型基礎結構
在區塊鏈中,有一個著名的概念叫做三難困境——即試圖優化三個主要的因素:安全性、去中心化和可擴展性。在同一個系統中實現三種優化十分困難。通常來說,區塊鏈對三點中的某一點做出權衡并實現其他兩點的優化。而在以太坊這個用例中,我們首先優化安全性和去中心化水平,同時將提高可擴展性作為次要優先的工作。需要明確的是,可擴展性并非以太坊核心開發者的主要優先考慮事項。
跨鏈橋Stargate與Metis集成,首次在LayerZero生態系統外擴展區塊鏈:1月19日消息,跨鏈橋 Stargate 宣布已與以太坊 Layer 擴展解決方案 Metis 完成集成,這是其首次在 LayerZero 生態系統之外擴展區塊鏈,Metis 用戶能在 LayerZero 支持的多個區塊鏈上探索 DeFi 應用,并為探索資金管理和收益策略的項目提供更大靈活性。數據顯示,Metis 鏈上資產規模已經達到約 9500 萬美元,僅次于 Arbitrum、Optimism 和 Loopring,是當前第四大 Layer 2 網絡。[2023/1/20 11:21:53]
整個2021年,由于DeFi和NFT的增長,以太坊主網變得越來越擁擠。因而以太坊對區塊空間的需求前所未有地高。但是,我們不能簡單地通過改變區塊gaslimit的大小來增加區塊可以包含的交易數量,因為這將極大提高運行一個節點的硬件要求,這意味著運行節點將變得更加困難(降低去中心化)。再者,如果區塊變得太大,這會破壞共識(降低安全性)。
單一型區塊鏈
其他鏈采用了不同的方法,它們優先考慮可擴展性,其次是安全性,最后才是去中心化。讓我們以Solana主網beta版本為例。該網絡有一個主要的客戶端開發團隊(SolanaLabs)、大約1000個驗證者(來源:SolanaBeach),以及另一種稱為ProofofHistory(PoH)的共識機制。
Solana采取了獨特的擴容方案,這是一種單一型區塊鏈。隨著計算能力的增加,他們計劃無限擴展運行網絡的驗證節點。這種方法使網絡去中心化程度降低,因為節點驗證者被迫不斷購買性能更好的硬件以不斷跟上網絡。由于量子隧道效應,當我們達到芯片內部所能容納的極限時,人們擔心計算能力的增長速度會放緩。某種程度上,我們需要一種新的計算范式出現或技術上的重大突破,以使這種方法可持續。因此,我的結論是區塊鏈擴容有更好的長期替代方案。
模塊化區塊鏈
模塊化區塊鏈的方案本質上由一個主要網絡組成,該網絡優先考慮安全性和去中心化,以便它可以充當L2的數據可用性層。如果這個主要網絡出現故障,所有L2都會出現故障。但是,如果某個L2出現故障,所有資金都是安全的(由L1提供安全性保障)。這是以太坊采用的方法,因為L2將為我們提供最大的擴容空間。當然,還有其他一些擴容L1的方案,如數據分片、狀態休眠機制(stateexpiry)和維克爾樹(verkletrees)以及其他各種方法。然而,需要更多時間實現這些方案,因為以太坊優先提高安全性和去中心化。
StarkWare構建的Layer2 DeFi基礎設施CANVAS已上線測試網:9月29日消息,StarkWare構建的Layer2 DeFi基礎設施CANVAS已上線測試網,主網將于90天后上線。[2022/9/29 22:40:08]
模塊化區塊鏈的一個關鍵方面是它們可以無限擴展,而無需快速升級硬件。它們之所以能做到這一點,是因為與單一型區塊鏈的架構相比,它們在技術和經濟上都是可持續的。至于為什么模塊化架構比單一型架構更可持續,更詳細的論證可以在這篇文章,作者:推特號@epolynya(u/Liberosist-Reddit)。
從本質上講,區塊鏈的可持續性從兩個維度來分析:
技術可持續性
節點需要保持同步
在合理的時間內完成從區塊鏈的創世區塊開始的同步
避免狀態過度膨脹而導致失控
經濟可持續性
理想情況下,L1產生的收入高于運營網絡的成本
不能人為地提高吞吐量,因為最終所有中心化的L1將不得不增加它們的費用
Rollup和數據分片(rads)成為滿足這些需求的唯一解決方案,這就是為什么模塊化架構是唯一長期可行的擴容解決方案。
更完整的解釋請閱讀下文中“拓展閱讀”板塊里?@epolynya'sarticles的文章。
L2的當前狀態以及用戶如何從中受益
我們正實現擴容,過去幾年一直研究的解決方案已經上線了——至少提供了有限的可擴展容量。而且在不久的將來會有更多解決方案在主網上發布其L2的改進版本和Alpha版本。在上文的“L2的主要類型”板塊中描述了擴容方案的不同屬性,根據這些屬性可以將擴容方案分成不同的類別。
L2解決方案的不完整列表
Optimisticrollups
?Arbitrum
Arbitrum由OffchainLabs團隊構建。該網絡本身叫做ArbitrumOne,它利用optimisticrollup的技術方案來擴容以太坊。ArbitrumOne使用欺詐證明(fraudproofs),并具有鏈上調用數據可用性,這意味著每筆交易的所有數據都被完全排序、捆綁并提交到主網上。由于Arbitrum使用了欺詐證明,它會有周期大概為七天的爭議時間延遲(disputetimedelay,DTD)。一旦DTD通過了,就可以認為網絡上的狀態更改是有效的,用戶可以通過本地橋接提出他們的可用余額。我們稍后會討論其他中心化的橋接,這些橋接允許你通過跨L2的流動性池繞過欺詐證明的周期,實現即時提款。
STEPN推出realm計劃,用戶可在不同的realm中Play同一款游戲:5月24日消息,Move to Earn應用STEPN推出realm計劃。據悉,“realm”是承載游戲分叉的服務器,可使不同的用戶在不同的realm中Play同一款游戲。在STEPN中,用戶在不同的realm共享同一套規則:能量跨realm共享;GMT跨realm橋接;游戲中的實用代幣不會跨realm橋接。且用戶可以自由定義realm的顏色主題、實用代幣、NFT的視覺效果和敘事。
數據顯示,STEPN月活用戶為300萬;日活用戶為80萬;月收入達1億美元,日交易費用凈利潤達300-500萬美元。[2022/5/24 3:38:09]
ArbitrumOne是目前鎖倉量最高的L2網絡。一個很棒的網站?L2Beat向我們統計了這些數據。
已經有許多協議和應用程序支持Arbitrum了,包括支持無縫切換至ArbitrumL2的基礎設施。目前使用L2的唯一問題是它需要累積更多的流動性,并且像跨L2AMM架構(比如由Starkware和Loopring發明的dAMM)這樣的創新方案以及Connext和Hop這樣的流動性協議需要足夠多的流動性和足夠去中心化,以便所有擴容解決方案能夠共享同樣的基礎設施,而不會導致生態系統碎片化。
關于Arbitrum應用程序的生態系統概述,請瀏覽ArbitrumPortal網頁。
主要工具:
區塊瀏覽器-Arbiscan
橋接-Arbitrum原生橋接(提款大約需要等待7天的DTD時間)
網絡RPC配置-Chainlist(搜索ArbitrumOne并添加至MetaMask)/在橋接你的資產之前請檢查你的移動錢包是否支持Arbitrum(這可能會導致你的財產永久丟失)—個人建議:Rainbowwallet(免責聲明:尚未支持Arbitrum)
AMM聚合器-1inch
如果讀者使用Arbitrum橋接時感到困惑,請查看Arbitrum橋接教程。如果想要從以太坊以外的其他網絡進行橋接,請查看下文的L2橋接板塊(注意,這些橋接都有不同程度的中心化)。
ArbitrumNitro
ArbitrumNitro是ArbitrumOneL2的升級版,它使用WebAssembly(WASM)目標取代了自定義的AVM(ArbitrumVM)以負責欺詐證明。這個升級也會使得整個系統與EVM更加兼容。另一個變化是,EVM模擬器(EVM-emulator)會被Geth取代(Geth是目前運行最多的以太坊客戶端)。ArbOS組件也被修改,以提供跨鏈通信;還會發布一個新的、改進的交易批處理和壓縮系統,以最小化L1成本。
MatterLabs已在以太坊主網部署Layer2擴展工具zkSync:據官方消息,以太坊擴容項目MatterLabs宣布已在以太坊主網部署其Layer2擴展工具zkSync。MatterLabs團隊表示,zkSync將極大解決以太坊上的交易成本(Gas)費,平均交易費用旨在長期保持在的小于0.01美元的低位,并逐步實現最高達2000TPS的吞吐量。目前,zkSync已經實現「可擴展的支付功能」,后續將依次實現「智能合約部署」、「隱私」和「加密抗審查」等功能,最終實現為數十億人提供可擴展的、保護隱私的、公平的且無許可的加密基礎設施。(Medium)[2020/6/19]
這次升級將會無縫推出,所以用戶無須做任何事情。升級后,執行速度預計會提高20-50倍并極大地降低交易成本。更多內容請閱讀OffchainLab團隊發布的公告。
Arbitrum的未來方向
像OffchainLabs團隊宣稱的那樣,Arbitrum不僅僅是一個optimisticrollup方案,他們會推出其他基于零知識證明(zeroknowledgeproofs)的擴容解決方案,同時還將繼續改良ArbitrumOneoptimisticrollupL2方案。這是零知識化趨勢的一個很好的例子,許多項目正在轉向零知識方向。因為一旦zkL2的技術實現得到了更好的研究并能夠實現通用的EVM計算,執行環境就會更加靈活,或者說可擴展性更強。
Optimism
Optimism是一家公益公司?(PBC),它在以太坊上構建了一個optimisticrollupL2解決方案OptimisticEthereum(OE)。我將通過解釋Arbitrum和OE在基礎架構上的異同來描述OE。詳細的比較可以閱讀KrisKaczor發布的推文介紹。
Optimism和Arbitrum的相同之處:
都屬于rollup并且所有交易數據都存儲在L1上
都屬于“optimistic”機制,因為都使用欺詐證明
都利用定序者(sequencer)來實現即時“最終確定性”
都具備通用的跨鏈通信功能,可以用來構建高級代幣橋
都支持與EVM相關的工具,但是需要專門的插件
Optimism和Arbitrum的不同之處:
具有不同的欺詐證明驗證機制
OptimismOVM2.0目前是EVM等同的(EVMequivalence),而ArbitrumOne(即便Nitro升級之后)只是EVM兼容的
Optimism采用單輪欺詐證明,而Arbitrum采用多輪欺詐證明
在Optimism上部署app依然需要通過許可(為之前的申請者開放私有白名單網絡),而Arbitrum發布了公開主網版本(無需許可)
主要工具:
區塊瀏覽器-OptimisticEtherscan
原生橋接-OptimismGateway
用戶指南
現有的應用程序門戶
網絡RPC設置-Chainlist(搜索OptimisticEthereum)
OVM2.0
OVM是OptimisticVirtualMachine(Optimistic虛擬機)的縮寫,它是執行OEL2中所有交易的虛擬機。OVM2.0于11月11日完成了主網升級。
Optimism通過OVM2.0升級實現EVM等同性這一目標,這將使得OE成為完全等同于EVM的編譯目標。像Dapptools(智能合約代碼庫和命令行工具—形式化驗證、符號執行、項目管理等等)、Hardhat、Solidity、Vyper等等這樣的開發者工具將可以直接在OVM2.0本地運行,這些工具的開發者不必擔心如何支持碎片化的代碼庫。這就是以太坊社區中每個人都提到的強大的“網絡效應”。值得注意的是,EVM的任何競爭者都必須從頭開始重建所有這些開發者工具。
閱讀Optimism的博客文章以了解他們如何實現EVM等同性。
追溯性公共物品募資
我認為Optimism團隊最重要的公告之一就是他們承諾將其所有利潤用于推動公共物品發展(總計超過100萬美元),并追溯性地使用二次方投票。團隊還承諾將L2定序者的利潤100%捐贈出去以推動公共事業發展。這筆利潤是由產生的交易費收入減去向以太坊主網提交欺詐證明所需支付的成本而剩下的金額。這位以太坊社區中其他L2項目樹立了一個利他主義的榜樣。
OE的未來方向
OptimisticEthereum未來的計劃雄心勃勃,其路線圖可在Optimism規范中查看。
摘自其規范:
該路線圖和抽象的設計是為了使每個組件能夠獨立發展。這4個主要組件是:
optimistic主網部署
欺詐證明基礎設施
無狀態客戶端
分片
每個組件都會發布獨立且增量式的版本,每一次更新都會讓OptimisticEthereum更加統一、更加強大。
BobaNetwork
Boba是一個以太坊L2擴容解決方案,由OMG基金會核心貢獻者Enya團隊構建。Boba是OptimisticRollup解決方案,可以降低gas費,提高交易吞吐量,并擴展智能合約的性能。Boba通過社區驅動的流動性池為用戶提供了快速退出功能(類似于Connext或Hop協議等其他解決方案),將OptimisticRollup的退出周期從7天縮短到只有幾分鐘,同時讓流動性提供者能夠進行流動性挖礦并從中獲益。
Boba最初通過分叉Optimism而形成,他們團隊是OVM(optimistic虛擬機)的關鍵貢獻者之一。一個有趣的事實是,Boba部署OVM2.0的時間比optimismrollup早,后者于11月11日在OptimisticEthereum上發布。盡管Boba是分叉而來的,但它們確實有一個模塊化的結構,使其能夠向主網提交證明,這允許在未來實現可升級性或零知識化。團隊計劃為即將發布的v3完全重寫代碼庫,v3將在未來幾個月在主網上發布。Boba的設計還能夠實現智能合約可擴展性,并允許開發者構建dapp,調用在web規模的基礎設施(如AWSLambda)上執行的代碼,這使得無法在鏈上執行或成本過于昂貴的算法得以使用。
BOBA空投-治理代幣
資源:
區塊瀏覽器
Boba網絡門戶網站(橋接)
開發者門戶
Metis
Metis是以太坊上的L2擴容解決方案,它使用并行或分片式的optimisticrollup架構。在Metis虛擬機(或MVM)中,有著所謂的去中心化自治組織,即DAC(DataAvailabilityCommittee),它們擁有獨立的計算和存儲層,可以根據L2應用(如DAO、dapp、協議等等)的需求定制。這些DAC是optimisticrollup的并行執行層。由于DAC具有跨層通信協議,各個DAC之間是完全可互操作的,并且流動性可以無縫地在它們之間轉移。根據Metis的技術白皮書,他們設計的擴容解決方案可以對以太坊進行橫向擴容,而無需在基礎設施上投入大量資金。
在Liscon期間,我偶然遇到了MetisDAO團隊,我對其基礎構架的理解是,它是一個具有不同執行層的網絡,不同的執行層專門為特定的應用者服務以達到擴容目的(DAO、dapp等等),同時通過向主網提交欺詐證明來保證其具有以太坊L1級別的安全性。可能也會有一些公共DAC,比如一些用來做swap的AMM流動性協議。由于其具有跨DAC的原生互操作性,其他DAC的用戶也可以在需要時使用這種公共DAC。這是一種新穎的設計和有趣的實驗。
來源|?mirror.xyz/dcbuilder.eth
作者|??DCBuilder
Tags:TIMIMIMISOPTIShowTime PotocolLIMIT幣Space MisfitsOptimism Doge
當前,游戲行業的線下會議、財報電話會議或董事會會議中,一個反復出現的主題就是GameFi。諸如AndrewWilson(游戲公司EA的CEO)等高管正在關注這一主題.
1900/1/1 0:00:0011月20日,三箭資本聯合創始人ZhuSu因不滿以太坊高昂的GAS費用,發推宣布棄用以太坊,不過就在12月7日,三箭資本又從各大交易平臺轉出91,477枚ETH(價值約4億美元).
1900/1/1 0:00:00劃重點: 1、商湯正遭遇“完成了任務卻收不到酬勞”的死循環中。多業務發展帶來的業務分散與管理成本提升問題,正引發內外界擔憂。2、“學術派”的商湯科技,對于風口的興趣程度一直濃厚.
1900/1/1 0:00:00頭條 ▌數據:中國共申請“元宇宙”商標達4368件,涉及公司達689家11月28日消息,數據顯示,我國共申請“元宇宙”商標達4368件,涉及公司達689家.
1900/1/1 0:00:0012月6日消息,DeFi平臺Earnity完成1500萬美元A輪投資,多元化控股公司AultGlobalHoldings,Inc.的子公司BitNile領投.
1900/1/1 0:00:00DAO,即去中心化自治組織,是一種基于區塊鏈技術的數字世界組織形態,它的組織規則由分布式的程序執行,能使參與者的利益一致,并且共同實現組織目標.
1900/1/1 0:00:00