ARK:zk 系四大 L2 協議大 PK：進度、異同和生態

作者：念青，ChainCatcher

近期，隨著zkSync2.0的推出，zk系擴容方案又迎來一波高潮。此外，在上個月波哥大Devcon之后，zkEVM領域又出現了許多“新”的聲音。

譬如，zkSync大肆宣傳自己是“世界上第一個功能齊全的開源zkEVM網絡”，包括Arbitrum開發公司OffChainLabs聯創兼首席執行官StevenGoldfeder在內的人對此批評說，這一zkEVM測試網并沒有啟用zk-proofs，也沒有經過安全審計，這種鼓吹對任何人都沒有好處，距離真正實現還有很遠。

PolygonzkEVM在波哥大Devcon期間正式推出時也宣稱“第一個也是唯一一個去中心化的zkEVM測試網”，但很快招致社區批評：PolygonzkEVM證明者的源代碼雖在Github上可用，但還沒有開源許可證；雖然表示“完全等效”，但其Github代碼庫顯示其暫時只測出了97%的兼容性覆蓋程度。對此，Polygon團隊回應，“沒有刻意隱瞞，部分內容正在編寫的更好的文檔”。

此外，Scroll也在波哥大Devcon期間宣布進行Pre-Alpha測試網升級，并向白名單用戶開放測試。而根據計劃，StarkWare在9月底推出了Cairo的升級版本Cairo1.0也將于年底前正式推出。

在Aptos空投的刺激下，L2zk系近期的強敘事的確吸引了大批用戶。但與生態已經相對成熟的op系擴容方案相比，zk系表面上看似熱鬧非凡，但距離真正的繁榮還要很久，目前生態還較為薄弱，而且zk技術的開發周期更長，對開發者和項目方有一定的門檻。所以，與其為“第一個zkEVM”爭論不休，不如繼續建設。

本文梳理了zk系四大協議StarkWare、zkSync、PolygonzkEVM和Scroll的開發進度、生態詳情等，帶你全面了解眼下正熱的zkEVM賽道的真實情況。

Matter Labs團隊推出模塊化工具包ZK Stack:金色財經報道，Matter Labs團隊宣布推出ZK Stack，這是一個模塊化工具包，用于在以太坊Layer 2解決方案zkSync Era之上構建超鏈網絡。開發人員表示，ZK Stack將給予開發者完全的主權。從選擇數據可用性模式開始，到使用您自己的實用代幣來分散排序器結束。該開源框架與EVM兼容、經過實戰測試且面向未來。[2023/6/27 22:03:06]

一、Starkware

1、簡介：

StarkWare是zk系擴容方案中團隊陣容最強的項目，聯合創始人EliBen-Sasson是世界頂級的密碼學科學家，同時也是zkSNARK、zkSTARK的合作發明者，聯合創始人兼CEOUriKolodny畢業于希伯來大學計算機專業，同時也是連續創業者。目前StarkWare已經估值80億美元。

StarkWare目前開發了兩款產品：ToB的StarkEx和ToC的StarkNet。StarkEx是一個獨立的許可Validity-Rollup，出售定制化技術引擎服務StarkEx，直接向有擴容需求的客戶收取服務費，目前已服務dYdX、ImmutableX、Sorare、DeversiFi、rhino.fi、ApeX、Myria等客戶；StarkNet是向所有人開放的無需許可的去中心化zk-Rollup，使用zkSTARK證明系統，支持dApp自主部署。

StarkNet所使用的基礎智能合約語言并不是Solidity，而是圖靈完備的零知識證明系統語言Cairo，本身并不與EVM兼容。團隊一直在尋求zkEVM兼容，10月底，StarkWare宣布推出基于Cairo編寫的zkEVM，但實際開發還在早期階段，并未落地。

Sismo Protocol在alpha網絡發布“Ethereum Power Users ZK Badge”:7月16日消息，Sismo Protocol在推特上表示，其alpha網絡已發布“Ethereum Power Users ZK Badge”，這是其第一次嘗試新的治理機制，基于聲譽和保護隱私的投票。可參與鑄造的合格帳戶組（176294個地址）由六個子組合并而成。官方表示，希望Ethereum Power Users ZK Badge所有者成為一個社區，使用徽章作為協調代幣。[2022/7/16 2:18:00]

