比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

如何理解 layer 2 數據可用性解決方案 ZK Rollup?_LASM

Author:

Time:1900/1/1 0:00:00

作者注:ZKRollup不是一個新的提案,大約在一年前被BarryWhitehat所提出,同時間Vitalik在以太坊研究員的論壇有一篇比較完整的文章解釋,現在由MatterLab在開發。研究完zk-SNARKs之后,一直沒空來看,直到最近才有機會來深入了解。除了ZKRollup,也會簡單帶一下前陣子在PlasmaGroup所提出的OptimisticRollup。

ZKRollup一開始提出來的時候,是被定義為layer2的解決方案,年初的時候一度以PlasmaIgnis這個名稱作為發表。應該是因為去年Plasma很紅,一直不斷有新的提案跟進展,加上這當時也被定義為layer2的解決方案,這些種種原因,開發者就冠上了Plasma的名稱,不過因為這項技術跟Plasma的精神完全不一樣,被社群抗議,后來就恢復到Rollup這個名稱,所以搜尋‘PlasmaIgnis’會找不到什么東西。到最近,Rollup被更名為semi-layer2的解決方案,就是有一點layer2但又沒這么layer2…XD

簡單一句話解釋ZKRollup就是,數據放在鏈上的layer2解決方案。

Stargate DAO成員在社區會議上討論如何處理即將收到的160萬枚ARB:3月30日消息,Stargate DAO成員在周三社區電話會議上討論如何處理160萬枚Arbitrum(ARB)代幣的預期分配,這些代幣價值不到200萬美元。LayerZero Labs的員工MaxPower表示,這些代幣尚未收到,但當收到時將必須決定是否持有、出售、部署或委托這些代幣。

一些與會者建議,DAO應該將ARB代幣分發給用戶,或將其部署為流動性激勵。與此同時,其他治理代幣持有者建議委托ARB代幣,以便Stargate DAO可以參與Arbitrum治理。

據DeFiLlama的數據,Stargate的總鎖定價值(TVL)為3.64億美元,其中近22%來自Arbitrum平臺。(CoinDesk)[2023/3/30 13:34:35]

在了解ZKRollup之前,先來解釋原本layer2有什么問題。以Plasma為例,Plasma鏈只把Plasma區塊的hash放上Ethereum主鏈上做公正,也就是在鏈下交易了數百或數千筆的交易,最后上鏈只有幾十個bytes,這是鏈下交易的精神,但也是設計上最麻煩的地方——數據的可取得性。

邁阿密市長:正探索如何接受比特幣納稅:金色財經報道,邁阿密市長Francis Suarez表示,該城市正在探索如何接受使用比特幣進行的納稅,從而在采用比特幣方面邁出下一步。根據市長的說法,市政府官員已經開始立法程序,有朝一日允許使用比特幣支付稅款、費用等。[2021/9/29 17:13:51]

就是當有人要離開這個鏈時,需要一個額外的游戲規則,在Plasma叫做挑戰期,這衍生了有數據才能挑戰,所以大家都要存一定數量的數據,相較于跟主鏈的互動,只需要裝一個錢包,并不需要下載區塊數據,用戶體驗上差異很大。挑戰期的另一個問題是,使用者需要保持上線狀態,不然錯過挑戰期,就代表默認了交易。簡單來說,因為數據的可取得性問題,衍生了

使用者需要常常在線

需下載部分數據

而造成使用者體驗很糟

如何將數據放在鏈上,又不會造成數據過大呢?

首先,先介紹整體架構。跟Plasma一樣,有一個智能合約做擔保,有中繼者(relayer)幫忙送交易到智能合約,中繼者除了送交易外,還需要產生SNARK證明,一起送上鏈做驗證。

觀點:無論與SEC的訴訟結果如何 對Ripple而言都不是致命打擊:1月27日消息,針對美國SEC對Ripple發起的訴訟,律師Jeremy Hogan表示,如果訴訟最終對Ripple有利,在訴訟結束時,XRP價格將上漲2至3倍將只是一個“保守估計”。無論訴訟得出什么結論,對Ripple來說都不是致命的打擊。如果訴訟結果不佳,導致Ripple關閉,XRP可能會歸零,但這種情況不太可能發生。因為Ripple是一個技術公司,不太依賴實物資產運營。最糟糕的情況可能是其商業模式遭破壞,最終可能退出美國市場。Jeremy Hogan稱,SEC訴訟最可能的結果將是雙方達成和解。SEC可能會對Ripple包括其2013-2014年度(甚至2015年)的業務處以巨額罰款,以及對托管XRP銷售業務進行某種控制或限制。(AMBCrypto)[2021/1/27 21:48:59]

