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費的交易體驗。