此外，以太坊開發團隊Nethermind正在構建一個Solidity-Cairo的“編譯器”，允許使用Solidity編寫的項目將其代碼庫“一鍵”翻譯成Cairo。據悉，該“編譯器”仍在開發中，一旦生效，它將使StarkNet實現與zkSync2.0相似的EVM兼容級別。Nethermind一直致力于代碼翻譯工作，此前曾在StarkNet網絡推出UniswapWarp版本。

2、進度：

作為zk-Rollup領域的最早一批開發者，StarkNet的Alpha版于2021年11月就在主網上啟動。

StarkWare在九月底推出了Cairo的升級版本Cairo1.0，預計在2022年底前正式推出，新版本語言提高了網絡DoS攻擊保護能力并降低gas費用，支持StarkNet的無許可網絡要求，并將簡化和保護協議。屆時，團隊還將在名為“Regensis”的以太坊主網上重新啟動StarkNet。

目前，StarkNet正在Goerli上啟動第二個測試網，并在社區發起征集命名的提案。新測試網主要面向開發人員，用于測試應用程序，并非公測階段。

此外，StarkWare在7月就公布了代幣經濟學，原生代幣此前定于9月發行，但團隊因為技術原因推遲發行。StarkNet代幣初始發行量為100億枚，17%?分配給StarkWare投資者，32.9%分配給核心貢獻者，51%分配給基金會。但官方表示，初始階段不會為用戶提供免費代幣，所有代幣會在發布后立即鎖定。

以太坊ZK Rollup擴容方案Hermez上線USDT:Hermez Network上線USDT穩定幣。通過在Hermez上推出USDT，以太坊上的Gas費壓力有望減輕。此前消息，以太坊ZK Rollup擴容方案Hermez Network正式上線。這意味著Hermez的主網已經啟動，用戶現在可以以更低的Gas成本轉賬。（Cointelegraph）[2021/4/19 20:36:52]

3、生態：

StarkNet生態主要以DeFi、GameFi、NFT為主，目已有一百多個項目在StarkNet上部署，但實際上部分項目還處于計劃部署階段，真正可以實現交互的項目數量并不多。據L2beat數據顯示，目前StarkNet總鎖倉量為310萬美元，日均TPS為0.15，30天交易計數約為27.9萬筆。

錢包：ArgentX、Braavos

跨鏈橋：OrbiterFinance、官方開發的以太坊-Starknet跨鏈橋StarkGate

DeFi：

10KSwap：StarkNet原生AMMDEX協議，已上線主網，目前只能交易ETH、USDC、DAI、WBTC、USDT這幾種代幣。

AlphaRoadFinance：StarkNet原生DEX和流動性質押協議，目前在測試階段。

BrineFinance：訂單簿交易DEX，目前仍在測試網上。

FibrousFinance：StarkNet上的AMM聚合器，仍在測試網上運行。

mySwap：StarkNet上的第一個AMMDEX。

zkLend：StarkNet上的借貸協議，包含兩個產品Artemis和Apollo。

StarkWare推出ZK Rollup擴容解決方案StarkNet:1月27日消息，零知識證明研發機構StarkWare表示，其二層擴容解決方案ZK Rollup“StarkNet”目前已經完成基礎構建（階段0），即圖靈完備框架Cairo、STARK 軟件堆棧和二層擴容引擎StarkEx，之后將進行構建階段一至階段三，其中，階段一將支持單一應用Rollup“Single-App Rollup”，將使開發人員能夠在StarkNet上構建和部署自己的可擴展性應用程序；階段二將支持多應用Rollup“Multi-App Rollup”，支持在同一StarkNet實例上運行并訪問多個應用程序，這將實現不同應用程序之間的互操作性，以及降低 Gas 成本；階段三將支持去中心化Rollup“Decentralized Rollup”。

StarkWare預計將在近幾個月內部署階段一，并在2021年底之前順利進入階段二和階段三。StarkWare構建的StarkNet是一種由STARK驅動的去中心化二層ZK Rollup，可支持以太坊的通用計算。[2021/1/27 13:37:48]

