zkSync2.0兼容EVM 打破ZK Rollup技術瓶頸

L2Beat的數據顯示,zkSync網絡鎖倉的加密資產總額(TVL)已超過1.4億美元,7日內增幅為38%。 zkSync是基於ZK Rollup擴容方案實現的以太坊Layer2網絡,目前,它的TVL增幅在眾多Layer2網絡中排名第一,這說明越來越多資金和用戶正在體驗zkSync網絡及其應用。

以太坊主網在正式升級為2.0之前,解決鏈上擁堵的方式之一是構建一個可以在鏈外執行大部分活動的2層網絡(Layer2),以緩解對主網的計算及存儲壓力,增加以太坊的可擴展性。

在各種構件Layer2網絡的技術中,Rollup逐漸被認為是最優解,因為它能將智能合約的實際計算和存儲在鏈下完成,並將交易數據通過一系列壓縮技巧批量提交並保存在以太坊主網上,無需單一數據一一驗證。如此一來,layer2網絡的安全性不但能由以太坊主網保障,且不破壞網絡的去中心化,還能增加網絡的可擴展性和效率。更重要的是,Rollup可以讓以太坊主網的應用程序便捷地遷移至Layer2。

利用Rollup技術實現Layer2網絡的構建,又因密碼學的驗證算法不同而形成了多種路徑,Optimistic Rollup、ZK Rollup、Arbitrum Rollup成為主流方案。目前,應用各種方案的Layer2網絡均有所建樹,各個流派分別在研發和實踐中發展。

其中,ZK Rollup是利用「零知識證明」驗證方式來落實Rollup的擴容方案,被以太坊創始人Vitalik Buterin視作Layer2的終極之選。

zkSync網絡近期的TVL激增進一步驗證了ZK Rollup的可行性,尤其是今年2月zkSync上線了2.0版本的公共測試網絡以來,支撐它的ZK Rollup擴容技術方案也越來越受區塊鏈技術社區關注。

那麼,ZK Rollup擴容方案究竟是什麼?與Optimistic Rollup、Arbitrum Rollup有何區別?除了zkSync2.0,還有哪些網絡使用了ZK Rollup技術?本期DeFi蜂窩將一一解答。

ZK Rollup方案概況

簡介

ZK Rollup是基於「零知識證明」驗證方式落實Rollup技術的layer2解決方案,「ZK」正是「Zero Knowledge」(零知識)的字母簡稱,該方案起源於2018年下半年,最早由區塊鏈技術研究員Barry Whitehat提出。

保留了Rollup技術的原理,ZK Rollup可以在鏈下完成複雜計算,生成證明,傳輸回主網進行證明校驗,並存儲部分數據來保證數據可用性,且共享主網的安全性。

ZK Rollup的特點正是那個「ZK」部分,「零知識證明」算法能讓證明者在不向驗證者提供任何有用信息的情況下,使驗證者相信某個結果的正確性。

舉個例子,A要向B證明自己擁有某個房間的鑰匙,假設該房間只能用鑰匙開鎖,而其他任何方法都打不開。這時有2個方法:要么,A把鑰匙出示給B,B用這把鑰匙打開房間的鎖,從而證明A擁有該房間的正確鑰匙;或者B確定該房間內有某一物體,A用自己擁有的鑰匙打開房門,然後把物體拿出來出示給B,從而證明自己確實擁有該房間的鑰匙。

後面的方法就類似於零知識證明。它的優點在於,在整個證明的過程中,B始終不能看到鑰匙的樣子,從而避免了鑰匙的洩露。

「零知識證明」對於強調隱私性的區塊鏈來說是重要的技術手段,比特幣網絡就是應用之一。除了隱私性,技術研究人員也開始將其應用在提升區塊鏈的性能方面,ZK Rollup就是其一,它主張,若某個區塊需要大量數據驗證才能完成打包、開啟下一個區塊,不妨由一人驗證並生成證明,而其他人來驗證這個證明無誤即可,這樣就避免了每個人都要花很長時間來驗證一個證明,從而提高數據驗證的效率。

