原文標題:L2-理解和思考
Layer2是個大的話題。是否去中心化,是否安全,資金狀態確認時間是Layer2的主要的討論話題。最近有點時間,總結一下Layer2的理解和思考。
Layer2交互模型
Layer2,相對于Layer1,在Layer1的基礎上提供更豐富功能,更好的用戶體驗。抽象一下Layer2的邏輯以及交互模型如下:
除了Layer1的交易外,其他Layer2的交易都在Layer2執行。為了Layer2在必要時恢復交易狀態,所有Layer2的交易數據需要安全存儲。簡單起見,也為了和Layer1保持一樣的安全性,所有Layer2的交易數據一般存儲在Layer1。這種交易數據的隨時可訪問,稱為"DataAvailability"。所有的Layer2交易都在Layer2執行,并同步到Layer1。如何證明Layer2同步的狀態正確,不同的layer2方案有不同的實現方法。
何一:“BNB Chain 全組被裁、技術不留”是謠言:6月24日消息,幣安聯合創始人何一回應推特上被廣泛傳播的“BNB chain全組被裁,技術也不留,只留一些市場和BD,這個組不賺錢,一姐已經發話了,這一波幣安裁員了20-40%”等說法表示,最近中文區針對 BNB 的謠言很猛,“全組被裁技術不留”是假消息。
此外,有網友提問“有沒有挪用用戶財產”,何一表示,“POR可以自己證明,鏈上地址還可以查,美國法院判幣安美國站都沒有挪用的證據;你問的都不用發誓,屬于已經自證的范疇,多學習下自己動動手就可以查到。”[2023/6/24 21:57:30]
Layer2實現分類
從Layer2狀態同步方式,Layer2分為兩類:一類是側鏈實現,一類是Rollup。側鏈,就是通過不同于Layer1的共識進行Layer2狀態向Layer1的同步。僅從這一點,整個側鏈的安全性,就降低到Layer2的共識的安全性。Rollup又分為兩種:一種是zkRollup,一種是OptimisticRollup。所謂OptimisticRollup,樂觀性Rollup,期望絕大多數情況下Rollup正確向Layer1同步狀態。同時,為了防止同步錯誤的狀態,提供了挑戰機制。樂觀預計挑戰的機率比較小。在需要挑戰的情況下,Layer1可以判斷正確狀態。zkRollup是最直接的狀態同步方式,通過零知識證明技術,在向Layer1提交狀態的同時提供狀態變化的證明。Layer實現分類如下:
FTX 9月底所持有加密貨幣的公允價值僅為659,000美元:11月21日消息,根據破產法庭文件顯示,截至 2022 年 9 月底,FTX International 所持有加密貨幣的總公允價值僅為 659,000 美元,而其創始人 SBF 卻聲稱該公司持有價值 55 億美元的“低流動性”加密貨幣。(Business Insider)[2022/11/21 7:53:02]
zkRollup,按照采用的零知識證明協議又分為三類:1/Groth162/PLONK3/STARK。Groth16協議需要針對每一個電路進行初始設置(TrustedSetup)。PLONK協議在一定規模下的電路只需要一次初始設置。STARK協議不需要初始設置。但是,相對另外兩種算法,STARK協議,證明數據量大,驗證時間長。相對來說,在Layer2的場景下,PLONK是目前廣泛使用的算法。
STARK協議和SNARK(Groth16/PLONK)協議比較:
Immunefi獲得2400萬美元A輪融資,Framework Ventures領投:金色財經報道,Web3漏洞賞金平臺Immunefi在A輪融資中籌集了2400萬美元。這輪融資由Framework Ventures牽頭。其他投資者包括Samsung Next、Electric Capital和Polygon Ventures。去年Immunefi籌集了550萬美元的資金,這使其現在籌集的資金總額達到2950萬美元。[2022/9/22 7:14:25]
https://github.com/matter-labs/awesome-zero-knowledge-proofs
總結一下,從安全性角度看,各種Layer2的排序如下:zkRollup,optimisticRollup,側鏈。從提現的時間也印證了安全性,zkRollup的提現是分鐘級別,其他兩種方案,小時甚至是天級別。zkSync是比較完善的zkRollup開源項目,zkRollup,雖好,目前存在很大的缺陷:可編程性差。
美國證券交易委員會要求對沖基金更多地披露其(交易)策略:8月10日消息,美國證券交易委員會要求對沖基金更多地披露其(交易)策略。(金十)[2022/8/10 12:16:27]
細看zkRollup
相對其他Rollup方案,zkRollup方案多了zk證明系統。也就是說,在Layer2每個交易除了“執行”外,還需要生成證明,證明執行過程的正確性。熟悉零知識證明技術的小伙伴都知道,零知識證明的安全性在于”電路“的安全性。對于Layer2,每種交易的處理”固化“為電路,電路邏輯完全公開。對應于每種電路,存在唯一的驗證秘鑰。驗證秘鑰用在Layer1驗證狀態證明。通過驗證的狀態證明,符合固化電路的邏輯。
關鍵就在于Layer2交易的執行和固化電路語義是否一致。公開電路就是一種共識方式,供所有人查閱電路邏輯。簡單的說,為了實現zkRollup,需要實現Layer2執行對應的電路。事實上,電路的實現相對復雜,沒有高級語言,很多情況下都是手寫R1CS。進一步,為了利用zk證明系統,為了優化電路的實現,整個Layer2的狀態經常優化為電路友好結構。所以,zkRollup的系統需要考慮電路的結構,從而約束了Layer2交易以及賬戶模型。細心的小伙伴可以發現,不管是zksync/zkswap/loopring,都只實現了特定交易場景。
Axelar Network即將支持開發者在BNBChain上構建跨鏈應用:5月28日消息,通用互操作性平臺Axelar Network發推稱,開發者即將可以在BNBChain上構建跨鏈應用。另外,根據Axelar Network更新的路線圖,目前正在支持更多資產和區塊鏈,將通用信息傳遞功能擴展到Cosmos,以及支持更多的跨鏈應用。5月初,Axelar Network在主網上啟用通用消息傳遞(Genera lMessage Passing)功能,該功能可實現跨所有鏈的多對多通信,允許用戶在多鏈間轉移代幣、NFT以及在多個DApp間執行多鏈調用。[2022/5/28 3:47:19]
反過來說,如果需要通過zkRollup支持EVM的交易執行,需要將EVM的交易抽象成電路友好的賬戶模型。這種抽象并不容易,再者,EVM的描述電路可以預見比較大。從零知識證明的性能看,這方面會限制整個zkRollup的性能。
再看看zkRollup方案在Layer1的gas消耗。整個zkRollup方案的主要gas消耗為三部分:
TransactionRawData:在zksync中稱為pubdata。為了保證dataavailability,所有的Layer2的交易都會以裸數據的形式提交到Layer1。
Layer2Block管理:在Layer2提交區塊狀態時,Layer1維護著Layer2的區塊結構和狀態。
驗證Layer2Block狀態:在Layer2提交證明時,Layer1需要驗證狀態證明。
以一個區塊350筆交易,每個交易的TransactionRawData的大小為20字節為例,一個區塊處理的gas消耗:
雖然上述的數據不是精確值,但是足以說明交易原始數據在整個zkRollup方案中的gas消耗占比是非常高的。從這個角度看,Layer2的有些項目選擇通過其他鏈下的方式存儲交易數據。
Optimismvs.Arbitrum
OptimisticRollup兼容EVM。也就是說,Layer2支持可編程性,并且在以太坊上的程序幾乎無縫遷移。為了保證鏈上的狀態正確,這兩種方案都提供一段時間內的挑戰機制。挑戰者提供挑戰的證據,Layer1抉擇正確與否。
Optimism采用OVM執行Layer2交易。取名OVM是為了區分Layer1的EVM。因為提交到Layer1的狀態需要檢驗正確性,Layer1需要“重放”Layer2的交易,也就是說,Layer1在有些情況下需要執行OVM交易的執行。OptimisticRollup最復雜的地方也在于此,用EVM模擬OVM,并執行Layer2的交易。可想而知,在Layer1的EVM模擬OVM的執行是比較繁瑣,消耗較大的操作。
Arbitrum也是采用挑戰機制。為了避免挑戰的gas費用低,Arbitrum引入了AVM:
相對于EVM,AVM是一個相對簡單的虛擬機。Arbitrum在AVM虛擬機上模擬EVM執行環境。也就是說,所有的Layer2交易都是在AVM執行,交易的執行狀態可以用AVM狀態表示。在提交到Layer1的狀態有分歧時,挑戰雙方先將狀態分割,找出“分歧點”。明確分歧點后,挑戰雙方都可提供執行環境,Layer1執行相關操作確定之前提交的狀態是否正確。在Layer1挑戰的是AVM的狀態,分歧點的AVM的指令執行。
簡單的說,為了省挑戰的gas費用,Arbitrum采用了精簡的AVM,通過快速分割,在鏈上只需要執行一個指令,判斷狀態是否執行正確。Arbitrum介紹文檔中提到,整個挑戰需要大概500字節的數據和9w左右的gas。在AVM的基礎上,Arbitrum設計了mini語言和編譯器,模擬了EVM的執行環境,從而兼容EVM。
總結:
Layer2,相對于Layer1,在Layer1的基礎上提供更豐富功能,更好的用戶體驗。資金狀態確定性時長,安全性,可編程性是目前討論的焦點。zkRollup是資金狀態確定性最快的方案。optimisticRollup/側鏈具有可編程性。zkRollup支持EVM的證明是個期待的方向。
DeFi數據 1.DeFi總市值:742.35億美元 市值前十幣種排名數據來源DeFiboxDeFi總市值數據來源:Coingecko2.過去24小時去中心化交易所的交易量:21.
1900/1/1 0:00:00我們正處于Web3.0爆發的前夜,新概念、新項目層出不窮。但是,任何新技術的大規模應用都不會一蹴而就.
1900/1/1 0:00:00隨著投資者急于將他們的以太坊代幣存入ETH2.0存款合約,交易所的代幣數量已經下降至近3年內的低點。交易所持有的以太坊數量繼續減少,已經達到近三年來的最低位置.
1900/1/1 0:00:00注:原文作者是ビビドット(@vividot)。在這篇文章中,我將介紹稱為Uniswapv3LP自動化管理器的服務.
1900/1/1 0:00:00導讀:小水電站的春天已經不再。在電力行業,水電站有時候被看成一臺不知疲憊的印鈔機。但在四川投資小水電站十年后,張輝發決定在二手交易平臺閑魚上用6000多萬的價格把這座電站賣掉.
1900/1/1 0:00:00《100頁Metaverse元宇宙研報:科技巨頭內容硬科技新戰事,騰訊網易字節押注未來》報告著重剖析了如下問題:Metaverse元宇宙定義是什么.
1900/1/1 0:00:00