如果我們可以構建L2協議錨定到L1,以實現安全性并增加可擴展性,那么我們就可以構建L3協議錨定到L2,以實現安全性并在增加更多可擴展性?
在layer2擴容討論中經常再度浮現的一個話題是“layer3s”的概念。如果我們可以構建一個layer2協議錨定到layer1,以實現其安全性以及增加其可擴展性為主要目的,那么我們當然可以通過構建一個“錨定到layer2以實現安全性,并在其之上增加更多可擴展性”的layer3協議來擴大其規模?
這個想法的一個簡單版本是:如果你有一個方案,可以讓你實現二次方增長,你能把這個方案堆迭在其自身之上并獲得指數級增長嗎?類似的想法包括我?2015年的可擴展性論文以及在?Plasma論文中提到的的multi-layer擴展等。不幸的是,如此簡單的layer3s概念卻沒那么容易形成可行方案。由于數據可用性的限制、對緊急提取的layer1帶寬的依賴或許多其他問題,設計中總有一些東西是不可堆迭的,并且只能給你一次可擴展性的提升。
圍繞layer3s的較新想法,如?Starkware提出的框架,更加復雜:它們不僅僅是將相同的東西堆迭在自身之上,它們還為layer2和layer3分配了不同的用途。如果它以正確的方式完成,這種方法的潛在形式可能行得通。這篇文章將詳細介紹在三層架構中哪些可能有意義,哪些可能沒有意義。
為什么你不能通過stackingrollups在rollups之上來保持擴容?
Rollups是一種擴展技術,它結合了不同的技術來解決運行區塊鏈的兩個主要擴展瓶頸:計算和數據。計算已由“欺詐證明”或?SNARK等方式解決了,它們依賴于極少數參與者來處理和驗證每個塊,要求其他人只執行少量計算來檢查證明過程是否正確完成。這些方案,尤其是SNARK,幾乎可以無限制地擴展;我們可以繼續制作“許多SNARK的SNARK”,以將更多計算縮減為單個證明。
0x1d40b1開頭地址從Aave提取逾6萬枚WETH:5月6日消息,據Eigen Phi MEVAlert監測,0x1d40b1開頭地址從Aave提取60888枚WETH,價值117685283美元。[2023/5/6 14:47:00]
數據不一樣。Rollups使用一系列壓縮技巧來減少交易需要在鏈上存儲的數據量:簡單的貨幣轉賬從約100字節減少到約16字節,在EVM兼容鏈中的ERC20轉賬從?約180字節減少到約?23個字節,一個保護隱私的ZK-SNARK交易可以從約600字節壓縮到約80個字節。在所有情況下大約有8倍壓縮。但是rollup仍然需要在保證用戶能夠訪問和驗證的介質中使數據在鏈上可用,以便用戶可以獨立計算rollup的狀態,并在現有證明者離線時作為證明者加入。數據可以壓縮一次,但不能再次壓縮---如果可以,那么通常有一種方法可以將第二個壓縮器的邏輯放入第一個壓縮器中,并通過壓縮一次獲得相同的好處。因此,“在Rollups之上的Rollups”實際上并不能在可擴展性方面提供巨大的收益,但是,正如我們將在下面看到的,這種模式可以用于其他目的。
那么?layer?3的“sane”版本是什么?
好吧,讓我們看看Starkware在他們關于layer3s的帖子中所提倡的有什么。Starkware由非常聰明的密碼學家組建,他們是理智的,所以如果他們提倡layer3s,他們的版本將比“如果rollups壓縮數據8倍,那么顯然rollups之上的rollups將壓縮數據64倍”要復雜得多。.
這是Starkware帖子中的圖:
引用幾句:
上圖描繪了這種生態系統的一個示例。它的L3包括:
加拿大證券管理局將對加密交易平臺實施更嚴格的監管框架:12月13日消息,加拿大證券管理局 ( CSA ) 宣布將對市場上現有的加密資產交易平臺實施更嚴格的監管框架。CSA 擬對在加拿大提供服務的加密資產交易平臺設定最后期限,以向該機構提供規定形式的預注冊承諾,如果不進行預注冊將會被要求停止在加拿大運營,否則將面臨執法行動的風險。
此外,CSA 還宣布將實施更為嚴格的預注冊承諾條款和條件,包括:由適當的托管方持有客戶資產并將客戶資產與企業資產分開、禁止向任何客戶提供保證金或杠桿業務。
而此前的規定不僅允許向符合許可客戶資格的客戶提供保證金、信貸或其他形式的杠桿,還允許公司在托管賬戶之外持有最多占客戶加密資產總價值 20% 的客戶加密資產。[2022/12/13 21:41:39]
1、具有Validium數據可用性的StarkNet,如,常用于對定價極其敏感的應用程序中。
2、為獲得更好的應用程序性能而定制的特定于應用程序的StarkNet系統,例如,通過采用指定的存儲結構或數據可用性壓縮來實現。
3、StarkEx系統具有Validium或Rollup數據可用性,立即為StarkNet帶來久經考驗的可擴展性優勢。
4、隱私StarkNet實例允許隱私保護類型的交易存在,而不將它們包含在公共StarkNet中。
我們可以將文章壓縮為“‘L3s’的三個愿景”:
L2用于擴容,L3用于定制功能,例如隱私。在這個愿景中,沒有嘗試提供“可擴展性二次方增長”;相反,堆棧中有一層可以幫助應用程序擴展,然后有獨立的層來滿足不同用例的定制功能需求。
L2用于通用擴容,L3用于可定制化擴容。可定制化擴容可能有不同的形式:使用除EVM之外的其他東西進行計算的專用應用程序,數據壓縮針對特定應用程序的數據格式進行優化的rollups等。
比特幣的哈希率攀升至接近6月歷史新高,預計挖礦難度大幅提升:金色財經報道,數據顯示,比特幣的哈希率以每秒282.21 exahash?(EH/s) 的速度運行,僅比2022 年6月8日在區塊高度 739928 處記錄的網絡歷史最高點 (ATH)低 3.35%。盡管價格在14天內下跌了9%,但算力卻大幅增加,挖礦難度自2022年8月4日以來已經翻了兩倍。
加密社區已經注意到隨著塊間隔率的增加,節奏的增加。周四,Blocksbridge Consulting 在推特上發布了關于區塊間隔的消息,并表示該公司預計下一次的難度會大幅增加。[2022/8/28 12:53:29]
L2用于無信任擴展,L3用于弱信任擴展。?Validium?是使用SNARK來驗證計算的系統,但將數據可用性留給受信任的第三方或委員會。在我看來,Validium被嚴重低估了:特別是,許多“企業區塊鏈”應用程序實際上可能最好由運行validium的證明者提供服務,并定期將哈希提交到鏈的集中式服務器來提供最佳服務。Validium的安全等級低于rollups,但可以便宜得多。
在我看來,所有這三個愿景基本上都是合理的。專用數據壓縮需要自己的平臺的想法可能是最薄弱的主張---設計具有通用基礎層壓縮方案的L2非常容易,用戶可以使用特定于應用程序的子壓縮器自動擴展,但除此之外,這些使用案例都是合理的。但這仍然留下一個大問題:三層結構是實現這些目標的正確方法嗎?將驗證、隱私系統和定制環境錨定到L2而不是僅僅錨定到L1有什么意義?事實證明,這個問題的答案相當復雜。
在L2的子集樹中,存款和取款是否變得更便宜、更容易?
三層模型優于兩層模型的一個可能論點是:三層模型允許整個子生態系統存在于單個rollup中,這允許該生態系統內的跨域操作可以非常便宜地發生,而無需通過昂貴的L1完成。
MicroStrategy成為首家在富達注冊比特幣401(k)養老金賬戶的公司:7月25日消息,今年四月,富達投資宣布允許投資者通過專用“數字資產賬戶”在他們的401(k)養老金賬戶中存入比特幣,據悉MicroStrategy是第一家在富達注冊比特幣401(k)養老金賬戶的公司,富達表示已經看到雇主的強烈興趣,預計未來會有更多企業跟進。
另據知情人士透露,考慮將比特幣添加到401(k)計劃中的雇主需要進行盡職調查并獲得必要的批準,富達只需要大約90天時間即可完成。(Barrons)[2022/7/25 2:36:37]
但事實證明,即使在兩個L2s?甚至L3s之間,存款與取款也可以非常便宜。這其中的關鍵是代幣和其他資產不必在根鏈中發行。也就是說,您可以在Arbitrum上擁有ERC20代幣,在Optimism上創建它的包裝器,并在兩者之間來回移動而無需任何L1交易!
讓我們來看看這樣一個系統是如何工作的。有兩種智能合約:Arbitrum上的基礎合約和Optimism上的封裝代幣合約。要從Arbitrum轉移到Optimism,您需要將代幣發送到基礎合約,這將生成收據。一旦Arbitrum最終確定,您可以獲取該收據的Merkle證明并植根于L1狀態,然后將其發送到Optimism上的包裝代幣合約中,該合約對其進行驗證并向您發放一個包裝代幣。要將令牌移回,您可以反向執行相同的操作。
盡管在證明Arbitrum上的存款所需的Merkle路徑要通過L1狀態,Optimism只需要讀取L1狀態根來處理存款---不需要L1交易。請注意,由于rollups數據是最稀缺的資源,因此這種方案的實際實現將使用SNARK或KZG證明,而不是直接使用Merkle證明,以節省空間。
武漢:對首次進入權威機構發布的全國區塊鏈百強企業一次性獎勵200萬元:金色財經報道,據武漢經信局網站,該局制定了《市經信局落實武漢市加快區塊鏈技術和產業創新發展有關獎勵政策的實施細則》,其中提出:“對首次進入權威機構發布的全國區塊鏈百強企業一次性獎勵200萬元,市、區各承擔50%的獎勵資金” 、“將以區塊鏈為主要業務的企業列入市重點企業培育庫,對年營收增速超過20%的入庫企業以地方財政貢獻額為限最高給予30萬元獎勵”。[2022/6/25 1:31:05]
與基于L1的代幣相比,這種方案有一個致命弱點:存款還需要等待防欺詐窗口。如果代幣植根于L1,從Arbitrum或Optimism撤回到L1需要一周的延遲,但存款是即時的。然而,在這個方案中,存款和取款都需要一周的延遲。也就是說,尚不清楚理想的rollups上的三層架構是否更好:要確保在本身運行在防欺詐游戲上的系統內部發生的防欺詐游戲是安全的,存在很多技術復雜性。
幸運的是,這些問題都不會成為ZKrollups的問題。出于安全原因,ZKrollups不需要長達一周的等待窗口,但由于其他兩個原因,它們仍然需要更短的窗口。首先,特別是更復雜的通用ZK-EVM?rollups需要更長的時間來覆蓋區塊的不可并行計算時間。其次,出于經濟考慮,需要很少提交證明以最小化與證明交易相關的固定成本。包括專用硬件在內的下一代?ZK-EVM技術將解決第一個問題,而架構更好的批量驗證可以解決第二個問題。我們接下來要討論的正是優化和批量提交證明的問題。
Rollups和validiums有一個確認時間與固定成本的權衡。L3可以幫助解決這個問題,但還有什么也可以做到這些呢?
每個事務的rollups成本很便宜:它只是16-60字節的數據,具體取決于應用程序。但是rollups每次提交一批交易到鏈上時也必須支付高昂的固定成本:optimistic?rollups每批需要21000L1gas,ZKrollups則超過400,000gas。
當然,rollup可以簡單地選擇等到有1000萬gas價值的L2交易來提交整批(交易),但這會給他們帶來非常長的批次間隔,迫使用戶等待更長的時間以獲得高安全性確認。因此,它們需要權衡:較長的批次間隔和最佳成本,或者較短的批次間隔和大大增加的成本。
為了給我們一些具體的數字,讓我們考慮一個每批成本為600,000gasZKrollup并處理每筆交易成本為368gas的完全優化的ERC20傳輸。假設此rollups處于采用的早期到中期,TPS為5。我們可以計算每筆交易與批次間隔的gas:
如果我們進入一個擁有大量定制驗證和特定應用環境的世界,那么其中許多每秒處理量將遠低于5TPS。因此,確認時間和成本之間的權衡開始變得非常重要。事實上,“L3”范式確實解決了這個問題!ZKrollup中的ZKrollup,即使是簡單的實現,也只有大約8,000layer-1gas的固定成本。這會將上表更改為:
問題基本解決了,所以L3s?是不是很好?也許是的。但需要注意的是,解決這一問題還有一個方法受到了ERC?4337聚合驗證的啟發。
策略如下。今天,如果每個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稱為“layer?2”。同樣,我們不會將TornadoCash稱為“Layer?2”,?因此,如果我們要保持一致,我們不會將位于第L2之上的以隱私為中心的子系統稱為L3.因此,關于什么應該首先被稱為“Layer”,存在一個未解決的語義爭論。
在這方面有許多可能的思想流派。我個人的偏好是將術語“Layer?2”限制為具有以下屬性的事物:
1、他們的目的是提高可擴展性
2、他們遵循“區塊鏈中的區塊鏈”模式:他們有自己的交易處理機制和自己的內部狀態
3、他們繼承了以太坊鏈的全部安全性
因此,理想的rollups和ZKrollups是L2,但驗證、證明聚合方案、ERC4337、鏈上隱私系統和Solidity是另一回事。將其中一些稱為L3可能有意義,但可能不是全部;無論如何,現在確定定義似乎還為時過早,而多匯總生態系統的架構遠非一成不變,大多數討論僅在理論上進行。
也就是說,語言上的爭論不如哪個結構實際上最有意義的技術問題重要。顯然,服務于隱私等非擴展需求的某些“layers”可以發揮重要作用,并且需要以某種方式填充證明聚合的重要功能,最好是通過開放協議來填充。但與此同時,我們有充分的技術理由使鏈接面向用戶環境和L1的中間層盡可能簡單;在許多情況下,作為EVM匯總的“粘合層”可能不是正確的方法。我猜想,隨著L2擴展生態系統的成熟,本文中描述的更復雜的結構將開始發揮更大的作用。
來源:鏈捕手
撰文:Vitalik,《Whatkindoflayer3smakesense?》
編譯:董一鳴,鏈捕手
?特別感謝GeorgiosKonstantopoulos、KarlFloersch和Starkware團隊的反饋和審查。
來源:金色財經
FTX的首席執行官SamBankman-Fried分享了他對公司管理、招聘、品牌決策和行業競爭的看法.
1900/1/1 0:00:00在現階段,Web3和市場營銷的重心是什么?與其試圖去定義Web3,我更愿意將其當作互聯網的一次進化。不論你對它的態度如何,你都需要承認互聯網的進化已經不可避免.
1900/1/1 0:00:00恭喜,昨晚提前布局的btc空單完美拿下2000點,昨晚布局:建議btc反彈在19600-20000直接布局空單,目標看19000-18000,風控21000,完美符合預期.
1900/1/1 0:00:00??作為半導體行業和計算創新領域的全球領先廠商,英特爾近年來也在不斷拓寬自己的行業邊界。去年12月,英特爾GPU首席執行官RajaKoduri在一次直播中表示,該公司正在為區塊鏈和加密貨幣技術開.
1900/1/1 0:00:00外媒:黑客組織TeamTNT正在試圖破解比特幣金色財經報道,據安全網站BleepingComputer披露,黑客組織TeamTNT正試圖破解比特幣.
1900/1/1 0:00:00這下玩大了,大鵝征集了30w預備力量,這應該是隨時準備局勢升級不可控的前奏了,?今天原本是小反彈,隨著消息突發走勢又開始跳水了,說明市場已經人心惶惶,只想避險,不敢抄底.
1900/1/1 0:00:00