GameFi：LootRealms、GoL2、TheNinth已上線主網。

二、zksync

1、簡介：

zkSync由MatterLabs于2019年12月創立，創立時間晚于StarkWare，使用的是基于SNARK證明的zk-Rollup技術，并且支持IR層面的zkEVM。

MatterLabs在2020年6月就發布了zkSyncv1.0版本，上線時間較長，直到今年2月，zkSync2.0測試網上線。zkSync2.0于此前相比，功能有很大的提升。在zkSync1.0中用戶只能體驗轉賬、鑄造NFT等基礎功能，而zkSync2.0在支持EVM兼容的同時還將開放生態應用的部署，是真正完成版的zk-Rollup產品。

ZK Labs將對PlotX進行智能合約安全審計:調研機構CryptoDiffer發推特稱，ZKLabs將在PlotX主網上線前對其進行智能合約安全審計。ZKLabs將會驗證PlotX智能合約的安全性，然后將由PlotX社區開發人員重構。據此前報道，DeFi預測市場平臺PlotX更新用戶界面，允許用戶查看包括預測接受與否、處理進程、獎勵分配等各個階段的進展，以及可以同時使用PLOT代幣以及ETH來購買預測頭寸，旨在為啟動主網做準備。部分新的用戶界面功能將很快PlotX測試版中實現，不過完整的功能將在PlotX的主網版本中實現。[2020/9/11]

2、進度：

10月28日，zkSync2.0正式推出，并表示目前正處于BabyAlpha階段，在此階段zkSync2.0將在沒有外部項目的主網上啟動，主要進行壓力測試和多項安全工作。開發人員無法訪問主網，但可以繼續在測試網上開發。BabyAlpha階段將持續一個月左右。

據官方路線圖顯示，第四季度進入FairLaunchAlpha階段，團隊將對開發者開放的項目部署權限，團隊計劃今年年底前實現全面啟動Alpha目標，但可能會因為安全原因將這一階段延長到2023年。然后在一系列全面測試、安全審計、競賽和漏洞賞金后，zkSync2.0將向所有用戶開放，這也是最接近發幣的時間。目前已有150多個項目已經承諾在zkSync2.0上啟動。

在代幣發行方面，MatterLabs的首席產品官SteveNewcomb曾在TwitterSpaces討論中表示，zkSync將在11月第一周公布其代幣經濟模型的詳細信息。11月3日，zkSync聯合創始人AlexG暗示：“一些重大新聞即將發布”。

相關閱讀：《zkSync2.0主網上線倒計時，我們都應該知道些什么？》

3、生態

據zkSync生態官網統計，目前已有100余個項目在網絡上部署。另據L2beat數據顯示，目前總鎖倉量為627萬美元，日均TPS為0.37，30天交易計數為138萬筆。

錢包：ArgentX、zkSyncPortal2.0

跨鏈橋：

OrbiterFinance

zkSync2.0測試網官方跨鏈橋地址：https://portal.zksync.io/bridge

DeFi：

SyncSwap：基于zkSync的DEX，已上線zkSync2.0網絡。

Increment：是一個基于zkSync2.0的去中心化算法永續合約協議，近期在zkSync2.0測試網上發布。但目前只對此前申請白名單測試的用戶開放，現在報名截止日期已過。

SpaceFi：是Evmos和zkSync上的跨鏈web3平臺，目前在zkSync2.0測試網上運行。

Zigzag：是由zkRollup提供支持的訂單簿DEX，目前只支持zksync1.0網絡

Sprintcheckout：加密支付平臺，目前在zkSync2.0測試網上運行。

?NFT：

MintSquare是以太坊L2ZKRollups上的NFT市場，目前在StarkNet、StarkNet測試網和zkSync2.0測試網上運行。

此外，AaveV3、UniswapV3、1KXProtocolBeta等協議已經計劃在zkSync2.0測試網上部署。

三、PolygonHermez

1、簡介：

2021年7月，Hermez團隊宣布開發完全兼容以太坊的zkEVM，之后，Polygon宣布以2.5億美元收購Hermez。PolygonzkEVM使用的是基于SNARK證明的zk-Rollup技術。