在ZK Rollup方案下,Layer2網絡上的多個交易數據打包之後,會創建一個鏈下計算的「零知識證明」結果,主網(Layer1)驗證者可以快速檢查此證明是否正確。而且,正因為Layer2到Layer1的交易數據能即時驗證,因此,它也能實現Layer2資產轉移到Layer1時可以即時結算。

ZK Rollup與其他Rollup方案的區別

ZK Rollup是利用Rollup技術構建以太坊Layer2網絡的一種實現方式,另一個主要是Optimistic Rollup,二者的區別主要在於使用的驗證算法不同。

Optimistic Rollup使用了「欺詐證明」驗證算法,它的前提是驗證者要在Layer2網絡上質押一定數量ETH「押金」,作為「不撒謊」的背書,如此前提下,它假設Layer2網絡的交易均有效,提交到layer1(以太坊主網)的數據都正確,如果有人對任何一筆交易提出異議,這個時候,數據才需要在以太坊主網上進行一一驗證,哪個驗證者提交的數據有問題,就會被網絡判定為欺詐,那麼這個驗證人的押金被沒收。

在這樣的驗證算法原理下,當Layer2上匯總的每批交易提交到Layer1時,會有一個7天的異議提交週期。這也造成用戶從Optimistic Rollup方案下的網絡中提取或退出加密資產時,增加了一個7天的等待期。

這不但造成了Optimistic Rollup相關網絡的體驗不友好,更麻煩的是,一旦出現異議數據,所有交易數據都要在主網上重新驗證,反而增加了主網負擔。

於是,針對這個痛點,Arbitrum Rollup在Optimistic Rollup上進行了改善,它主張把異議部分先進行劃塊處理,找出爭議最大的部分,以太坊主網只對爭議部分進行驗證,以此緩解主網的驗證負擔。

除此之外,Arbitrum Rollup的進步還在於實現了與EVM的兼容,這就使得應用該技術的layer2網絡可以承載以太坊主網上的應用無縫遷移,於是,不少DeFi應用選擇部署「Arbitrum版」。相較之下,Optimistic Rollup擴容方案還沒有做到100%兼容EVM。

可見,Arbitrum Rollup方案算是Optimistic Rollup的「改進版」。儘管如此,資金從Arbitrum Rollup相關網絡的退出時還是需要一個等待期,這個痛點還有待改善。

而在與EVM的兼容方面,ZK Rollup也此前一直難有突破。以太坊創始人Vitalik Buterin(花名V神)曾在公開演講中表示,ZK Rollup由於底層技術較為複雜,想要做到完全兼容以太坊虛擬機可能需要幾年時間,短期內,Optimistic Rollup是以太坊擴容方案的可行之選,但長期而言會更傾向於ZK Rollup。

V神這麼一點評,ZK Rollup被認為是以太坊擴容方案的「聖杯」。

令人意外的是,ZK Rollup兼容EVM的開發進度比預期快了許多。今年2月份,使用ZK Rollup方案的zkSync 2.0公測網上線,它兼容了EVM。這意味著,在不久的將來,ZK Rollup方案不再被束之高閣,基於它的網絡將迎來應用的遷移。

目前,ZK Rollup方案的Layer2落地的主要選手是StarkWare和zkSync。

zkSync不斷升級完成EVM兼容

2019年,MatterLabs團隊開始利用ZK Rollup擴容方案開發zkSync網絡。 2020年6月,zkSync1.0版本上線,主要聚焦於支付。作為Layer2擴容層,zkSync1.0鏈上的轉賬手續費用極低,處理交易快速,且手續費不僅限於ETH,利用該網絡轉賬的其他以太坊標準資產也能用作手續費,資產進出以太坊主網一般在幾分鐘到幾小時不等。

zkSync官網

