感謝?MatterLabs?提出關于部分L1數據鏈上可用性的問題,我們一直以來都非常重視社區的聲音,并會根據社區的需求修改方案。因此,我們想借著這次機會向大家分享?ZKSwap?開發團隊辛勤工作所交付的產品背后的一些思考。
經過非常謹慎細致的思考之后,為了TPS和Gasfee的效率,我們決定將ZKSwap的L2轉賬放在鏈下。在ZKSwap的設計中,L1相關的數據在鏈上,L2相關的數據,比如轉賬和交易,存在鏈下。盡管存在鏈下,這部分數據也會被驗證者實時公布。
例如,L2區塊7831:
https://api.zkswap.info/block/7831/pub-data
三種轉賬類型
ZK-Rollup協議中,一個區塊可以包括三種類型的轉賬:
LayerZero Labs推出新項目Essence,允許快速啟動并運行驗證器:金色財經報道,互操作性協議Layer Zero的開發團隊Layer Zero Labs推出新項目Essence,可分離安全和運營負擔,允許任何人在1小時內啟動并運行驗證器(預言機和中繼),此前驗證器需要幾個月的時間來構建,并且需要整個開發團隊的支持。此外LayerZero Labs表示,這是通往v2之路的第一步,驗證者候補名單已經包括50多個實體。[2023/4/27 14:30:05]
類型1:來自L1的存款和創建AMM交易對的轉賬;
類型2:L2發起且只能被L1驗證的轉賬。比如,公鑰轉賬將需要L1簽名來確保L1賬戶的密鑰所有者能將他們的賬戶與L2賬戶關聯起來,因為電路不能檢查確認L1的簽名;
類型3:由L2簽名驗證而無法被L1驗證的轉賬。
以太坊Layer2總鎖倉量跌至47.5億美元,7日跌幅13.99%:金色財經報道,據L2BEAT數據顯示,當前以太坊Layer2總鎖倉量跌至47.5億美元,7日跌幅13.99%。
其中,鎖倉量前五分別為:Arbitrum(24.7億美元,7日跌幅13.84%);Optimism(13.4億美元,7日跌幅16.44%);dYdX(4.64億美元,7日跌幅0.81%);Loopring(1.43億美元,7日跌幅16.52%);Metis Andromeda(1.14億美元,7日跌幅17.53%)。[2022/9/19 7:05:48]
ZKSwap安全模型
一個區塊內記錄的L2轉賬在L1上只有部分記錄。只有區塊信息的總結會被記錄在L1鏈上,例如區塊哈希、新默克爾根、區塊高度等等。
GAMEE與Layer2協議ImmutableX達成合作,用戶鑄造NFT與交易無需Gas費:4月23日,游戲平臺GAMEE宣布與Layer2協議ImmutableX達成合作,用戶鑄造NFT與交易無需Gas費,且不影響自我托管、去中心化及主流領域擴展。此外,任何在ImmutableX上鑄造的GAMEENFT都是100%碳中和的。[2021/4/23 20:52:39]
當一個區塊的轉賬被提交到L1上,區塊就被創建出來,區塊哈希會被驗證。由于以太坊內建了sha256算法,所以區塊哈希通常也使用sha256進行計算。
為了保持數據可用性,所有的轉賬數據都應該被提交到L1上,這被稱為「公開數據」。一筆轉賬的公開數據與其在L2上的轉賬并不完全相同。系統在進入「退出模式」時將使用公開數據,這樣任何人都能恢復最近的經過驗證的默克爾樹。
動態 | Layer 2 擴容項目Celer Network上線狀態守衛者網絡:據Medium消息,2 月 15 日,Layer 2 擴容項目 Celer Network 團隊發布狀態守衛者網絡(State Guardian Network,SGN)的開源版本,這是項目 cEconomy 的主要組成部分。根據公告,團隊正在對所有的開源代碼進行獨立的外部安全審計,并將很快發布 bug 獎勵方案,以鼓勵公眾反饋和審計,此外,更多的附加功能也在開發或計劃中。[2020/2/15]
電路
L2的電路與L1的智能合約能夠協同工作,確保ZK-Rollup協議的功能性。L2的電路保證了以下幾點:L2轉賬簽名正確、L1/L2轉賬執行正確、區塊信息計算正確、及時有效地更新賬戶信息——包括默克爾根、賬戶默克爾樹和費用信息等等。
雙驗證模式
驗證模塊對與安全性來說十分重要,是ZK-Rollup協議的基礎。
公開數據驗證——驗證第一類和第二類轉賬的內容和次序。例如,驗證存款需要確保存款數額和信息與L1上記錄的相同,并且順序無誤。
區塊驗證——驗證一個區塊里的轉賬被正確執行,并且L2的賬戶默克爾樹根被及時恰當地通過零知識證明進行更新。當一個區塊被驗證之后,更新的默克爾根就取得了最終性。
總結來說,整體的安全假設如下:
·一個區塊的所有轉賬公開數據在鏈上;
·驗證一個區塊中第一類和第二類轉賬被正確執行;
·證明一個區塊內的所有轉賬被正確執行、賬戶默克爾樹被正確更新、一個區塊內的所有轉賬的公開數據能夠匹配;
·證明該區塊內所有公開數據都被正確計算;
·提交給L1的區塊公開數據與零知識證明系統所證明的數據相同。
公開數據不上鏈時會發生什么?
如果公開數據不在鏈上,安全假設「提交給L1的區塊公開數據與零知識證明系統所證明的數據相同」就不能被驗證。這時候,當L2的零知識證明系統陣營所有轉賬都被正確執行、默克爾樹都被正確更新時,只能說明一個區塊內的轉賬有效,而不能證明來自特定區塊的其他轉賬。
大多數第三類轉賬都是安全的,但是對于提現操作來說,提現的收款人未經驗證,不能被零知識證明系統證明。
對于第一類轉賬來說,所有可能的第一類轉賬都能被證明,但不能被驗證。類如,零知識證明系統能證明一些非L1發起的存款轉賬。
由于只有驗證著能提交公開數據或者區塊證明,所以社區必須信任驗證者是誠實的。當驗證者誠實時,以上所有的風險都不會存在。對ZKSwap來說,所有公開數據都在瀏覽器中同步公布,任何人都可以驗證公開數據和任何鏈上區塊。
將公開數據存在鏈下不是一個草率的決定。這個選擇背后的主要原因是降低Gas費和提高可擴展性。
Gas費用
保持ZK-Rollup協議運行的一個痛點是Gas。為了向L1提交一個區塊,需要消耗以下GasLimit):
一個區塊中,最多可以包括120筆交易轉賬。
如果要在L1提交驗證一個區塊,需要消耗大約23萬GasLimit,calldata費用約占31%。
可擴展性
可擴展性是另一個考慮因素。假設一筆L2轉賬消耗1850.7Gas,那么ZKSwap將消耗10%的以太坊Gas,整體TPS將在51.5。
這是在只有交易、沒有提現的情況,所以正常使用中將消耗更多Gas,TPS會更低。
結論
保護用戶資金安全對所有區塊鏈項目來說都很重要,也是ZKSwap的核心價值。當轉賬的公開數據沒有提交上鏈時,安全性就依賴于零知識證明電路。當驗證者誠實時,用戶的資產就是安全的。從技術角度來說,如果驗證者不誠實,安全性將會是一個問題。這是降低Gas、提高TPS的一個權衡。
考慮到Gas消耗和可擴展性,ZKSwap做了一個艱難的決定,將公開數據不上鏈,換來對L2用戶更高的TPS和更低的Gas消耗。
我們愿意傾聽開發者和用戶的反饋,讓ZKSwap系統更好。我們也可以在任何時間將所有數據上鏈。事實上,在發布ZKSwap之前,我們已經實現了100%數據可用的版本,所以我們可用隨時升級至這個100%ZK-Rollup的版本,提供更高的Gas消耗、更低的TPS,但是更安全。
Tags:GASZKSSWAPZKSwapuGAS-JUN21 Token Expiring 30 Jun 2021zks幣銷毀機制PantherSwapzkswap幣未來價值
金色周刊是金色財經推出的一檔每周區塊鏈行業總結欄目,內容涵蓋一周重點新聞、行情與合約數據、礦業信息、項目動態、技術進展等行業動態。本文是其中的項目周刊,帶您一覽本周主流項目以及明星項目的進展.
1900/1/1 0:00:00澳大利亞CPA委托撰寫的一份44頁的報告深入研究了全球央行數字貨幣的發展狀況,探討了未來幾年托管CBDC的可行區塊鏈候選方案,同時對三種交易量最大的加密貨幣比特幣、以太坊和XRP進行了評估.
1900/1/1 0:00:00目錄 一、一周縱覽? 1、國內動態? 2、國際動態? 二、投融資概況? 三、國內外行業要聞? 1、國內政策導向? 2、國內產業動態? 3、國際監管動態 4、國際產業動態? 一周縱覽 國內動態1、.
1900/1/1 0:00:00早春三月,萬物復蘇。加密貨幣行業迎來了久違的牛市。但不久之后,拜登可能不得不去解決一場“比特幣之戰”,雖然目前還沒有開始,這屆美國政府的最終決定或許會對加密貨幣行業產生深遠影響.
1900/1/1 0:00:00最近,NFT很火,為了追熱點,于是寫了這篇文章。針對NFT熱潮,萊特幣創始人李啟威發推表示:2021年的NFT和2017年的1CO、2013年的山寨幣之間有很多相似之處.
1900/1/1 0:00:00當地時間3月5日,美國比特幣礦業公司CipherMiningTechnologiesInc.和一家SPAC公司GoodWorksAcquisitionCorp.共同宣布.
1900/1/1 0:00:00