📜 [專欄新文章] 從 Rollups 來聊聊以太坊 Layer2 的演進
✍️ Kimi Wu
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
Photo by Clark Van Der Beken on Unsplash
去年 Defi summer 的熱潮後,以太上 Defi 應用呈現爆炸性成長,造就高昂的交易手續費,為了有更快的交易速度及可負擔的交易費用,人們對側鏈、Layer2 的需求更加強烈。Rollups 是 Layer2 的一種技術,在今年相當熱門,幾個耕耘已久的專案 zkSync、Optimism、Arbitrum 等也開始廣為人知。今天想來聊聊以太坊上 Layer2 技術的演進。
State Channel
state channel 最一開始是建立在 Bitcoin 上,最廣為人知的就是 lightning network。簡單來說,就是兩方在私下建立一條可以互相轉帳的通道,轉帳完畢後把通道關閉,接著將交易後的狀態更新到鏈上。若交易一筆後即關閉通道,那交易成本就跟在鏈上一樣,所以在實務上,通道一直開著(或是一段時間),交易數筆、數百筆後再上鏈更新狀態,藉此平均每筆的交易手續費就大幅降低。也因為只需通道雙方驗證交易內容,交易速度能大幅提升,讓小額支付能夠實現,就不需等10分鐘(Bitcoin)後交易才會被打包,甚至要等6個區塊的時間。而最早在以太上的 state channel 是 Raiden。
對於 Raiden 技術有興趣的可以參考這篇文章。
Plasma
Plasma 於2017年8月由 V 跟 Joseph Poon (Lightning Network的創始人之一)所提出,概念上是可以有鏈中鏈中鏈(就是Layer2 → Layer3 → … LayerN),藉此可達到百萬級甚至更高的交易量,不過概念太美好,沒人知道怎麼實作。
隔年1月 V 提出了 Plasma 的第一個版本 Plasma MVP,是以 UTXOs 模型的設計,接著3月提出了第二個版本 Plasma Cash,同年(2018)Plasma 的提案數呈現著爆炸性的成長(絕大部分都是基於 Plasma MVP 跟 Plasma Cash 做改進)(如下圖),強大的社群力量,讓大部分關鍵的問題在同年年底都找到了解答。也為之後的 Optimistic Rollup 打下了基礎。
而較著名的開發團隊,除了 EF 出來的 Plasma Group 外,還有 OmiseGo 跟 Matic(現在的 Polygon)。
對 Plasma 技術有興趣的,可以參考這篇、這篇跟這篇
https://ethresear.ch/t/plasma-world-map-the-hitchhiker-s-guide-to-the-plasma/4333
Plasma 看似一切美好,但因為資料的可取得性(data availability)的問題,使得在使用者體驗上有點糟糕。
Plasma 的所有交易資料都在 Plasma 鏈上,而 Plasma 鏈的礦工(即operator)只需繳交 Merkle root 到 L1 的合約作公證就好。因此若 operator 作惡,在 Plasma 鏈上交易者,就需有能力證明 operator 作惡。
在 Plasma 設計中有”所有者”的概念(UTXOs 的設計中,收款者需要到拿送款者的轉出證明,才能動用這筆款項,轉出證明只有收款人會擁有),如果該所有者不關心自己的資產,就可能造成資產無效的結果(account-based 的設計,若你不理你的帳號,別人一樣可以轉帳到你的戶頭中)。因此每個交易者須有能力自行提出證明,無法委託第三方。
而要證明這件事,用戶需要把 Plasma 鏈上的交易都下載下來,才能證明 operator 做了一件不合法的行為,也才能產生詐欺證明(fraud proof)到 L1 上的合約來證明 operator 作惡。而這個送出的詐欺證明,必需要被確保可以安全地送到 L1 上的合約被執行,因此需要有一段挑戰期,讓使用者可以下載及驗證資料(或是網路塞車造成詐欺證明無法被合約執行)。
題外話,Eth 2.0 light client利用了 ECC (Error Correction Code)的原理,所以只需要部分資料就可以驗證正確性。
Rollups
同年(2018) 9月,在支線專注隱私性的開發的 Barry Whitehat 提出了 zk Rollup,隨後 V 也在以太坊研究員論壇發了一篇文章,解釋 zk Rollup 是如何運作的,並以On-chain scaling to potentially ~500 tx/sec through mass tx validation 為標題,也因此開啟了 Layer2 新的一頁。隔年(2019)三月,Matter Labs 獲得了 EF 的 grant 將 zk Rollup 產品化,也就是大家所知的 zkSync。
所謂的 rollups,一樣是在 Layer2 上做交易,不同的是 L1 上會記錄每一筆的交易紀錄。什麼!如果每一筆交易紀錄都上鏈,跟一般 L1 交易有什麼不同?想了解細節可以看這篇。簡單來說,在合約裡用了一顆樹來記錄每個帳號的狀態,樹的第幾片葉子(index)代表一個帳號地址,因此帳號就從20 bytes 的地址變成了幾個 bytes 的 index。以 ZK Rollups 來說,交易都是在 Layer2 被驗證過的,所以簽章資訊(65 bytes)也不用上鏈,Optimistic Rollups 會利用簽章聚合的技術,數百個簽章最終會被聚合成一個。因此,交易資料從原本100多 bytes 變成了10幾個 bytes。因為交易紀錄都 ”放上鏈“,資料可取得性也就不是問題了。
”放上鏈”指的是利用 calldata 的方式放在鏈上,並非一般認知的寫進合約裡。非0值的 calldata 每 byte 需要耗費 16 gas,而合約寫進一個 32bytes 的資料需要花 20,000(新增) or 5,000(修改) gas,相當於每個 byte 的成本為625 or 156 gas,約為 calldata 的 40 or 10倍。
同年(2019)六月 John Adler 在以太坊研究者論壇提出了Minimal Viable Merged Consensus,也就是大家熟知的 Optimistic Rollups 的原型,接著 Plasma Group 基於John Adler 的提案,提出了 OVM,從此 Layer2 上除了單純的轉帳外,還可以執行合約,也奠定了 Rollups 在 Layer2 的地位,開啟 rollups 的新世代。
StarkWare 團隊建立了可評估的數學模型,驗證了 calldata 的成本從64 gas 降到 16 gas並不會對鏈的安全造成危害,提出了 EIP-2028(在 Istanbul 上線),也是推動 rollups 可行性的重要一環。
Validity Proof v.s. Fraud Proof
Optimistic Rollups 跟 ZK Rollups 最近有很多文章在介紹跟比較,這邊就不贅述。這邊想聊的是資料的有效性,這篇文章解釋地很好,這裏擷取部分敘述。ZK Rollups 保證了上鏈的資料都是正確的,資料必須被驗證過是合法的(例如沒有被雙花)才會改變使用者的狀態(例如 balance),跟現在各個主鏈的設計是一樣的,稱作有效性證明(Validity Proof),這種設計假設大家都是壞人,要通過驗證才會相信你,確認資料是百分之百的正確聽起來很理所當然,但是背後要維護資料的正確性,需要相當高的成本。
Optimistic Rollups 則是相反,假設大家都是好人,送上鏈的交易都接受,當發現有人作弊,再靠檢舉機制來更正狀態,這稱作詐欺證明(Fraud Proof)。這樣的機制系統維護成本較低(L1 上不需要驗證每一筆資料的正確性),但需要多一個爪耙子的角色來維護系統的安全,也就多一個系統潛在的風險。而要確保爪耙子有足過的時間反應,就不能讓使用者即時地離開系統,這是 Optimistic Rollups 最被詬病的一點,提款要等七天(現在有第三方流動性提供者,使用者可以請第三方流動性提供者預付使用者的提款。使用者支付手續費來換取快速提款的服務,而流動性提供者則承擔資產鎖住七天的風險來賺取手續費。不過在 protocol 層以安全性為主要考量,還是需要較長的挑戰期)。
ZK Rollups 的實作上,也有數個小時的提款期,不過那是基於成本考量,而非安全性。
此外對照於 Plasma, rollups 的設計是 account-based,交易也都公開在鏈上,每個人都可以參與監督及提出詐欺證明。
ZK Rollups v.s. Optimistic Rollups
ZK Rollups 從資料的有效性來看勝過 Optimistic Rollups,離開系統時不需要額外的挑戰期,能即時提款離開系統,不過付出的代價就是交易延遲上鏈。因為產生 zkp 證明需要龐大的運算量,產生一次證明,大約需要10 ~ 20分鐘,所以說在 Layer2 上做一筆交易,10分鐘後你的交易才是有 L1 的安全性。
為了能盡早得知發出的交易是否完成,實作上會把完成的交易先丟上鏈,等zkp 證明產生後再上鏈驗證其正確性,若驗證成功,則交易視同有 L1 的安全性。
但是在通用性上,Optimistic Rollups 沒有複雜的 zkp 電路的限制,對於合約的支援度上更好,而且 zkp(SNAKRKs)在使用前需要一個盛大的啟用典禮(trusted setup ceremony)。
zkSync
zkSync 1.0 在去年(2020) 六月上線,因為不能執行合約,使用的專案並不多。同年的年初,Matter Labs 已經默默在開發一種新語言 Zinc,是可以在 zkSync 上開發合約的語言。年底,與 Defi 專案 Curve 合作,發表了在 zkSync上可以跑基本版的 Curve(兩幣交換)。今年(2021)三月,Matter Labs 發表了令人振奮的消息,zkSync 支援 EVM!只需要部分修改現有的合約就可以部署到 zkSync 上,測試網今年五月已經上線,主網預計8月上線。不過目前測試網上的交易量非常地少,相信在初期還是有相當多問題或是困難,以短期來看,Optimistic Rollups 陣營的速度跟支援度略勝一籌,不過個人相信長期會是 ZK Rollups 的世代(私心認為 lol),但最終還是由生態系的大小來決定贏家。
在 ZK 這個陣線上有延伸出不同的設計,為了加快速度及減少上鏈成本,StarkWare 提出了 Validium 的概念,資料不上鏈但使用 zkp 確保資料的正確性,像是 StarkWare 的 Volition 跟 Matter Labs 的 zkPorter 都是同樣概念的實作,不過不是本篇的重點,就不多解釋。
ETH 2
V在2020年10月提出了 A Rollup Centric Ethereum,rollup 也因此進到 Eth2 的規劃中。Eth2 的設計中 shard chain 是資料層,而在 phase 2 後才有執行層(也就是才能執行合約),V 的提案 除了讓 shard chain 當資料層外,也會內建 rollups 的邏輯。至於會採用哪種 rollups 目前沒看到結論,不過 V 本人是傾向 ZK Rollups。如果成真,那未來數百個 rollups 之間的溝通,將會是另一個挑戰 。
專案比較
ZK Rollups 有目前這幾個較知名的專案: zkSync(Matter Labs)、 Hermez(Iden3)、 Loopring(Loopring)、 StarkNet(StarkWare)跟 Aztec(Aztec)。
Optimistic Rollups 目前幾個專案 Optimism(Optimisim,前Plasma Group 成員)、 Arbitrum(Offchain Labs)、 Fuel(Fuel)。
這是目前幾大 rollups 的生態系(今年3月時的統計),比較值得一提的是,Uniswap 團隊因為社群的投票,也將會在 Arbitrum 上面部署,對於整個 Arbitrum 的生態,相信有很大的影響。
https://www.chainnews.com/articles/872971457746.htm
感謝 NIC Lin 及 Chih-Cheng Liang 的審查跟建議。若有錯誤或不同觀點,歡迎指教。
從 Rollups 來聊聊以太坊 Layer2 的演進 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
同時也有311部Youtube影片,追蹤數超過61萬的網紅Dinter,也在其Youtube影片中提到,訂閱DinTer的頻道👉 https://goo.gl/CU6gp1 加入我的頻道會員👉https://www.youtube.com/Dinterlolz/join 精華實況時間 ►2021/08/27 實況VOD連結►https://youtu.be/SmnOJzyGOZw ►Prev上一部...
「liang lol」的推薦目錄:
- 關於liang lol 在 Taipei Ethereum Meetup Facebook 的最讚貼文
- 關於liang lol 在 MS Esports Facebook 的最讚貼文
- 關於liang lol 在 ahq e-Sports Club Facebook 的精選貼文
- 關於liang lol 在 Dinter Youtube 的最讚貼文
- 關於liang lol 在 TXO Creative Youtube 的最佳解答
- 關於liang lol 在 TXO Hanzo Youtube 的精選貼文
- 關於liang lol 在 [閒聊] Gao Tian Liang 天推特- 看板LoL - 批踢踢實業坊 的評價
- 關於liang lol 在 Liang 小亮 - Facebook 的評價
- 關於liang lol 在 [閒聊] BYG Liang 小亮FB貼文- 英雄聯盟 - PTT遊戲區 的評價
- 關於liang lol 在 Liang lol、微風單挑、微風飄逸跳樓在PTT/mobile01評價與討論 的評價
- 關於liang lol 在 Liang lol、微風單挑、微風飄逸跳樓在PTT/mobile01評價與討論 的評價
- 關於liang lol 在 [實況] dabian top / BYG Liang 小亮- LoL - PTT網頁版 的評價
- 關於liang lol 在 [閒聊] liang是不是過譽 - PTT 熱門文章Hito 的評價
- 關於liang lol 在 [實況] shaxiaola / BYG Liang 小亮- 看板LoL | PTT遊戲區 的評價
- 關於liang lol 在 ArtStation - KDA Akali, Alicia Wu Liang - Pinterest 的評價
- 關於liang lol 在 前往[實況] dabian top / BYG Liang 小亮- LoL - PTT網頁版 的評價
- 關於liang lol 在 [閒聊] Liang 小亮FB - 看板LoL - 台湾PTT论坛 的評價
- 關於liang lol 在 [閒聊] Gao Tian Liang 天推特 - PTT推薦 的評價
- 關於liang lol 在 教育學習補習資源網- liang的評價費用和推薦,FACEBOOK 的評價
- 關於liang lol 在 [實況] 小亮/Respect you know 【 BYG Liang 7/18 】 - 英雄聯盟 的評價
- 關於liang lol 在 [閒聊] Gao Tian Liang 天推特 - Mo PTT 鄉公所 的評價
- 關於liang lol 在 [閒聊] BYG Liang 小亮FB貼文 - PTT評價 的評價
- 關於liang lol 在 [實況] 小亮/Respect you know 【 BYG Liang 7/18 】 - PTT生活 ... 的評價
- 關於liang lol 在 [外絮] MAD Liang 小亮IG | LoL 看板| PTT 網頁版 的評價
liang lol 在 MS Esports Facebook 的最讚貼文
今天下午一點 英雄聯盟新北決賽開戰!
超負荷領軍的「吃藥吧!病友會」將對上AHQ在六都的一軍,擁有一級聯賽經歷的「SHARP Fighter」。
超負荷是否在上路對線又能贏過前MAD選手「Liang」呢?
最終會由誰取得勝利成為新北賽區的霸主呢?
精彩賽事絕不錯過!
⭕️SHARP Fighter vs 吃藥吧!病友會
📍 直播平台:
▪️Twitch:https://www.twitch.tv/upmedia_live
▪️HamiVideo:https://hamivideo.hinet.net/index.do
#六都電競
#六都電競爭霸戰
#MSEsports #上報
#英雄聯盟 #LOL
#新北賽區 #決賽
#超負荷 #Liang
liang lol 在 ahq e-Sports Club Facebook 的精選貼文
【Sharp Fighter x 六都電競 x 亞洲盃】
Benny:「與選手溝通,是教練的必修課」
Benny在今年一月從選手正式轉為教練
他認為從選手到教練,其中最大的差別在自身的心態與看比賽的角度
做為一名教練真正的困難點,是怎麼讓選手信服
這次他要以不同的身份,與曾經的隊友Liang、Rock並肩作戰
他也深信,這次Sharp Fighter的陣容組成就是來搶冠軍的
作為一名新晉教練,希望他能帶領隊伍旗開得勝!
#ahq #lol #SHARP #AEC #六都
liang lol 在 Dinter Youtube 的最讚貼文
訂閱DinTer的頻道👉 https://goo.gl/CU6gp1
加入我的頻道會員👉https://www.youtube.com/Dinterlolz/join
精華實況時間 ►2021/08/27
實況VOD連結►https://youtu.be/SmnOJzyGOZw
►Prev上一部影片 【DinTer】隊員看到丁特老闆都臭臉?召喚艾莉珍娜Janna SUP魔器+海鮮神石!風女輔助都能閃現進塔留人?!有看過輔助是MVP嗎?Ardent Censer+ Redemption! https://youtu.be/cXXM9LXrdkg
►More Highlight 更多精華 【DinTer】特哥會選擇打高端疫苗嗎?500萬台幣足夠當你的退休金嗎?病毒TP萬華我有什麼辦法?! https://youtu.be/LNo-pQTI4bo
更多丁特 More DinTer
►Facebook:http://www.facebook.com/DinTerlol
►Twitch:http://www.twitch.tv/dinterlolz
►YouTube:https://www.youtube.com/user/Dinterlolz
#Dinter
![post-title](https://i.ytimg.com/vi/0EJSUhENYYQ/hqdefault.jpg)
liang lol 在 TXO Creative Youtube 的最佳解答
《兄弟同心 共創奇蹟》
TXO是取自中文「同心」的英文TONGXIN縮寫。不論是遊戲內或遊戲外,只有團隊的大家都能團結一心,才能創造更大的力量。
《官方資訊》
►TXO 官方粉專:https://www.facebook.com/TXOCreative/
►TXO 官方 IG:https://www.instagram.com/txocreative/
►合作邀請:txoservice@txo.name
#新角色教學 #卡特蓮娜
#LOLM #激鬥峽谷
![post-title](https://i.ytimg.com/vi/UyHD1qNqXZQ/hqdefault.jpg)
liang lol 在 TXO Hanzo Youtube 的精選貼文
現任TXO Team中路
目前會在Facebook開直播喔,YOUTUBE會上傳一些傳說影片精華,希望大家能多多支持TXO跟我喔!
►綽號:成在(HANZO)
►年齡:20
►傳說ID:TXO Hanzo
►位置:主Call、中路
►賽事成績:第一屆校際盃冠軍、2017GCS夏季賽冠軍、2017AIC亞洲盃冠軍
FB:https://www.facebook.com/TXOHanzo
IG:https://www.instagram.com/txohanzo/
♥關於贊助 (不限金額可入群)
斗內方式︰
歐付寶:https://payment.opay.tw/Broadcaster/Donate/2A44C33CF64787E5A4FC98AF110B98BD
如果喜歡我的影片的話記得在影片下面訂閱或按讚喔~
如果想要鼓勵贊助我請衡量自身經濟能力喔!
斗內後可私訊我的臉書,會再將大大拉進屬於我的個人LINE群喔!
如有支付相關問題,請聯繫客服
歐付寶客服電話:(02)2655-0115
歐付寶客服信箱:services@allpay.com.tw
![post-title](https://i.ytimg.com/vi/HQtShlywkaQ/hqdefault.jpg)
liang lol 在 Liang 小亮 - Facebook 的推薦與評價
Liang 小亮. 11576 likes · 837 talking about this. 英雄聯盟職業選手兼實況主曾待過ahq HKE Mad Team 等隊伍目前在Beyond Gaming 擔任上路. ... <看更多>
liang lol 在 [閒聊] BYG Liang 小亮FB貼文- 英雄聯盟 - PTT遊戲區 的推薦與評價
[閒聊] BYG Liang 小亮FB貼文. 看板 Lol. 作者 Rolldadice. 時間 2021-10-31 01 ... ... <看更多>
liang lol 在 [閒聊] Gao Tian Liang 天推特- 看板LoL - 批踢踢實業坊 的推薦與評價
I'm coming to get yall.
And you. @G2jankos
#TESWIN
#LPL https://t.co/8t6MTEW6hC
我要來打敗你們所有人
還有你 煙口死
煙口死回覆
後來這個被轉到虎撲 我才知道原來小天的推特是小畢姐在管
台灣人沒牆下面回覆危險超好笑
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.139.239.113 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/LoL/M.1650514198.A.9D0.html
... <看更多>