作者:念青,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賽道的真實情況。
區塊鏈開發平臺Alchemy啟動對ZK Rollup StarkNet的支持:金色財經報道,區塊鏈開發平臺 Alchemy 啟動對 ZK Rollup StarkNet 的支持,Starknet 現已在 Alchemy 上公開發布,通過向公眾開放,Alchemy 正在為 Starknet 的開發者社區提供基礎設施和工具,構建者可以創建功能豐富、突破性的 dapp,starknet 用戶可以在本地使用智能合約賬戶,而無需將他們的錢包重新編程為智能合約。雖然新產品僅代表 Alchemy 支持的 39 個區塊鏈之一,但該公司表示,StarkNet集成是關鍵,因為它的“快速發展的開發者社區”和該項目的“零知識rollups的開創性方法”。[2023/5/5 14:43:29]
一、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自主部署。
Polygon正在對zk rollups技術進行性能測試:1月14日消息,Polygon正在對零知識匯總 (zk rollups) 技術進行性能測試。這項名為Polygon zkEVM技術的開發已經由Polygon Hermez團隊進行了三年多。通過在zkEVM測試網的主要版本中生成超過12,000個zk證明,該團隊已經確認零知識證明在以太坊上是可行的。(Cointelegraph)[2023/1/14 11:12:10]
StarkNet所使用的基礎智能合約語言并不是Solidity,而是圖靈完備的零知識證明系統語言Cairo,本身并不與EVM兼容。團隊一直在尋求zkEVM兼容,10月底,StarkWare宣布推出基于Cairo編寫的zkEVM,但實際開發還在早期階段,并未落地。
此外,以太坊開發團隊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。
波卡二層擴容協議Plasm Network成功部署ZK Rollups:據官方消息, 波卡二層擴容協議Plasm Network表示,今天成功在Plasm Network部署ZK Rollups。[2021/1/14 16:10:53]
目前,StarkNet正在Goerli上啟動第二個測試網,并在社區發起征集命名的提案。新測試網主要面向開發人員,用于測試應用程序,并非公測階段。
此外,StarkWare在7月就公布了代幣經濟學,原生代幣此前定于9月發行,但團隊因為技術原因推遲發行。StarkNet代幣初始發行量為100億枚,17%?分配給StarkWare投資者,32.9%分配給核心貢獻者,51%分配給基金會。但官方表示,初始階段不會為用戶提供免費代幣,所有代幣會在發布后立即鎖定。
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和流動性質押協議,目前在測試階段。
以太坊ZK Rollup擴容方案Hermez發布白皮書:由以太坊擴容解決方案技術團隊iden3推出基于ZK Rollup概念的擴容網絡Hermez發布白皮書,據白皮書介紹,Hermez允許在以太坊公共區塊鏈之上擴展支付和代幣轉移,它的設計考慮了ETH、DAI、USDT和WBTC等代幣。Hermez通過將每筆交易壓縮到約10個字節來改善區塊鏈的可擴展性,預估可以提升到2000 筆每秒的交易速度。[2020/10/10]
BrineFinance:訂單簿交易DEX,目前仍在測試網上。
FibrousFinance:StarkNet上的AMM聚合器,仍在測試網上運行。
mySwap:StarkNet上的第一個AMMDEX。
zkLend:StarkNet上的借貸協議,包含兩個產品Artemis和Apollo。
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產品。
2、進度:
V神:ZK Rollup和Optimistic Rollup均取得巨大進展:以太坊創始人V神剛剛發推表示,Rollups(包括ZK Rollup和Optimistic Rollup)已經存在并繼續取得巨大進展。雖然分片(sharding)仍在快速發展,但我們并不依賴于分片來實現1000+的鏈上TPS。在eth2中,分片和Rollups的縮放增益將成倍增加。[2020/5/21]
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暗示:“一些重大新聞即將發布”。
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的證明分發給參與者進行計算,并將結果匯總形成最終的證明。而該去中心化的驗證網絡將向所有人開放,并將設置激勵機制與懲罰機制。
2、進度:
10月11日,Scroll發布Pre-Alpha測試網的升級版,已有一些預部署的應用例如Uniswapv2等,允許用戶執行一些功能如L1和L2之間的轉賬,但目前階段還需要用戶注冊申請加入白名單才能參與測試。但由于出現了大量的刷量機器人,導致官方暫時放慢了測試申請的審核縮緊名單準入,因此會有很多用戶在社區反饋一直沒有收到郵件回復,社區建議更換錢包地址和郵箱重新申請。
Scroll在測試網期間遭遇了嚴重的跨鏈延遲,也出現了無法訪問水龍頭的測試網代幣的情況,官方回應是由于以太坊嚴重擁堵引起的。
此外,官方表示,數周后即將推出無許可的測試網,Alpha測試網允許任何人在測試網上進行交互,開發者也可以無需許可地在網絡上部署合約。完整的測試網預計在今年年底推出。
在生態上,Web3社交協議LensProtocol、預言機RedStone等項目近期已部署至以太坊擴容項目Scroll的pre-alpha測試網。
小結:
總體而言,StarkWare和zkSync雖然表示最終實現zkEVM,但畢竟不是字節碼層級的兼容,需要開發人員轉譯和遷移代碼,因此相較之下,PolygonzkEVM和Scroll會更靠近以太坊生態。
但?EVM兼容性并不是判斷L2擴容方案好壞的唯一標準,只作為一個客觀指標。事實上,完全等效的EVM雖然安全,但或許會在效率上會有所犧牲,Starkware的Cario預言構建的虛擬機和Zksync的虛擬機在構建zk上會更加靈活。
所以,這些協議沒有本質上的優劣之分,而且目前都還處于早期開發階段,除了保證安全性之外,后期開發者體驗和用戶體驗更加重要。
CeFi信任危機 FTX作為行業僅次于幣安的第二大加密生態,在短時間內遭遇擠兌,突然暴雷,震驚了整個加密貨幣世界。我們應該重新審視CEX的風險.
1900/1/1 0:00:00DeFi數據 1、DeFi代幣總市值:378.46億美元 DeFi總市值及前十代幣數據來源:coingecko2、過去24小時去中心化交易所的交易量39.
1900/1/1 0:00:00作者:Sal.xyz 編譯:若華,MarsBit 圖片來源:由無界版圖AI工具生成我閱讀了400多頁關于電子游戲經濟設計的書籍、學術論文和博客,所以你就不必這樣做了!其中一些發現會讓你吃驚.
1900/1/1 0:00:00原文作者:korpi 現在每個項目都在進行空投,但許多人將一無所獲。為什么?因為項目正在不斷改進他們的方法,以排除Sybilfarmers。如何增加未來所有空投的機會?本文總結了5個簡單步驟.
1900/1/1 0:00:00原文標題:《V3LP損失約1億美元,向Uniswap發出預警的帖子到底說了什么?》 原文作者:Alex 本來,我只是做了個關于Uniswap的Dune儀表盤,卻在?DeFi?圈內引起了轟動.
1900/1/1 0:00:00原文:《IsAlamedaResearchInsolvent?》byDirtyBubbleMedia 編譯:Felix SamBankman-Fried,更為人所知的是SBF.
1900/1/1 0:00:00