作者:念青,ChainCatcher
原文:《 zk 系四大L2 協議大PK:進度、異同和生態》
近期,隨著zkSync 2.0 的推出,zk 系擴容方案又迎來一波高潮。此外,在上個月波哥大Devcon 之後,zkEVM 領域又出現了許多“新”的聲音。
譬如,zkSync 大肆宣傳自己是“世界上第一個功能齊全的開源zkEVM 網絡”,包括Arbitrum 開發公司OffChain Labs 聯創兼首席執行官Steven Goldfeder 在內的人對此批評說,這一zkEVM 測試網並沒有啟用zk-proofs,也沒有經過安全審計,這種鼓吹對任何人都沒有好處,距離真正實現還有很遠。
Polygon zkEVM 在波哥大Devcon 期間正式推出時也宣稱“第一個也是唯一一個去中心化的zkEVM 測試網”,但很快招致社區批評:Polygon zkEVM 證明者(zk prover)的源代碼雖在Github 上可用,但還沒有開源許可證;雖然表示“完全等效”,但其Github 代碼庫顯示其暫時只測出了97% 的兼容性覆蓋程度。對此,Polygon 團隊回應,“沒有刻意隱瞞,部分內容正在編寫的更好的文檔”。
此外,Scroll 也在波哥大Devcon 期間宣布進行Pre-Alpha 測試網升級,並向白名單用戶開放測試。而根據計劃, StarkWare 在9 月底推出了Cairo 的升級版本Cairo 1.0 也將於年底前正式推出。
在Aptos 空投的刺激下, L2 zk 系近期的強敘事的確吸引了大批用戶。但與生態已經相對成熟的op 系擴容方案相比,zk 系表面上看似熱鬧非凡,但距離真正的繁榮還要很久,目前生態還較為薄弱,而且zk 技術的開發週期更長,對開發者和項目方有一定的門檻。所以,與其為“第一個zkEVM”爭論不休,不如繼續建設。
本文梳理了zk 系四大協議StarkWare、zkSync、Polygon zkEVM 和Scroll 的開發進度、生態詳情等,帶你全面了解眼下正熱的zkEVM 賽道的真實情況。
一、Starkware
1、簡介:
StarkWare 是zk 系擴容方案中團隊陣容最強的項目,聯合創始人Eli Ben-Sasson 是世界頂級的密碼學科學家,同時也是zkSNARK、zkSTARK 的合作發明者,聯合創始人兼CEO Uri Kolodny畢業於希伯來大學計算機專業,同時也是連續創業者。目前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(名為“Kakarot”),但實際開發還在早期階段,並未落地。
此外,以太坊開發團隊Nethermind 正在構建一個Solidity - Cairo 的“編譯器”,允許使用Solidity 編寫的項目將其代碼庫“一鍵”翻譯成Cairo。據悉,該“編譯器”仍在開發中,一旦生效,它將使StarkNet 實現與zkSync 2.0 相似的EVM 兼容級別。 Nethermind 一直致力於代碼翻譯工作,此前曾在StarkNet 網絡推出Uniswap Warp 版本。
2、進度:
作為zk-Rollup 領域的最早一批開發者,StarkNet 的Alpha 版於2021 年11 月就在主網上啟動。
StarkWare 在九月底推出了Cairo 的升級版本Cairo 1.0,預計在2022 年底前正式推出,新版本語言提高了網絡DoS 攻擊保護能力並降低gas 費用,支持StarkNet 的無許可網絡要求,並將簡化和保護協議。屆時,團隊還將在名為“Regensis”的以太坊主網上重新啟動StarkNet。
目前,StarkNet 正在Goerli 上啟動第二個測試網,並在社區發起徵集命名的提案。新測試網主要面向開發人員,用於測試應用程序,並非公測階段。
此外,StarkWare 在7 月就公佈了代幣經濟學,原生代幣此前定於9 月發行,但團隊因為技術原因推遲發行。 StarkNet 代幣初始發行量為100 億枚,17% 分配給StarkWare 投資者,32.9% 分配給核心貢獻者,51% 分配給基金會(其中12% 用於資助開發、測試、部署和維護StarkNet 協議的研究和工作)。但官方表示,初始階段不會為用戶提供免費代幣,所有代幣會在發布後立即鎖定。
3、生態:
StarkNet 生態主要以DeFi、GameFi、NFT為主,目已有一百多個項目在StarkNet 上部署,但實際上部分項目還處於計劃部署階段,真正可以實現交互的項目數量並不多。據L2beat 數據顯示,目前StarkNet 總鎖倉量為310 萬美元,日均TPS 為0.15,30 天交易計數約為27.9 萬筆。
錢包: Argent X 、 Braavos (近期剛完成Pantera Capital 領投的1000 萬美元融資)
跨鏈橋: Orbiter Finance 、官方開發的以太坊-Starknet 跨鏈橋StarkGate
DeFi:
- 10KSwap :StarkNet 原生AMM DEX協議,已上線主網,目前只能交易ETH、USDC、DAI、WBTC、USDT這幾種代幣。
- Alpha Road Finance :StarkNet 原生DEX 和流動性質押協議,目前在測試階段。
- Brine Finance :訂單簿交易DEX,目前仍在測試網上。
- Fibrous Finance :StarkNet上的AMM聚合器,仍在測試網上運行。
- mySwap :StarkNet上的第一個AMM DEX。
- zkLend :StarkNet上的借貸協議,包含兩個產品Artemis(針對DeFI 用戶)和Apollo(針對機構、中小企業等)。
- GameFi: Loot Realms 、 GoL2 、 The Ninth已上線主網。
相關閱讀: 《盤點StarkWare生態:StarkEx共7個應用,StarkNet 105個生態項目》
二、zksync
1、簡介:
zkSync 由Matter Labs 於2019 年12 月創立,創立時間晚於StarkWare,使用的是基於SNARK 證明的zk-Rollup 技術,並且支持IR 層面的zkEVM。
Matter Labs 在2020 年6 月就發布了zkSync v1.0 版本,上線時間較長,直到今年2 月,zkSync 2.0 測試網上線。 zkSync 2.0 於此前相比,功能有很大的提升。在zkSync1.0 中用戶只能體驗轉賬、鑄造NFT 等基礎功能,而zkSync 2.0 在支持EVM 兼容的同時還將開放生態應用的部署,是真正完成版的zk-Rollup 產品。
2、進度:
10月28日,zkSync 2.0 正式推出,並表示目前正處於Baby Alpha 階段,在此階段zkSync 2.0 將在沒有外部項目的主網上啟動,主要進行壓力測試和多項安全工作。開發人員無法訪問主網,但可以繼續在測試網上開發。 Baby Alpha 階段將持續一個月左右。
據官方路線圖顯示,第四季度(Baby Alpha之後)進入Fair Launch Alpha 階段,團隊將對開發者開放的項目部署權限,團隊計劃今年年底前實現全面啟動Alpha 目標,但可能會因為安全原因將這一階段延長到2023 年。然後在一系列全面測試、安全審計、競賽和漏洞賞金後,zkSync 2.0 將向所有用戶開放,這也是最接近發幣的時間。目前已有150 多個項目已經承諾在zkSync 2.0 上啟動。
在代幣發行方面,Matter Labs 的首席產品官Steve Newcomb 曾在Twitter Spaces 討論中表示,zkSync 將在11 月第一周公佈其代幣經濟模型的詳細信息。 11 月3 日,zkSync 聯合創始人Alex G 暗示:“一些重大新聞即將發布”。
相關閱讀:《 zkSync2.0上線在即,除了空投還有哪些值得關注? 》
3、生態
據zkSync 生態官網統計,目前已有100 餘個項目在網絡上部署。另據L2beat 數據顯示,目前總鎖倉量為627 萬美元,日均TPS為0.37,30 天交易計數為138 萬筆。
錢包: Argent X 、 zkSync Portal 2.0 (在zkSync 2.0 中,用戶可直接在MetaMask 中添加zkSync 2.0 的RPC 節點,無需下載其他錢包)
跨鏈橋:
- Orbiter Finance (目前僅支持zkSync1.0,暫未支持zkSync 2.0測試網)
- zkSync2.0測試網官方跨鏈橋地址:https://portal.zksync.io/bridge (也支持錢包轉賬和領取測試幣等其他功能)
DeFi:
- SyncSwap :基於zkSync 的DEX,已上線zkSync 2.0 網絡。
- Increment :是一個基於zkSync 2.0 的去中心化算法永續合約協議,近期在zkSync 2.0 測試網上發布。但目前只對此前申請白名單測試的用戶開放,現在報名截止日期已過。
- SpaceFi :是Evmos 和zkSync 上的跨鏈web3 平台,目前在zkSync 2.0測試網上運行。
- Zigzag :是由zk Rollup 提供支持的訂單簿DEX,目前只支持zksync1.0 網絡
- Sprintcheckout :加密支付平台,目前在zkSync 2.0測試網上運行。
NFT:
MintSquare是以太坊L2 ZK Rollups(StarkNet 和zkSync)上的NFT 市場,目前在StarkNet、StarkNet 測試網和zkSync 2.0 測試網上運行。
此外,Aave V3、Uniswap V3 、1KX Protocol Beta 等協議已經計劃在zkSync 2.0 測試網上部署。
三、Polygon Hermez(Polygon zkEVM )
1、簡介:
2021 年7 月,Hermez 團隊宣布開發完全兼容以太坊的zkEVM(Hermez 2.0),之後,Polygon 宣布以2.5 億美元收購Hermez。 Polygon zkEVM 使用的是基於SNARK 證明的zk-Rollup 技術。
Polygon zkEVM 擁有操作碼層級的兼容度。在《Vitalik:不同類型ZK-EVM 的未來》一文中Vitalik 將Polygon zkEVM 與Scroll 並列為第三級,在EVM 兼容性方面處於目前的ZK Rollup裡的前列。
在近期宣傳中,Polygon 一直在強調其zkEVM 是“唯一去中心化的zk-rollup”,因為首先實現了zk Prover 的開源,包含完整的、可用源代碼的ZK 證明系統,並承諾完全開源、由社區驅動、無需許可的協調者(coordinators)網絡、帶有驗證獎勵代幣的去中心化拍賣模型。
2、進度:
Polygon zkEVM 於10 月10 日推出無需許可的公共測試網,Aave、Uniswap、Web3 社交平台Lens 和遊戲工作室Midnight Society 將成為首批部署在zkEVM 測試網上的協議,目前測試網主要對開發者開放。 Polygon zkEVM 計劃於2023 年上半年上線主網。
此外,Polygon zkEVM 明確表示暫時沒有發幣計劃,ETH 將用於支付gas 費用。 MATIC 將用於質押,Polygon zkEVM 的治理。
相關閱讀:《 詳解Polygon zkEVM:號稱要把以太坊拓展至十億用戶》
四、Scroll
1、簡介:
Scroll 於2021 年創立,於去年年底完成3000 萬美元A 輪融資。和Polygon zkEVM 相似,Scroll 同樣致力於創建一個EVM 等效的zk-Rollup,並且在兼容性上更勝一籌,號稱最兼容EVM 的zk-Rollup,使得以太坊上的應用可以幾乎無縫遷移至二層網絡上。字節碼級別的兼容就可以實現兼容以太坊上的所有語言,並且也可以兼容以太坊上的工具,大大降低了在二層網絡上的開發難度。
值得一提的是,由於Scroll 聯合創始人Ye Zhang 在ZKP 硬件加速方面頗有經驗,Scroll 計劃在ZKP 方面利用硬件加速進一步提高驗證效率,建立一個去中心化的驗證網絡,將ZKP 的證明分發給參與者進行計算,並將結果匯總形成最終的證明。而該去中心化的驗證網絡將向所有人開放,並將設置激勵機制與懲罰機制。
相關閱讀:《 Scroll:多位以太坊社區成員支持的Zk-EVM Layer2網絡》
2、進度:
10 月11 日,Scroll 發布Pre-Alpha 測試網的升級版,已有一些預部署的應用例如Uniswap v2 等,允許用戶執行一些功能如L1 和L2 之間的轉賬,但目前階段還需要用戶註冊申請加入白名單才能參與測試。但由於出現了大量的刷量機器人,導致官方暫時放慢了測試申請的審核縮緊名單准入,因此會有很多用戶在社區反饋一直沒有收到郵件回复,社區建議更換錢包地址和郵箱重新申請。
Scroll 在測試網期間遭遇了嚴重的跨鏈延遲,也出現了無法訪問水龍頭的測試網代幣的情況,官方回應是由於以太坊嚴重擁堵引起的。
相關閱讀:《搶先體驗以太坊二層網絡Scroll Pre-Alpha 測試網》
此外,官方表示,數週後即將推出無許可的測試網,Alpha 測試網允許任何人在測試網上進行交互,開發者也可以無需許可地在網絡上部署合約。完整的測試網預計在今年年底推出。
在生態上,Web3 社交協議Lens Protocol 、預言機RedStone等項目近期已部署至以太坊擴容項目Scroll 的pre-alpha 測試網。
小結:
總體而言,StarkWare 和zkSync 雖然表示最終實現zkEVM,但畢竟不是字節碼層級的兼容,需要開發人員轉譯和遷移代碼,因此相較之下, Polygon zkEVM 和Scroll 會更靠近以太坊生態。
但EVM 兼容性並不是判斷L2 擴容方案好壞的唯一標準,只作為一個客觀指標。事實上,完全等效的EVM 雖然安全,但或許會在效率上會有所犧牲,Starkware 的Cario 預言構建的虛擬機和Zksync 的虛擬機在構建zk 上會更加靈活。
所以,這些協議沒有本質上的優劣之分,而且目前都還處於早期開發階段,除了保證安全性之外,後期開發者體驗和用戶體驗更加重要。