在Layer2擴容討論中經常再度浮現的一個話題是「Layer3s」的概念。如果我們可以構建一個Layer2協議錨定到Layer1,以實現其安全性以及增加其可擴展性為主要目的,那么我們當然可以通過構建一個「錨定到Layer2以實現安全性,并在其之上增加更多可擴展性」的Layer3協議來擴大其規模?
這個想法的一個簡單版本是:如果你有一個方案,可以讓你實現二次方增長,你能把這個方案堆迭在其自身之上并獲得指數級增長嗎?類似的想法包括我2015年的可擴展性論文以及在Plasma論文中提到的的multi-Layer擴展等。不幸的是,如此簡單的Layer3s概念卻沒那么容易形成可行方案。由于數據可用性的限制、對緊急提取的Layer1帶寬的依賴或許多其他問題,設計中總有一些東西是不可堆迭的,并且只能給你一次可擴展性的提升。
圍繞Layer3s的較新想法,如Starkware提出的框架,更加復雜:它們不僅僅是將相同的東西堆迭在自身之上,它們還為Layer2和Layer3分配了不同的用途。如果它以正確的方式完成,這種方法的潛在形式可能行得通。這篇文章將詳細介紹在三層架構中哪些可能有意義,哪些可能沒有意義。
為什么你不能通過stackingrollups在rollups之上來保持擴容?
Rollups是一種擴展技術,它結合了不同的技術來解決運行區塊鏈的兩個主要擴展瓶頸:計算和數據。計算已由「欺詐證明」或SNARK等方式解決了,它們依賴于極少數參與者來處理和驗證每個塊,要求其他人只執行少量計算來檢查證明過程是否正確完成。這些方案,尤其是SNARK,幾乎可以無限制地擴展;我們可以繼續制作「許多SNARK的SNARK」,以將更多計算縮減為單個證明。
數據不一樣。Rollups使用一系列壓縮技巧來減少交易需要在鏈上存儲的數據量:簡單的貨幣轉賬從約100字節減少到約16字節,在EVM兼容鏈中的ERC20轉賬從約180字節減少到約23個字節,一個保護隱私的ZK-SNARK交易可以從約600字節壓縮到約80個字節。在所有情況下大約有8倍壓縮。但是rollup仍然需要在保證用戶能夠訪問和驗證的介質中使數據在鏈上可用,以便用戶可以獨立計算rollup的狀態,并在現有證明者離線時作為證明者加入。數據可以壓縮一次,但不能再次壓縮—如果可以,那么通常有一種方法可以將第二個壓縮器的邏輯放入第一個壓縮器中,并通過壓縮一次獲得相同的好處。因此,「在Rollups之上的Rollups」實際上并不能在可擴展性方面提供巨大的收益,但是,正如我們將在下面看到的,這種模式可以用于其他目的。
法官:美國政府反對Voyager-Binance.US交易的案件有 \"實質性 \"的理由:金色財經報道,紐約法官周五表示,美國政府在反對Binance.US以10億美元收購破產的加密貨幣貸款機構Voyager的資產的交易中,有一個 \"實質性的案情理由\"。地區法官Jennifer Rearden擱置了這項價值10億美元的交易,但表示,考慮到延期可能會使財產每月損失高達1000萬美元,她將努力迅速解決糾紛。(Coindesk)[2023/4/2 13:39:57]
那么Layer3的「sane」版本是什么?
好吧,讓我們看看Starkware在他們關于Layer3s的帖子中所提倡的有什么。Starkware由非常聰明的密碼學家組建,他們是理智的,所以如果他們提倡Layer3s,他們的版本將比「如果rollups壓縮數據8倍,那么顯然rollups之上的rollups將壓縮數據64倍」要復雜得多。
這是Starkware帖子中的圖:
引用幾句:
上圖描繪了這種生態系統的一個示例。它的L3包括:
1、具有Validium數據可用性的StarkNet,如,常用于對定價極其敏感的應用程序中。
2、為獲得更好的應用程序性能而定制的特定于應用程序的StarkNet系統,例如,通過采用指定的存儲結構或數據可用性壓縮來實現。
3、StarkEx系統具有Validium或Rollup數據可用性,立即為StarkNet帶來久經考驗的可擴展性優勢。
4、隱私StarkNet實例允許隱私保護類型的交易存在,而不將它們包含在公共StarkNet中。
比特幣全網未確認交易數量為23054筆:金色財經報道,據BTC.com數據顯示,目前比特幣全網未確認交易數量為23054筆,全網算力為299.68 EH/s,24小時交易速率為3.61交易/s,目前全網難度為39.16 T,預測下次難度上調2.90%至40.29 T,距離調整還剩10天16小時。[2023/2/15 12:07:07]
我們可以將文章壓縮為「L3s的三個愿景」:
L2用于擴容,L3用于定制功能,例如隱私。在這個愿景中,沒有嘗試提供「可擴展性二次方增長」;相反,堆棧中有一層可以幫助應用程序擴展,然后有獨立的層來滿足不同用例的定制功能需求。
L2用于通用擴容,L3用于可定制化擴容。可定制化擴容可能有不同的形式:使用除EVM之外的其他東西進行計算的專用應用程序,數據壓縮針對特定應用程序的數據格式進行優化的rollups等。
L2用于無信任擴展,L3用于弱信任擴展。Validium是使用SNARK來驗證計算的系統,但將數據可用性留給受信任的第三方或委員會。在我看來,Validium被嚴重低估了:特別是,許多「企業區塊鏈」應用程序實際上可能最好由運行validium的證明者提供服務,并定期將哈希提交到鏈的集中式服務器來提供最佳服務。Validium的安全等級低于rollups,但可以便宜得多。
在我看來,所有這三個愿景基本上都是合理的。專用數據壓縮需要自己的平臺的想法可能是最薄弱的主張---設計具有通用基礎層壓縮方案的L2非常容易,用戶可以使用特定于應用程序的子壓縮器自動擴展,但除此之外,這些使用案例都是合理的。但這仍然留下一個大問題:三層結構是實現這些目標的正確方法嗎?將驗證、隱私系統和定制環境錨定到L2而不是僅僅錨定到L1有什么意義?事實證明,這個問題的答案相當復雜。
zkSync發布生態進展更新:Celer Network已與zkSync 2.0測試網集成:11月21日消息,zkSync 發布生態系統的五個最新進展,包括跨鏈基礎設施 Celer Network 已經與 zkSync 2.0 測試網集成,確認在 zkSync 的公平啟動 Alpha 里程碑中增加了資產橋接和消息傳遞。MUX Protocol 的多鏈原生 DeFi 協議現已在 zkSync 2.0 測試網上運行。Pocket Network 確認其激勵節點運行器網絡即將進入 zkSync 生態系統。depocket.com 宣布其用戶可以在其 DeFi 儀表板產品上跟蹤 zkSync 的質押余額。BlockWallet 詳細介紹了他們在零妥協 Web3 錢包中對 zkSync 2.0 測試網的支持的持續改進。[2022/11/22 7:53:49]
在L2的子集樹中,存款和取款是否變得更便宜、更容易?
三層模型優于兩層模型的一個可能論點是:三層模型允許整個子生態系統存在于單個rollup中,這允許該生態系統內的跨域操作可以非常便宜地發生,而無需通過昂貴的L1完成。
但事實證明,即使在兩個L2s甚至L3s之間,存款與取款也可以非常便宜。這其中的關鍵是代幣和其他資產不必在根鏈中發行。也就是說,您可以在Arbitrum上擁有ERC20代幣,在Optimism上創建它的包裝器,并在兩者之間來回移動而無需任何L1交易!
讓我們來看看這樣一個系統是如何工作的。有兩種智能合約:Arbitrum上的基礎合約和Optimism上的封裝代幣合約。要從Arbitrum轉移到Optimism,您需要將代幣發送到基礎合約,這將生成收據。一旦Arbitrum最終確定,您可以獲取該收據的Merkle證明并植根于L1狀態,然后將其發送到Optimism上的包裝代幣合約中,該合約對其進行驗證并向您發放一個包裝代幣。要將令牌移回,您可以反向執行相同的操作。
MakerDAO已撥款5億枚DAI,其中80%購買美國國債20%購買公司債券:10月6日消息,穩定幣發行機構MakerDAO已撥款5億枚DAI用于投資美國短期國債和公司債券,其中80%將購買美國短期國債,其余20%將購買投資級公司債券。
此前報道,MakerDAO在推特公布近幾個月有關MakerDAO收入多元化的多項提案進展,其中有關流動債券策略與執行的MIP65提案以71.19%的投票率通過。(CoinDesk)[2022/10/6 18:41:12]
盡管在證明Arbitrum上的存款所需的Merkle路徑要通過L1狀態,Optimism只需要讀取L1狀態根來處理存款—不需要L1交易。請注意,由于rollups數據是最稀缺的資源,因此這種方案的實際實現將使用SNARK或KZG證明,而不是直接使用Merkle證明,以節省空間。
與基于L1的代幣相比,這種方案有一個致命弱點:存款還需要等待防欺詐窗口。如果代幣植根于L1,從Arbitrum或Optimism撤回到L1需要一周的延遲,但存款是即時的。然而,在這個方案中,存款和取款都需要一周的延遲。也就是說,尚不清楚理想的rollups上的三層架構是否更好:要確保在本身運行在防欺詐游戲上的系統內部發生的防欺詐游戲是安全的,存在很多技術復雜性。
幸運的是,這些問題都不會成為ZKrollups的問題。出于安全原因,ZKrollups不需要長達一周的等待窗口,但由于其他兩個原因,它們仍然需要更短的窗口。首先,特別是更復雜的通用ZK-EVMrollups需要更長的時間來覆蓋區塊的不可并行計算時間。其次,出于經濟考慮,需要很少提交證明以最小化與證明交易相關的固定成本。包括專用硬件在內的下一代ZK-EVM技術將解決第一個問題,而架構更好的批量驗證可以解決第二個問題。我們接下來要討論的正是優化和批量提交證明的問題。
因狗狗幣致富的人數在2022年下降約51.83%:5月27日消息,2021年,許多投資者因投資狗狗幣而從普通散戶投資者變成百萬富翁。數據顯示,2022年1月1日,因狗狗幣而成為百萬富翁的人數為1341,截至5月27日,該數值為646。在短短不到六個月的時間里,下降了約51.83%。(Finbold)[2022/5/27 3:46:16]
Rollups和validiums有一個確認時間與固定成本的權衡。L3可以幫助解決這個問題,但還有什么也可以做到這些呢?
每個事務的rollups成本很便宜:它只是16-60字節的數據,具體取決于應用程序。但是rollups每次提交一批交易到鏈上時也必須支付高昂的固定成本:optimisticrollups每批需要21000L1gas,ZKrollups則超過400,000gas。
當然,rollup可以簡單地選擇等到有1000萬gas價值的L2交易來提交整批(交易),但這會給他們帶來非常長的批次間隔,迫使用戶等待更長的時間以獲得高安全性確認。因此,它們需要權衡:較長的批次間隔和最佳成本,或者較短的批次間隔和大大增加的成本。
為了給我們一些具體的數字,讓我們考慮一個每批成本為600,000gasZKrollup并處理每筆交易成本為368gas的完全優化的ERC20傳輸。假設此rollups處于采用的早期到中期,TPS為5。我們可以計算每筆交易與批次間隔的gas:
如果我們進入一個擁有大量定制驗證和特定應用環境的世界,那么其中許多每秒處理量將遠低于5TPS。因此,確認時間和成本之間的權衡開始變得非常重要。事實上,「L3」范式確實解決了這個問題!ZKrollup中的ZKrollup,即使是簡單的實現,也只有大約8,000Layer-1gas的固定成本。這會將上表更改為:
問題基本解決了,所以L3s是不是很好?也許是的。但需要注意的是,解決這一問題還有一個方法受到了ERC4337聚合驗證的啟發。
策略如下。今天,如果每個ZKrollup或validium收到證明,則證明Snew=STF(Sold,D):新的stateroot必須是在舊狀態根之上正確處理交易數據或狀態增量的結果。在這個新方案中,ZKrollup將接受來自批量驗證者合約的消息,該消息說它已經驗證了一批語句的證明,其中每個語句的形式為Snew=STF(Sold,D)。這種批量證明可以通過遞歸SNARK方案或Halo聚合來構建。
這將是一個開放的協議:任何ZK-rollup都可以加入,并且任何批量證明者都可以從任何兼容的ZK-rollup聚合證明,并從聚合器獲得交易費用的補償。批處理程序合約將驗證一次證明,然后將一條消息傳遞給每個rollups,并帶有該sollups的(Sold,Snew,D)triple.Triple來自批處理程序合同的事實會被作為證據來證明轉換是有效的。
如果優化得當,此方案中每次匯總的成本可能接近8000,其中5000用于添加新更新的狀態寫入,1280用于舊根和新根,以及額外的1720用于雜項數據處理。因此,它會給我們同樣的節省。Starkware實際上已經有了類似的東西,稱為SHARP,盡管它不是一個無需許可的開放協議。
對這種方法的一種回應可能是:但這實際上不正是另一種第3層方案嗎?我們將有baseLayer<-batchmechanism<-rollup或validium來替代baseLayer<-rollup<-validium。從某種哲學架構的角度來看,這可能是真的。但是有一個重要的區別:中間層不是一個復雜的完整EVM系統,而是一個簡化的和高度專業化的對象,因此它更可能是安全的,它更有可能在沒有另一個專門的代幣的情況下構建,它更有可能被最低限度的治理,并且不會隨著時間的推移而改變。
結論:到底什么是「Layer」?
由在其自身之上堆迭相同的縮放方案組成的三層縮放架構通常不能很好地工作。在rollups之上的rollups的形式也不盡人意。但是,L2和L3具有不同目的的三層架構可以行得通。rollups之上的Validiums確實有意義,即使它們不能確定是長期的最佳做事方式。
然而,一旦我們開始深入了解哪種架構有意義的細節,我們就會進入哲學問題:什么是「層」,什么不是?baseLayer<-batchmechanism<-rollup或validium和baseLayer<-rollup<-rolluporvalidium做著相同的工作,但就其工作方式而言,證明聚合層看起來更像ERC-4337,而不是rollups。?通常,我們不會將ERC-4337稱為「Layer2」。同樣,我們不會將TornadoCash稱為「Layer2」,因此,如果我們要保持一致,我們不會將位于第L2之上的以隱私為中心的子系統稱為L3因此,關于什么應該首先被稱為「Layer」,存在一個未解決的語義爭論。
在這方面有許多可能的思想流派。我個人的偏好是將術語「Layer2」限制為具有以下屬性的事物:
他們的目的是提高可擴展性
他們遵循「區塊鏈中的區塊鏈」模式:他們有自己的交易處理機制和自己的內部狀態
他們繼承了以太坊鏈的全部安全性
因此,理想的rollups和ZKrollups是L2,但驗證、證明聚合方案、ERC4337、鏈上隱私系統和Solidity是另一回事。將其中一些稱為L3可能有意義,但可能不是全部;無論如何,現在確定定義似乎還為時過早,而多匯總生態系統的架構遠非一成不變,大多數討論僅在理論上進行。
也就是說,語言上的爭論不如哪個結構實際上最有意義的技術問題重要。顯然,服務于隱私等非擴展需求的某些「Layers」可以發揮重要作用,并且需要以某種方式填充證明聚合的重要功能,最好是通過開放協議來填充。但與此同時,我們有充分的技術理由使鏈接面向用戶環境和L1的中間層盡可能簡單;在許多情況下,作為EVM匯總的「粘合層」可能不是正確的方法。我猜想,隨著L2擴展生態系統的成熟,本文中描述的更復雜的結構將開始發揮更大的作用。
來源:金色財經
Tags:ROLROLLUPSLAYERroll幣可以roll坐騎嗎CoinControllerCashWELUPSPlayerMint
美元指數飆升至20多年新高,帶來的不僅是全球貨幣下挫,還有加密貨幣市場的腥風血雨。自以太坊合并后兩大加密貨幣也是一路下跌。比特幣今日盤中連續跌破20000美元、19000美元兩大重要關口.
1900/1/1 0:00:00比特幣為何遭遇拋售?在業內人士看來,美元指數飆升帶來的不僅是全球金融市場的震蕩,還有虛擬貨幣市場的腥風血雨。事實上,今年以來累計跌幅超過80%的虛擬貨幣也不在少數.
1900/1/1 0:00:00Chiliz提供了一個獨特的計劃,“我不僅僅是一張粉絲借記卡”,可在網絡平臺上使用。擁有“Socios.com借記卡”的球迷可以從他們喜愛的俱樂部獲得更多獎勵和其他好處,它將于今年11月推出.
1900/1/1 0:00:0001 1984年:杰倫·拉尼爾提出“VirtualReality——虛擬現實”概念“VirtualReality——虛擬現實”這個詞兒,是1984年美國科技達人杰倫·拉尼爾最早提出來的.
1900/1/1 0:00:00盡管Libra已死,但血液依舊在后繼者身上流淌。Aptos、Sui和Linera等從Libra走出的創業者們創立的新公鏈成為市場關注焦點,a16z、coinbase等頂級風投機構紛紛押注,開發者.
1900/1/1 0:00:00原文標題:《盤點StarkNet鏈游生態》原文來源:StarkNet中文本文向讀者介紹StarkNet鏈游生態.
1900/1/1 0:00:00