本文比較長,一共七個部分:
通俗的方式理解 zkrollup 和 optimistic rollup
Plasma 的簡單歷史
數據可用性
派系之爭 op
派系之爭 zk
Immutable X
結論
Layer 2 沒有區塊的概念其實,也沒有節點,也不需要共識機制,所以在 Layer2 方案的區塊瀏覽器上,其實看不到區塊的。現在去看 Arbitrum 的瀏覽器,還有一個 Bk,Block,仔細看看每個區塊其實就是每個交易,具體請看截圖。Layer 2 的運營者只負責把交易排個順序然后拿去處理。而區塊鏈的關鍵之處就在于對交易的排序工作。
比如知名的三明治攻擊其實就是排序攻擊。你要發起一筆交易,付了50刀 Gas 費,有人發現了這筆還沒處理的交易(在 Mempool 里面),然后花100刀 Gas 費,做兩筆交易,一筆是跟你一樣的買你要買的幣,第二筆就是把買到的幣再賣給你。先買的價格低,后買的價格高。所以對方就用兩筆交易把你的交易夾在中間,先把你要買的幣買了,然后再提高價格賣給你。
你感受到的最后變貴了,交易的滑點,就是對方的利潤。這個和 Uniswap V3 的精準單點流動性提供是一個意思(Just-in-time Liquidity)。
了解了交易這個排序的重要性之后,兩個 Layer 2(zk 和 op) 方案的區別簡單理解。
為了防止對 zk 和 op 不熟,再說一遍這兩個的區別:
Zk 是零知識證明,先證明是沒問題,然后再把數據傳到主鏈。先查后干。
Op 是樂觀接受,先把數據處理了傳到主鏈,再等人來挑戰,一周時間內沒人證明是錯的,那就是對的。干完再查。
Jump:Celer cBridge曾存在一個威脅1.3億美元資金的Bug,已聯系該團隊并成功修復:5月24日消息,Jump官方發推稱,在Celer cBridge協議中存在一個關于雙重投票的Bug,該Bug有可能導致超過1.3億美元的資金面臨風險。
Jump私下已向Celer團隊反饋了這個問題,Celer團隊已修復了該Bug,沒有發生惡意利用。[2023/5/24 22:15:09]
換個通俗但是不嚴謹的方式理解。
既然排序那么重要,那負責排序的就說了:我現在給你兩條路,一條呢是你就聽我的,一大堆交易給我我來排序,處理完我把處理的結果關鍵數據傳到主鏈。你們要是對數據有意見有想法,我給你們一周時間,找到證據,反正原始的交易數據都在(這個就叫做數據的可獲得性,data availability),你們自己核對,有問題就舉報我,或者覺得我搞錯了舉報。要是你們挑戰成功,主鏈也會給你們解決問題。這樣只要我不出問題,我處理起來的速度就賊快。排序嘛,多簡單。
第二條路呢,就是我好好干,每一次排序交易處理我都記錄一個證明,然后傳到主鏈的交易都有一個證明。這樣任何交易任何人任何時候都能夠隨時保證我干的工作沒問題。但是缺點就是,每次我都要處理完事搞一個證明,這樣很累。所以速度就會很慢,而且越是復雜的處理邏輯,我干的就越慢,這個你們要理解。
看完上面你應該你對兩個二層協議的方案有了一個大概的認知,如果還不懂也沒關系,后面還會更詳細的說。在此之前,先講講過去沸沸揚揚的 Plasma 的擴容之路。
稍微過一下 Plasma 的歷史。其實一開始以太坊在 2017 年的最火熱的時候就很堵,那時候就已經有關于擴容方案大量討論的了。Plasma 是第一個受到非常大關注的方案。因為提出人是 V 神,還有來自 Lightning 的 Joesph Poon。
分析師Willy Woo:預示比特幣上漲的下一個關鍵事件是BTC與傳統市場脫鉤:3月19日,加密貨幣分析師、Adaptive Capital數字資產合伙人Willy Woo發推稱,很多圖表顯示比特幣價格都將上漲,下一個關鍵事件是BTC與傳統市場脫鉤。Willy Woo稱,并不希望出現V形底部,且他認為在上漲之前,比特幣將會進行一段時間的積累。此外,Willy Woo給出的圖表有黃金和比特幣與標普500指數關系圖表、比特幣礦工能源比率圖、比特幣挖礦難度圖、比特幣鏈上消耗產出價格比率圖表,Willy Woo稱這些圖表均顯示比特幣看漲。[2020/3/19]
第一個版本的 Plasma 叫做 Plasma MVP(Minimal Viable Plasma)。這個版本肯定是行不通失敗了。第一個版本大概就是把一大堆交易按照特定的規則排列,然后一起處理(其實后續的改進很多都是對這些一批次一批次交易的數據存儲結構做改進)。
那么 MVP 的問題在哪里呢?還記得上面說的負責交易排序的人嗎?這個人在二層協議里就是操作員,二層協議需要考慮到操作員作惡的情況。所以 zk 是操作員每筆留下一個證明,op 是操作員有一段時間的被挑戰期。MVP 的問題在于:
挑戰期依然存在,一周;
如果考慮到操作員作惡,發起挑戰的時候需要把所有(注意,是所有,不是沿著默克爾樹驗證一條線)的交易全部驗證一遍才能核查;
后來 V 神又做了一個新的版本,Plasma Cash。改變了交易集合的數據結構,同時還把資產都用非同質化通證來表示。這樣其實就解決了核查是要檢查所有人的所有交易問題。但是新的問題也出現了,用戶提現的時候需要證明自己的擁有權,在挑戰期用戶需要定期在線。此外在存儲方面,Plasma 對用戶的要求也比較高,要自己存下來所有的數據。最終結果就是失敗了。
你發現了嗎?zk 是把結果和對結果的證明加密后小部分數據傳到主網,來證明結果沒問題;op 也是要把結果和原始的記錄傳到主網,如果有挑戰能夠有證據可查。
動態 | 一個旨在廢除BitLicense的訴訟案件被提交給紐約最高法院:據Bitcoinist報道,自從紐約金融監管機構為監管加密貨幣交易業務而引入Bitlicense許可證制度以來,針對Bitlicense的爭議從未停止過。西奧·奇諾(Theo Chino)和他的律師皮埃爾·西里克(Pierre Ciric)幾乎從這項法案頒布以來就一直在努力消除它。現在他們正將案件提交給紐約州最高法院——紐約上訴法院。[2019/9/22]
說到底,二層協議最后,甚至到擴容方案都是數據可用性的問題。理解數據可用的最好方式是從主網的角度,主網的節點能不能獲得這些數據,并且是無條件的相信,也就是說二層協議處理的交易數據不能夠存在中心化服務器或者什么地方。
以太坊主網把所有的數據都放在鏈上,任何人都能看能查,所以安全。但是這樣就慢、效率低。側鏈的解決方案比較徹底,直接搞個新的,側鏈的數據上側鏈,跟主鏈無關,所以主鏈的安全性跟側鏈是獨立的。這也是為什么很多人普遍覺得二層協議才是最好的擴容方案。因為二層協議能夠利用主鏈的安全性。
在數據可用性方面,二層協議都把數據量減少,一個是給(跟主鏈比)比較少能證明交易沒問題的數據;一個是不給數據但是請你相信我,要不然就挑戰我然后我讓你相信我。并且挑戰的時候數據都是可用的,而且驗證過程相比于歷史的方案比較簡單。
現在再回頭看看還是 V 神的這個推文:
其中 SNARKs 和 STARKs 都是零知識證明的方向,具體含義有興趣自己可以查查。Fraud proofs 就是之前說的樂觀的 rollup,直接翻譯叫做欺詐證明,其實就是之前說的挑戰 --- 拿出證據來證明交易有問題存在欺詐行為。
而下面的兩行就是在說數據可用性,on-chain 就是說二層的交易集合的數據對主網來說是可用的,而 off-chain 則是說二層交易集合的數據對主網來說是未知的,不可用。
聲音 | Evaluape:幣安下一個Lanchpad項目在技術創新上面臨挑戰和競爭:據海外區塊鏈研究平臺Evaluape,幣安的下一個Lanchpad項目Matic Network切入的Layer2 開發方向適配性好,靈活度高,是非常熱門的發展方向,團隊代碼上傳活躍,且已經推出了測試網絡和Dapp應用,合作方Decentraland 和MakerDAO有著實力強大的去中心化社區,生態建設良好。但Layer2 競品眾多,團隊履歷和區塊鏈經驗稍有不足,項目未來在技術創新上依然面臨挑戰和競爭。此外,Matic Network的Alpha版主網預計于2019年第二季度上線。[2019/4/3]
圖中的 validium 之前沒有提到過,這里解釋一下。validium 就是在 zkrollup 的基礎上,再把要傳到主鏈的部分數據舍棄,讓數據量更少,這樣交易處理起來也更快,還能達到交易免費執行的程度(這個下面還會細說,因為 ImutableX 用的就是這個)。
所以順著這個圖,也就是我們今天比較熟悉,也是文章一開始說的兩類擴容方案,zk 和 op。
op 熟悉的人可能更多,主要是因為 Arbitrum 和 optimistic 兩個上線,并且有很多項目(特別是土狗項目)。而 zk 方案其實也挺多項目,比如說 dydx,immutable X,gitcoin 捐贈的支付方式等。
啥啥都有派系,區塊鏈也是一樣。看開點,炒幣炒的不是漲跌,是人情世故。
就好像二層協議有 zk 和 op 兩個派系一樣,zk 和 op 內部也都有各自的派系之爭。
op 的上面說了,就是 arbitrum 和 optimistic,兩個目前都已經上線。很明顯 arbitrum 發展的更好,截止到目前為止,arb 一共處理了三百多萬筆交易。而 optimistic 則只處理了二十多萬筆交易。但是!optimistic 的瀏覽器做的更好一點,這個必須要說。
非常直接地告訴了是交易批次,不是區塊。而右邊的一層和二層的交易是要完全按照主鏈的規則記錄在主鏈,所以右邊有 Bk,區塊的標識。相比于 arbitrum 確實用心很多。
動態 | 美國游戲“Apex英雄”新加入一個名為“Crypto”的角色:福布斯最近的一份報告顯示,美國電子游戲開發商Respawn Entertainment的射擊游戲Apex英雄里新加入的11個新角色中,包括一個名為“Crypto”的角色。據此前報道,Apex Legends曾在一個角色皮膚中參考了區塊鏈技術。[2019/3/2]
Arbitrum 和 optimistic 的部分信息對比:
從目前的情況來看,兩個對比,Arbitrum 目前確實領先許多。
最近 Optimistic 做了一次追溯性獎勵計劃,給生態中的項目發放獎勵。收到獎勵的項目一共有60個,一共100萬美元。仔細看看這些項目,基本上都是非常非常技術類型的項目,而非應用類型會發幣的項目。V 神前兩天還寫了一篇回顧,點評 Optimistic 的追溯獎勵做的非常棒,項目總體的質量比 Gitcoin 11 期的還要高。這些技術類型的基礎設施對于以太坊生態發展尤為關鍵。
再仔細看 Opitmistic 的動態,一周前才剛剛完成鏈網絡升級,而唯一地址數的飆升也是最近幾天剛剛發生。在此之前 Optimistic 上甚至都可以用沒有什么應用來形容。而 Arbirtum 從九月份上線后并沒有停機維護過,目前的主要動態就是和更多的項目合作,讓更多的應用部署到二層上。
不得不說,早期在 Arbitrum 出現的土狗項目對于用戶和資金的吸引起到了很大的作用。
多說一句,幣安剛剛支持了 Arbitrum ETH 的充值和提現。這樣以后從 Arbitrum 上提 ETH 應該都不用等七天了。在此之前還有一個可以用折價換流動性的方法,有協議提供這樣的服務。就是如果你想提1個 ETH,還不想等七天。可以直接立刻提 0.98 個 ETH。或者說直接在主網借0.98個 ETH。等7天后,你的 ETH 提出來再還回去。
因為本身二層出錯是個概率事件,只要用戶的折價的收益能夠彌補錯誤率乘以總提現額,這個就跑得通。
zkRollups 主要兩個派系,分別是 Matter Labs 開發的 zkSync 方案和 Starkwave 開發的 StarkEx 方案。其中 zkSync 目前有兩代,分別上 zkSync1 和 zkSync2;Stark 那邊則分別是 StarkEx 和 Stark Net 兩代。
這幾個的區別 Immutable X 的 CTO 做了非常清晰明了的解釋:
如果還不明白,可以看下面的這個表格
關于兩個 zkrollups 的開發團隊信息:
目前這兩個對比下來,也很明顯是 StarkWave 這邊更勝一籌。目前利用 StarkEx 技術方案的項目之前也提到了,知名的爆款 dydx,immutablex,deversifi,sorare。根據 StarkWave 官網的數據,利用自己方案項目的總鎖倉額已經超過了十億美元,交易超過了5100萬筆,累計交易量超過了2150億美元。
其他在應用和未來發展規劃方面的對比,前兩天 Bankless 發了一篇文章《The best comparison on zkRollups today》,很詳細介紹了這部分內容,中文也已經有很多翻譯,有興趣可以去找找看。
特別提一下 IMX,一個聲勢浩大的二層協議,啥也沒干先把幣發了。
IMX 用的是和 dydx 差不多的方案,也就是 zkrollups,這都沒啥。重點是因為游戲鏈,道具裝備人物肯定都是 NFT,雖然 rollups 比主網便宜很多,但是如果是規模很大的游戲,一樣會超級貴,多了還是會用不起。為了解決這個問題,IMX 就更激進,直接用了上面提到 validium 方案。
Validium 和正常的 zkrollups 的區別就是完全拋棄了數據可用性,打一個簡單的比方去理解就是。
我們把文章一開始例子里面操作員要做的事情是批改學生的試卷。
Zkrollups 的方式是,操作員每批改完一份試卷,就把批改結果和試卷的照片拍個照,然后一起上傳到主網上。這樣大家直接就能看到考試分數。如果對考試分數有意見,直接看試卷的照片,看看自己是哪里錯了批改沒有問題。
而 validium 是直接把結果分數傳上去,試卷照片不傳。也就是拋棄了一部分的數據。對于主網來說,是找不到試卷在哪里的,如果有意見,也沒辦法申訴,因為沒有試卷不知道錯在哪里。再說一遍,這個就是拋棄了數據可用性,Data Availability。
但是這樣會讓整個批改過程(交易處理)變得賊快。
為了讓用戶放心,IMX 又搞了個委員會,定期把試卷照片傳到其他地方,就是 IPFS。
但是傳到任何地方都沒用,只有在主網的區塊鏈里面的數據,才是真的區塊鏈。放在其他地方再安全,他也不是所謂的 crypto native。
當然,IMX 也知道這個,所以用戶未來直接在做交易的時候,可以選擇是正常的 zkrollups 或者 validium。按照官方的說法:“我們把選擇交給用戶。”
講實話,雖然能夠理解這樣的妥協。但是用戶知道個啥啊,交給用戶不一定是個好的選擇。
本篇其實沒有什么結論,更多的就是一個科普/介紹/討論/筆記。因為涉及到二層協議,這是一個比較大賽道,技術設計架構方面也都比較復雜,我也不是技術出身所以必然有很多地方理解不到位。目的就是能夠讓一部分人大概能知道自己如果買了這些或者在這些協議活動,干的是個什么事情。
加之最近中文內容有些不太平,中文非廣告的內容可能越來越少,就整理了一個出來。
參考材料
https://arbiscan.io/chart/verified-contracts
https://optimistic.etherscan.io/
https://www.crunchbase.com/organization/optimism/company_financials
Offchain Labs - Employees, Board Members, Advisors & Alumni
https://www.crunchbase.com/organization/offchain-labs/people
https://vitalik.ca/general/2021/11/16/retro1.html
https://dune.xyz/eliasimos/Bridge-Away-(from-Ethereum)
https://medium.com/dragonfly-research/the-life-and-death-of-plasma-b72c6a59c5ad
https://www.crunchbase.com/search/funding_rounds/field/organizations/last_funding_type/matter-labs
https://www.crunchbase.com/organization/starkware-industries-ltd
https://newsletter.banklesshq.com/p/the-best-comparison-on-zkrollups
https://dune.xyz/ChainsightAnalytics/Uniswap-v3-Just-in-Time-(JIT)-Liquidity-MEV
Tags:TICBITROLLARBATIC怎么給bitkeep充錢The Troller CoinMarble Heroes
當看到麥迪在其全平臺近 1700萬 粉絲宣稱,“與Arche一起,可以讓這些經典高光時刻在元宇宙中得到永生,讓那無畏的精神永遠不會消亡! ”當看到麥迪在連線采訪視頻里.
1900/1/1 0:00:00很多人并不理解什么是 Web 3.0。本文嘗試以最簡潔的語言來解釋一下我對于這個問題的理解。1. 互聯網范式迭代Web 1.0,也就是第一代互聯網,是靜態互聯網,主要的應用是網絡媒體.
1900/1/1 0:00:001.DeFi總市值:1503.8億美元DeFi總市值數據來源:Coingecko2.過去24小時去中心化交易所的交易量:50.8億美元過去24小時去中心化交易所的交易量數據來源:Debank3.
1900/1/1 0:00:00原標題:《Blockchain Networks and the Human Factor: How to Know Whether They’re Accessible》作者:Shirley.
1900/1/1 0:00:00以太坊是一個正在經歷重大變化的協議。從中期來看,我們正在推動以太坊協議的升級,從而使其能夠得以擴展并滿足不斷增長的全球需求,同時也改善以太坊網絡的安全性和去中心化.
1900/1/1 0:00:00人類在技術的進步上總是孜孜不倦,延展出物聯網、傳感網、泛在網等不同網絡,并借助一切前沿技術,投入巨大的人力、物力以及財力進行深度的研究和開發.
1900/1/1 0:00:00