作者:念青,ChainCatcher
近期,隨著 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 賽道的真實情況。
zkSync推出用于構建定制zkRollup的模塊化開源框架ZK Stack:6月26日消息,zkSync 宣布推出用于構建定制 zkRollup 的模塊化開源框架 ZK Stack。ZK Stack 將賦予開發人員完全的自主權,從選擇數據可用性模式到使用項目自己的 Token 去中心化排序器。[2023/6/26 22:01:16]
一、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 版本。
ZK Rollup 訂單簿 DEX ZigZag 疑似已在以太坊上部署“ZZ”代幣合約,總量 1 億枚:6月20日消息,ZK Rollup 訂單簿 DEX ZigZag 疑似已在以太坊上部署代幣“ZZ”的智能合約,總量 1 億枚。此前 ZigZag 發推“24th June”,疑似暗示代幣發行的相關時間節點。
此前報道,6 月 14 日 ZigZag 在 GitHub 上提交代幣源代碼。[2022/6/20 4:39:45]
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 萬筆。
ZK Rollup訂單簿DEX ZigZag的NFT Swap功能將上線zkSync主網:5月13日消息,以太坊二層ZK Rollup訂單簿DEX ZigZag Exchange宣布NFT Swap功能將上線zkSync主網。[2022/5/13 3:14:49]
錢包: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 已上線主網。
二、zksync
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 產品。
ZigZag 開始搭建基于 Mimblewimble 的 ZK rollup 支付系統:3月16日消息,ZigZag 開始搭建基于 Mimblewimble 的 ZK rollup 支付系統 ZigZag InvisibL3。該項目由 0xonurinanc 帶領,旨在突破零識技術的極限,包括將現有的隱私技術擴展到更廣泛的應用程序并構建 L3, 使現有的 ZK 支持系統更強大。
據悉,官方團隊表示,ZigZag InvisibL3 的最終目標是成為最好的隱私 DEX。[2022/3/16 13:59:25]
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 暗示:“一些重大新聞即將發布”。
3、生態
據 zkSync 生態官網統計,目前已有 100 余個項目在網絡上部署。另據 L2beat 數據顯示,目前總鎖倉量為 627 萬美元,日均TPS為 0.37,30 天交易計數為 138 萬筆。
V神:ZK rollups是目前為止最好的解決方案:推特網友Toast Of Crypto提問稱,為什么要推動或強迫人們遠離理想的Layer 2擴容協議?以太坊創始人V神對此回復稱,因為ZK rollups是最好的解決方案,直到今年晚些時候與EVM兼容的Optimistic rollups出現,eth2將花費更長的時間。(注:ZK rollups是一種混合擴展方法,通過智能合約和零知識方法將鏈上安全性和第二層網絡結合在一起。)[2020/7/28]
錢包: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 (也支持錢包轉賬和領取測試幣等其他功能)
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 )
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)網絡 、帶有驗證獎勵代幣的去中心化拍賣模型。
Polygon zkEVM 于 10 月 10 日推出無需許可的公共測試網,Aave、Uniswap、Web3 社交平臺 Lens 和游戲工作室 Midnight Society 將成為首批部署在 zkEVM 測試網上的協議,目前測試網主要對開發者開放。Polygon zkEVM 計劃于 2023 年上半年上線主網。
此外,Polygon zkEVM 明確表示暫時沒有發幣計劃,ETH 將用于支付 gas 費用。MATIC 將用于質押,Polygon zkEVM 的治理。
四、Scroll
Scroll 于 2021 年創立,于去年年底完成 3000 萬美元 A 輪融資。和 Polygon zkEVM 相似,Scroll 同樣致力于創建一個 EVM 等效的 zk-Rollup,并且在兼容性上更勝一籌,號稱最兼容 EVM 的 zk-Rollup,使得以太坊上的應用可以幾乎無縫遷移至二層網絡上。字節碼級別的兼容就可以實現兼容以太坊上的所有語言,并且也可以兼容以太坊上的工具,大大降低了在二層網絡上的開發難度。
值得一提的是,由于 Scroll 聯合創始人 Ye Zhang 在 ZKP 硬件加速方面頗有經驗,Scroll 計劃在 ZKP 方面利用硬件加速進一步提高驗證效率,建立一個去中心化的驗證網絡,將 ZKP 的證明分發給參與者進行計算,并將結果匯總形成最終的證明。而該去中心化的驗證網絡將向所有人開放,并將設置激勵機制與懲罰機制。
2、進度:
10 月 11 日,Scroll 發布 Pre-Alpha 測試網的升級版,已有一些預部署的應用例如 Uniswap v2 等,允許用戶執行一些功能如 L1 和 L2 之間的轉賬,但目前階段還需要用戶注冊申請加入白名單才能參與測試。但由于出現了大量的刷量機器人,導致官方暫時放慢了測試申請的審核縮緊名單準入,因此會有很多用戶在社區反饋一直沒有收到郵件回復,社區建議更換錢包地址和郵箱重新申請。
Scroll 在測試網期間遭遇了嚴重的跨鏈延遲,也出現了無法訪問水龍頭的測試網代幣的情況,官方回應是由于以太坊嚴重擁堵引起的。
此外,官方表示,數周后即將推出無許可的測試網,Alpha 測試網允許任何人在測試網上進行交互,開發者也可以無需許可地在網絡上部署合約。完整的測試網預計在今年年底推出。
在生態上,Web3 社交協議 Lens Protocol 、預言機 RedStone等項目近期已部署至以太坊擴容項目 Scroll 的 pre-alpha 測試網。
小結:
總體而言,StarkWare 和 zkSync 雖然表示最終實現 zkEVM,但畢竟不是字節碼層級的兼容,需要開發人員轉譯和遷移代碼,因此相較之下, Polygon zkEVM 和 Scroll 會更靠近以太坊生態。
但 EVM 兼容性并不是判斷 L2 擴容方案好壞的唯一標準,只作為一個客觀指標。事實上,完全等效的 EVM 雖然安全,但或許會在效率上會有所犧牲,Starkware 的 Cario 預言構建的虛擬機和 Zksync 的虛擬機在構建 zk 上會更加靈活。
所以,這些協議沒有本質上的優劣之分,而且目前都還處于早期開發階段,除了保證安全性之外,后期開發者體驗和用戶體驗更加重要。
鏈捕手
媒體專欄
閱讀更多
金色財經
Yam
文章匯
達瓴智庫
CT中文
PANews
區塊律動BlockBeats
DeFi之道
老雅痞
硅星人
比推BitpushNews
10月18日,Aptos宣布「上線主網、發行Token」當日, Sui區塊鏈網絡仿佛按下了加速鍵,將官方賬號更名為SuiNetwork并以此作為新品牌亮相。此后,一系列動作出現.
1900/1/1 0:00:00撰文:William M. Peaster 編譯:DeFi 之道 圖片來源:由無界版圖AI工具生成本周早些時候,我寫了一篇關于 NFT 游戲設計困難之處的文章.
1900/1/1 0:00:0011月7日,以太坊舊金山黑客松宣布13個獲獎項目,分別為 mundo、FuelScape、BB3 - BEEP3R、DAOCensus、melo vault、Org3、UNIC、ZK Secti.
1900/1/1 0:00:00以太坊巴黎升級(合并,共識轉POS)之后又一重大更新即將到來——上海升級!目前有著上千專業開發者的以太坊核心社區,從15年走來已經歷經15次主網升級.
1900/1/1 0:00:00撰文:湯圓 蜂巢財經10 月 27 日,特斯拉 CEO 埃隆·馬斯克(Elon Musk)以 440 億美元收購了社交平臺推特(Twitter).
1900/1/1 0:00:00文/Maestro, M6 LABS RESEARCH長期以來,葡萄牙一直是國際Crypto投資者的最佳目的地.
1900/1/1 0:00:00