原文標題:L2-理解和思考
Layer2是個大的話題。是否去中心化,是否安全,資金狀態確認時間是Layer2的主要的討論話題。最近有點時間,總結一下Layer2的理解和思考。
Layer2交互模型
Layer2,相對于Layer1,在Layer1的基礎上提供更豐富功能,更好的用戶體驗。抽象一下Layer2的邏輯以及交互模型如下:
除了Layer1的交易外,其他Layer2的交易都在Layer2執行。為了Layer2在必要時恢復交易狀態,所有Layer2的交易數據需要安全存儲。簡單起見,也為了和Layer1保持一樣的安全性,所有Layer2的交易數據一般存儲在Layer1。這種交易數據的隨時可訪問,稱為"DataAvailability"。所有的Layer2交易都在Layer2執行,并同步到Layer1。如何證明Layer2同步的狀態正確,不同的layer2方案有不同的實現方法。
Hedera網絡的ChatGPT插件上線,用戶可以通過Network Explorer查看帳戶余額:金色財經報道,Network Explorer開發人員EdMarquez表示,用戶可以通過Network Explorer查看帳戶余額,或通過插件將使用的鏡像節點RESTAPI以編程方式檢索帳戶余額。通過使用插件,ChatGPT與Hedera網絡的集成允許從Hedera賬戶檢索HBAR和代幣余額。[2023/6/25 21:59:21]
Layer2實現分類
從Layer2狀態同步方式,Layer2分為兩類:一類是側鏈實現,一類是Rollup。側鏈,就是通過不同于Layer1的共識進行Layer2狀態向Layer1的同步。僅從這一點,整個側鏈的安全性,就降低到Layer2的共識的安全性。Rollup又分為兩種:一種是zkRollup,一種是OptimisticRollup。所謂OptimisticRollup,樂觀性Rollup,期望絕大多數情況下Rollup正確向Layer1同步狀態。同時,為了防止同步錯誤的狀態,提供了挑戰機制。樂觀預計挑戰的機率比較小。在需要挑戰的情況下,Layer1可以判斷正確狀態。zkRollup是最直接的狀態同步方式,通過零知識證明技術,在向Layer1提交狀態的同時提供狀態變化的證明。Layer實現分類如下:
Uniswap 基金會發布跨鏈橋評估報告,批準 Wormhole 和 Axelar 用于其協議治理:6月16日消息,Uniswap 基金會發布了跨鏈橋評估報告,該基金會聘請了九位專家組成的小組來分析六個跨鏈橋,在涉及代碼評估和與跨鏈橋團隊直接互動的全面審查之后,委員會批準了 Wormhole 和 Axelar 用于 Uniswap 的協議治理的特定用例,LayerZero、Celer、deBridge 和 Multichain 暫不符合基金會的標準,該報告保留了在未來更新后重新評估某些協議的可能性。[2023/6/16 21:40:39]
zkRollup,按照采用的零知識證明協議又分為三類:1/Groth162/PLONK3/STARK。Groth16協議需要針對每一個電路進行初始設置(TrustedSetup)。PLONK協議在一定規模下的電路只需要一次初始設置。STARK協議不需要初始設置。但是,相對另外兩種算法,STARK協議,證明數據量大,驗證時間長。相對來說,在Layer2的場景下,PLONK是目前廣泛使用的算法。
FTX黑客將約3萬枚BNB兌換為ETH和BSC-USD,并跨鏈至以太坊網絡:11月17日消息,據派盾預警監測數據,被標記為FTX Accounts Drainer 1的FTX黑客地址已經收到約6,079.22枚ETH(約724萬美元)。該地址目前持有241,471.67枚ETH(約2.87億美元),成為第31大ETH持有人。
此外,FTX Accounts Drainer地址在BSC上持有44,288.93枚BNB(約1170萬美元)和約168萬枚DAI。FTX Accounts Drainer 0xd73aC地址已將約3萬枚BNB兌換為2,001.5枚ETH和約500萬枚BSC-USD,并將約1,900枚ETH和約499.9萬枚BSC-USD跨鏈至以太坊網絡。[2022/11/17 13:17:39]
STARK協議和SNARK(Groth16/PLONK)協議比較:
https://github.com/matter-labs/awesome-zero-knowledge-proofs
Azuki交易總額突破8億美元:9月13日消息,據NFTGo.io數據顯示,Azuki交易總額已突破8億美元,截止目前達到8.0514億美元,市值為3.3927億美元,當前地板價為6.84 ETH,24小時跌幅約1.58%。[2022/9/13 13:26:50]
總結一下,從安全性角度看,各種Layer2的排序如下:zkRollup,optimisticRollup,側鏈。從提現的時間也印證了安全性,zkRollup的提現是分鐘級別,其他兩種方案,小時甚至是天級別。zkSync是比較完善的zkRollup開源項目,zkRollup,雖好,目前存在很大的缺陷:可編程性差。
細看zkRollup
相對其他Rollup方案,zkRollup方案多了zk證明系統。也就是說,在Layer2每個交易除了“執行”外,還需要生成證明,證明執行過程的正確性。熟悉零知識證明技術的小伙伴都知道,零知識證明的安全性在于”電路“的安全性。對于Layer2,每種交易的處理”固化“為電路,電路邏輯完全公開。對應于每種電路,存在唯一的驗證秘鑰。驗證秘鑰用在Layer1驗證狀態證明。通過驗證的狀態證明,符合固化電路的邏輯。
DeFi資管平臺Bella Protocol完成對隱私計算項目ARPA持有者的BEL空投計劃:8月26日消息,DeFi資管平臺Bella Protocol宣布完成了針對隱私計算項目ARPA持有者的BEL空投計劃。此前,Bella Protocol基金會于2020年9月決定將200萬枚BEL代幣每季度分八輪分發給ARPA持有者。[2022/8/26 12:50:27]
關鍵就在于Layer2交易的執行和固化電路語義是否一致。公開電路就是一種共識方式,供所有人查閱電路邏輯。簡單的說,為了實現zkRollup,需要實現Layer2執行對應的電路。事實上,電路的實現相對復雜,沒有高級語言,很多情況下都是手寫R1CS。進一步,為了利用zk證明系統,為了優化電路的實現,整個Layer2的狀態經常優化為電路友好結構。所以,zkRollup的系統需要考慮電路的結構,從而約束了Layer2交易以及賬戶模型。細心的小伙伴可以發現,不管是zksync/zkswap/loopring,都只實現了特定交易場景。
反過來說,如果需要通過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的證明是個期待的方向。
原標題:深潛:Layer2的新晉者們比特幣奠定了一個去中心化和點對點數字資產的基礎,旨在用一種獨特的經濟安全模型來修復破損的國際貨幣體系,這種經濟安全模型無國界、無需信任、不受審查.
1900/1/1 0:00:00全球信用卡巨頭Visa周三表示,今年前六個月,全球消費者通過加密相關卡在商品和服務上花費了超過10億美元的加密貨幣。 相比之下,Visa估計去年同期和2019年的加密支出僅為該金額的一小部分.
1900/1/1 0:00:00中本聰結合多位朋克社群的既有想法創造了比特幣,其背后的科技和概念并非均為創新,但其利用密碼學等控制幣的發行和管理的想法帶來了創新改變.
1900/1/1 0:00:00今年4月,以跨鏈技術為核心的Kava完成了第5次主網升級,其生態明星應用HARD貨幣市場也正式升級到了V2完整功能版本,自上線以來.
1900/1/1 0:00:00金色財經區塊鏈7月12日訊?想必大家對今年早些時候Facebook的數據泄露事件還記憶猶新。就在今年4月,有5.33億Facebook用戶的電話號碼、全名、電子郵件地址和位置信息被分享到一個黑客.
1900/1/1 0:00:00第一節研報要點 LUSD具有超額抵押穩定幣里最優秀的機制,雖然上線時間不足3個月,但是其機制的有效性已經完全得到驗證.
1900/1/1 0:00:00