目前,用戶可以通過授權以太坊錢包激活zkSync網絡賬戶,ETH、ERC-20標準下的USDT等資產可自由進出該網絡,資產可與其他zkSync賬戶進行轉移。

zkSync1.0由於不兼容EVM,網絡的可用性受到限制,能支持的應用場景非常有限,但由於轉賬費用低,到賬即時,zkSync1.0最主要的應用方向還是支付。

今年2月,zkSync 2.0版本的公共測試網上線,實現了EVM兼容,也因此成為首個利用ZK Rollup方案並兼容EVM 的區塊鍊網絡。

zkSync2.0支持開發人員使用以太坊原生編程語言Solidity在網絡上部署去中心化應用程序,以太坊主網上現有的DeFi應用也可以集成至zkSync2.0網絡上,開發者和用戶都低費用、高效率地使用這個Layer2網絡。

應用代表

  • 去中心化交易應用(DEX)ZigZag

ZigZag沒有採納DEX常用的自動做市商(AMM)機制,而是採用去中心化訂單簿模型,這正是ZK Rollup技術底層天然的「匯總性」帶來的便利,它允許交易者以最小的滑點和高流動性訂單進行現貨交易,試圖成為中心化交易所(CEX)在鏈上的替代方案。

  • Layer2跨鏈橋Orbiter Finance

Orbiter Finance是為Layer2網絡搭建的跨鏈橋,它支持zkSync、Arbitrum、Optimism等Layer2網絡間的資產跨鏈轉移,也支持Layer2和Layer1之間的資產互轉。

StarkWare系統化創建Layer2

StarkWare可以視作一個公司,它創建於2018年,有一套完整的Layer2系統解決方案,特別是它在「零知識證明」基礎上創新出zkSTARK算法,用以進一步增強網絡的擴展性,並將這一算法進行了產品化,形成了StarkNet(Layer2擴容網絡)和StarkEx(擴容技術)兩個落地模塊。

StarkWare官網

  • StarkNet

它是搭建在以太坊上的Layer2網絡,測試網已經於2021年11月上線,支持開發者進行應用部署,用戶可以將交易發送到網絡上,所有交易將定期進行批量處理,生成STARK證明,然後在以太坊主網驗證這些證明。由於驗證所需的計算內容很少,從而提升了鏈上的處理效率。

由於StarkNet還未兼容EVM,因此,它一直沒有獲得以太坊頭部DeFi應用的遷移。目前,該Layer2上主要應用為去中心化交易應用(DEX)Myswap和一站式交易應用JediSwap

  • StarkEx

它是一套可擴容引擎技術,專門為以太坊應用提供擴容方案和程序服務,已經用於不少知名去中心化應用,包括去中心化永續合約交易應用dYdX、去中心化交易應用DeversiFi、NFT生態系統Immutable X。

作為期貨交易平台,dYdX(DYDX)需要高速結算, StarkEx幫助它大大提高了結算速度,增強了用戶體驗。

DeversiFi是首個採用StarkEx擴容引擎的DEX,它使用的是訂單簿模式,實現方式是鏈下處理交易、鏈上完成結算。以往,鏈上結算的方式對鏈的性能要求較高,Layer1類型的網絡對此存在製約。現在,StarkEx引擎解決了這一點,它為非託管式交易提供了即時結算、高流動性、低滑點等保障。此外,DeversiFi使用了zkSTARK算法的隱私層,很好地保證了用戶的交易隱私。

Immutable X是以太坊針對NFT資產設置的Layer2擴容方案,它基於StarkEx引擎搭建,該網絡上的資產及交易數據均由以太坊保障,用戶無需擔心安全問題。更重要的是,StarkEx支持提取資產到以太坊鏈上即時到賬,沒有7天的間隔期。目前,卡牌遊戲Gods Unchained(GODS)、戰鬥類角色扮演遊戲Illuvium(ILV)等已選擇與Immutable X集成,為用戶提供快速的、0 Gas費的交易體驗。

Total
0
Shares
Related Posts