智能合約的部分,可以想象跟ERC20一樣,在合約里記每個參與者的帳,差別在于,標準的ERC20交易是由Ethereum這系統做驗證,也因此不能合并,而Rollup中,是把好幾筆交易包成一個標準交易,對Ethereum這個系統,就是一個交易,而驗證交易的有效性則由智能合約做驗證。

直播 | 小鳳仙 > 交易所如何助力礦業發展?:金色財經 · 直播主辦的《 幣圈 “后浪” 仙女直播周》第4期今晚20:00準時開始,本期“后浪”仙女Aex CMO 小鳳仙將在直播間聊聊 “交易所如何助力礦業發展”,感興趣的朋友掃碼移步收聽![2020/6/9]

實際在智能合約里,用兩個merkletree做紀錄,一棵樹是紀錄地址,所以只需要樹的索引值就可以代表一個地址,因此地址的數據量就從原本的20bytes減少到只有3bytes,另一棵樹則記錄balance跟nonce。

-地址的默克爾樹-

這是數據格式,

因為用索引值當地址的代表,所以只需要3bytes,Value的部分是以10^-6當作基底,這樣只需要15bytes就可以代表一筆交易,而儲存這樣一筆交易大約只需要892gas,而一般ether的轉移需要21Kgas,因此交易速度能提升。

動態 | EOS社區在如何使用eosio的資金上存在分歧:據Coindesk消息,EOS區塊鏈上的eosio.saving賬戶余額不斷增加,價值接近1.92億美元。EOS社區對如何處理這些資金存在分歧。EOS核心工作小組的成員希望看到這些資金被用于造福社會。然而,也有明顯的聲音,敦促社區關閉WPS,取消其資金來源,“燒掉”或銷毀目前在eosio.saving帳戶中的所有Token。[2018/8/27]

-https://vitalik.ca/general/2019/08/28/hybrid_layer_2.html-

為什么交易速度能提升?也順便來了解一下交易速度

現今以太坊每個區塊的gas上限約8M,所以若單純ether交易,速度約略是

8M/21K/15~=25tps

所以現在的交易瓶頸其實是gas的問題,下降交易手續費或是提升區塊gas上限,都能適時紓困,而ZKRollup就是藉由交易數據量(size)的減少,進而能增加交易速度。那來看一下使用ZKRollup后交易速度能到多快

(8M—600K(zk-SNARK驗證)—50K)/892/15~=550tps

這個數字就是Vitalik文章的標頭“On-chainscalingtopotentially~

500tx/sec”。但實際上并沒有這么理想,在作者Barry的實作中,大約只有268tps,因為每次資產的更新都會留下event,所以有多余的gas花費,然而,這樣的設計在應用上也是比較親切的。

數據都在鏈上,而且透過zk-SNARK做驗證,代表著上鏈的數據都是被驗證過的,因此就沒有一開始layer2遇到的問題,需要挑戰、需要下載數據等等。這也隱含著不需要信任中繼者,因為他們無法作壞,最多就是不幫你送交易。

事情沒有這么美好…

大家都覺得zk-SNARK像個萬靈丹一樣,用了好像什么事都解決了,不過實際上并沒有這么完美。zk-SNARK除了需要初始設定之外,最大的問題就是需要大量的運算力,在Barry提供的數據中,中繼者的計算機若是一臺8G內存加上20G的硬盤swap,大概只能產生20tx/sec,遠遠不及預期的500tps或是實作的200多tps。所以這個方案最大的問題在于要怎么解決算力問題。

平行運算!

MatterLab使用了多中繼者模型跟平行運算。多中繼者的模型,很像小型的區塊鏈,使用了DPOS(DelegatedProofofStake),還有隨機挑選區塊產生者,所以被挑選到的區塊產生者,就可以收集交易、產生證明并且上鏈。這樣的方法避免了中心化,若中繼者被惡意攻擊,整個網絡還是能運作得下去,另一方面,也為平行運算做了鋪路。零知識證明的產生非常花時間,因此基于多中繼者模型,MatterLab提出了“上鏈-驗證”兩階段的方式,也就是中繼者先把數據上鏈,下一個階段再上傳證明做驗證,進而達到平行運算。再加上一些數據的優化,測試結果可達到1600tps。