PolygonzkEVM擁有操作碼層級的兼容度。在《Vitalik：不同類型ZK-EVM的未來》一文中Vitalik將PolygonzkEVM與Scroll并列為第三級，在EVM兼容性方面處于目前的ZKRollup里的前列。

在近期宣傳中，Polygon一直在強調其zkEVM是“唯一去中心化的zk-rollup”，因為首先實現了zkProver的開源，包含完整的、可用源代碼的ZK證明系統，并承諾完全開源、由社區驅動、無需許可的協調者網絡、帶有驗證獎勵代幣的去中心化拍賣模型。

2、進度：

PolygonzkEVM于10月10日推出無需許可的公共測試網，Aave、Uniswap、Web3社交平臺Lens和游戲工作室MidnightSociety將成為首批部署在zkEVM測試網上的協議，目前測試網主要對開發者開放。PolygonzkEVM計劃于2023年上半年上線主網。

此外，PolygonzkEVM明確表示暫時沒有發幣計劃，ETH將用于支付gas費用。MATIC將用于質押，PolygonzkEVM的治理。

四、Scroll

1、簡介：

Scroll于2021年創立，于去年年底完成3000萬美元A輪融資。和PolygonzkEVM相似，Scroll同樣致力于創建一個EVM等效的zk-Rollup，并且在兼容性上更勝一籌，號稱最兼容EVM的zk-Rollup，使得以太坊上的應用可以幾乎無縫遷移至二層網絡上。字節碼級別的兼容就可以實現兼容以太坊上的所有語言，并且也可以兼容以太坊上的工具，大大降低了在二層網絡上的開發難度。

值得一提的是，由于Scroll聯合創始人YeZhang在ZKP硬件加速方面頗有經驗，Scroll計劃在ZKP方面利用硬件加速進一步提高驗證效率，建立一個去中心化的驗證網絡，將ZKP的證明分發給參與者進行計算，并將結果匯總形成最終的證明。而該去中心化的驗證網絡將向所有人開放，并將設置激勵機制與懲罰機制。

相關閱讀：《對話Scroll創始人YeZhang：Scroll在zk-rollup突圍戰中處于什么位置？》

2、進度：

10月11日，Scroll發布Pre-Alpha測試網的升級版，已有一些預部署的應用例如Uniswapv2等，允許用戶執行一些功能如L1和L2之間的轉賬，但目前階段還需要用戶注冊申請加入白名單才能參與測試。但由于出現了大量的刷量機器人，導致官方暫時放慢了測試申請的審核縮緊名單準入，因此會有很多用戶在社區反饋一直沒有收到郵件回復，社區建議更換錢包地址和郵箱重新申請。

Scroll在測試網期間遭遇了嚴重的跨鏈延遲，也出現了無法訪問水龍頭的測試網代幣的情況，官方回應是由于以太坊嚴重擁堵引起的。

相關閱讀：《搶先體驗以太坊二層網絡ScrollPre-Alpha測試網》

此外，官方表示，數周后即將推出無許可的測試網，Alpha測試網允許任何人在測試網上進行交互，開發者也可以無需許可地在網絡上部署合約。完整的測試網預計在今年年底推出。

在生態上，Web3社交協議LensProtocol、預言機RedStone等項目近期已部署至以太坊擴容項目Scroll的pre-alpha測試網。

小結：

總體而言，StarkWare和zkSync雖然表示最終實現zkEVM，但畢竟不是字節碼層級的兼容，需要開發人員轉譯和遷移代碼，因此相較之下，PolygonzkEVM和Scroll會更靠近以太坊生態。

但EVM兼容性并不是判斷L2擴容方案好壞的唯一標準，只作為一個客觀指標。事實上，完全等效的EVM雖然安全，但或許會在效率上會有所犧牲，Starkware的Cario預言構建的虛擬機和Zksync的虛擬機在構建zk上會更加靈活。

所以，這些協議沒有本質上的優劣之分，而且目前都還處于早期開發階段，除了保證安全性之外，后期開發者體驗和用戶體驗更加重要。

Tags：ARKSTASTARKSTARDMarketSTAKDStark Chainstarhole

BNB