-https://medium.com/matter-labs/introducing-matter-testnet-502fab5a6f17-

延遲…

聽似很美好,但是因為你的交易被分兩階段上鏈,也就是從送出到到被驗證,會是好幾個區塊,時間比原本單純上鏈時間會更久。當然,延遲多久是使用者可接受的,這目前也無從得知。這是一個取舍,省了手續費,增加了交易速度,卻也增加了時間的延遲,這一切也要等上線后才會知道。

今年初,Vitalik在臺北的線下聚會中分享了ZKRollup的進階版—ZKZKRollup,有興趣的人可以參考這篇文章,記錄的很詳細。

Plasma&OptimisticRollup

OptimisticRollup在設計上跟Plasma相關,所以只會簡單帶一下差異。

Karl基于ZKRollup的設計,在上個月提出OptimisticRollup,概念上也是把數據都放鏈上,但不是用zk-SNARK做驗證,因為希望能達成更普遍性的應用。而不一樣的地方有,把from的部分,改為使用者的簽章,因為數據量變大的,可想而知,花的gas會更多,交易速度就會不及ZKRollup。另一部份是,因為不是用zk-SNARK做驗證,就需要數據驗證的輔助方法,這邊就不詳細介紹,有機會再寫一篇Plasma/OptimisticRollup的詳細介紹。

在估算上,交易速度約是100tps,若簽章方式改為BLS,約可提升到450tps。而在10月的硬分岔后,gas會下降,預估的交易速度也會分別到達400/2000tps。

注:在中文的媒體文章中,都稱他是Casper的核心研究員之一,但是從我一開始知道這個人,都是在大力宣揚Plasma,他的部落格、twitter都是跟Plasma相關的文章,不確定他在PlasmaGroup的角色,但我是把他定位成PlasmaGroup的leader

文章內容若有錯誤或是不同觀點,歡迎指教

references:

On-chainscalingtopotentially~500tx/secthroughmasstxvalidation

IntroducingMatterTestnet

OptimisticRollup

Tags:ROLROLLLASMLASHydroLinkTROLL價格LASM價格CLASS幣

幣安app官網下載
交易所接入閃電網絡交易,是時候了嗎?_XRP

比特幣布道者PierreRochard在推特上發起了一項投票,討論了閃電網絡是否適合用于加密貨幣交易所的比特幣交易.

1900/1/1 0:00:00
彭博社:比特幣的價格受Tether增發影響顯著_ETH

據彭博社報道,美元穩定幣Tether對今年比特幣價格的影響已經變得越來越清晰。報道援引TokenAnalyst的研究數據稱,在Tether代幣增發的日子里,比特幣價格上漲的天數占到70%.

1900/1/1 0:00:00
多次被傳受監管調查的“區塊鏈騙局”趣步,此次已被正式立案_ETH

據長沙市人民政府的官方網站顯示,長沙市經開區已于9月17日在市民信箱中明確回應稱,“趣步”公司及“趣步”項目涉嫌網絡傳銷、非法集資、金融詐騙,長沙市工商局經開區已立案調查.

1900/1/1 0:00:00
前CFTC負責人提出基于區塊鏈的數字美元計劃_GEN

10月17日巴比特消息,因擔心美元地位受數字人民幣及Libra的沖擊,兩位前美國商品期貨交易委員會負責人提出了建立一個由政府批準的、基于區塊鏈的數字美元計劃.

1900/1/1 0:00:00
加密貨幣的救命草,土耳其的大國夢_OIN

文/易柏伶 出品/火星傳媒 土耳其政府終于宣布入局區塊鏈了。9月18日,土耳其工業和技術部在安卡拉發布了《2023戰略》.

1900/1/1 0:00:00
Bitfinex否認“操縱市場”,或將對指控提起訴訟_HER

周六加密貨幣交易所Bitfinex官方發布公告稱,加密社區中一些人對其操縱市場的指控“毫無依據”.

1900/1/1 0:00:00
ads