編者按:10 月 28 日,由 Matter Labs 構建的以太坊擴容解決方案正式發布了 zkSync 2.0 的第一階段 Baby Alpha,雖然出于測試需求,該網絡暫時不會向外部參與者開放,但作為首個啟動主網的 EVM 兼容型 zk-rollup,zkSync 2.0 的上線對于整個以太坊生態的擴容“長征”來說仍是一次值得紀念的里程碑時刻。
在下文中,分析師 Grant Griffith 以通俗的語言解析了 zkEVM 的重要意義,并對比了包括 zkSync 2.0 在內的多家致力于實現 zkEVM 的項目,可幫助讀者較輕松了解 zkEVM 這場競賽的格局及最新動態。
下文內容由 Odaily 星球日報編譯,存在一定刪改。
zk-rollup,尤其是與以太坊虛擬機(EVM)兼容的 zk-rollup(zkEVM)一直都被視為是以太坊擴容道路上的圣杯。雖然我們暫時還沒能完全走通這條路,但多家項目最新的開發成果顯示,這一曾經看起來還需要數年之遙的事情似乎已經觸手可及了。競賽已然拉開帷幕,讓我們一起來見證吧。
首先我們來回顧一個問題,為什么當前明明是 optimistic-rollup 的 TVL 更高,但市場卻普遍更認可 zk-rollup?
答案是,盡管這兩種形式的 rollup 在可擴展性和 tps 方面都可帶來巨大的改進,但 zk-rollup 在事務確認(無需挑戰期)和安全性方面具有顯著優勢,相較于 optimistic-rollup,zk-rollup 通常會被認為更加安全,因為它的安全性依賴于無需信任的加密技術,而非依賴于網絡參與者可以誠實地提交欺詐證明。當然了,optimistic-rollup 也有自己的優勢,比如它不需要通過在專用機器上執行復雜的計算來生成證明(這會帶來其他成本)。
數據:Polygon zkEVM交易筆數突破100萬筆:6月16日消息,Polygon創始人Sandeep Nailwal發推稱,Polygon zkEVM交易筆數已突破100萬筆。另據L2Beat數據顯示,當前Polygon zkEVM鎖倉量達到3456萬美元,創下新高。[2023/6/16 21:41:42]
除了這些區別之外,zk-rollup 和 optimistic-rollup 在理論上差異并不大,但也僅僅是理論上而已,因為就現實情況來看暫時只有 optimistic-rollup 可以與 EVM 實現良好兼容,這使得當前 optimistic-rollup 系項目的生態發展進度暫時領先于 zk-rollup 系項目。
所有的公共區塊鏈(包括 rollup)都存在著一個共同的目標 —— 為了在生態采用方面盡早實現網絡效應,需要盡可能快速地獲取開發者以及用戶 —— 這正是 EVM 兼容性所能帶來的便利。
EVM 兼容性是一個與智能合約的編寫和部署方式相關的概念,如果一個區塊鏈被認為是與 EVM 兼容的,那就意味著它的智能合約(大體上)是按照符合 EVM 特定規則的方式編寫的。用更通俗的話來說就是,如果你復制、粘貼一套在以太坊網絡上可讀的代碼,并將其部署到其它鏈上,如果該鏈支持且可處理這些轉置的代碼,它就會被認為是具有 EVM 兼容性的。考慮到以太坊無可比擬的開發者歡迎程度,兼容 EVM 被認為可以減少開發者入駐的阻礙,從而有效推進新鏈的生態發展速度。
Polygon zkEVM已修復阻礙L1資產橋接至L2的漏洞,沒有資金面臨風險:5月29日消息,Scroll 區塊鏈安全研究員 iczc 發推稱,在 Polygon zkEVM 中發現一個漏洞,并獲得來自 Web3 漏洞賞金平臺 Immunefi L2 漏洞賞金。該漏洞導致從 L1 橋接至 Polygon zkEVM(L2)的資產無法在 L2 中正確認領,從而阻礙了 L1 至 L2 的資產遷移。
iczc 在處理認領交易(claim tx)預執行結果的代碼邏輯中發現,惡意攻擊者可以通過將 Gas 費設置為非零來繞過對認領交易的「isReverted」預執行檢查,使其可以通過發送大量低成本的 claim 對定序器和驗證器進行 DoS 攻擊,從而增加計算開銷。此外,交易不會在執行后立即從池中刪除。狀態從「待定」更新為「選定」,并繼續存在于 PostgreSQL 數據庫中。目前,只有一個可信的定序器能夠從交易池中獲取交易并執行它們。因此,另一個漏洞是通過發送一個失敗的交易來惡意標記任何存款數。這將導致正確使用存款數的 認領交易被拒絕,因為存款數已經被使用。這使得新用戶無法使用 L2 網絡。Polygon zkEVM 團隊通過刪除認領交易的特定 gas 邏輯,修復了這一漏洞,沒有資金面臨風險。[2023/5/29 9:48:40]
這里需要再提一個新概念 —— EVM 等效性。簡而言之,EVM 等效性比 EVM 兼容性更進一步,這意味著新鏈智能合約的編寫和部署完全符合 EVM 規范,實現真正的“即插即用”。相比之下,早期市場所強調的 EVM 兼容性并不要求實現最精確的 EVM “等效” (可能還是需要對代碼進行一些少量的重寫)。
Aave社區關于“在Polygon zkEVM主網上部署V3 MVP版本”的ARFC提案已獲投票通過:3月31日消息,據投票頁面顯示,Aave社區關于“在Polygon zkEVM主網上部署V3 MVP版本”的ARFC提案(ARFC提案通常被視為“溫度檢查”)以100%的支持率獲得投票通過,將進入正式的鏈上投票。該提案指出部署 Aave V3 開發工作量較小,但為了減少風險,該提案建議限制流入資產,并設置保守的風險參數,使開發和風險服務提供商對zkEVM網絡進行更深入的分析。該提案建議只加入三個抵押品(WETH、WMATIC 和 USDC)和一個可借貸資產(USDC),以減少風險。
自2022年10月起,Aave V3已成功部署在zkEVM測試網,運行約 6 個月。zkEVM是Polygon團隊開發的L2解決方案,與EVM等效。Polygon zkEVM主網Beta版已于近日上線。[2023/3/31 13:36:54]
鑒于零知識技術和證明的復雜性,以太坊最初的設計并沒有考慮 ZK 友好性,這導致開發通用 zkEVM 需要攻克大量難題。然而,創新的大門正在被推開,讓我們來看看哪些項目正在領跑吧。
Polygon zkEVM
10 月 10 日,Polygon 宣布啟動了 Polygon zkEVM 的公共測試網。這是 Polygon 在零知識證明技術這條路上瘋狂出招后(包括收購 Mir Protocol,合并 Hermez 等等)而實現的最新成果。該測試網目前正處于壓力測試模式,Polygon 鼓勵用戶在網絡上部署合約并幫助發現潛在的錯誤。
Orbiter Finance測試網產品已整合至Polygon zkEVM:3月9日消息,Orbiter Finance宣布其測試網產品已整合至Polygon zkEVM。[2023/3/9 12:52:32]
根據 CoinDesk 此前的報道,預計 Polygon zkEVM 將在 2023 年初的某個時間推出主網。
從 EVM 兼容程度上看,盡管 Polygon 正在努力達到 EVM 等效性的級別,但暫時還沒有完全實現。截至發文,雖然已支持了所有的 EVM 操作碼,但該項目的 Github 代碼庫顯示其暫時只測出了 97% 的兼容性覆蓋程度。在這一點是,Polygon 一直圍繞著“EVM 等效”亮點而做的品牌宣發也招致了一些批評,因為社區正越來越在意“完全等效”與“高度兼容”之間的區別。
zkSync
與 Polygon 類似,由 Matter Labs 創建的 zkSync 近期了做了大量關于 zkEVM(zkSync 2.0)的宣發。10 月 28 日,zkSync 2.0 剛剛上線了主網第一階段 Baby Alpha,成為了第一個部署主網的 zkEVM 解決方案。不過,該主網暫時還還不支持任何外部項目,團隊正在繼續進行壓力測試,以確保一切能夠按預期執行。
Aave社區發起在Polygon zkEVM主網上部署Aave V3 MVP版本的溫度檢查討論:3月3日消息,Aave社區發起關于在Polygon zkEVM主網上部署Aave V3 MVP版本的溫度檢查治理討論。目前,社區希望通過該提案討論,在zkEVML2上部署Aave V3.0.1(MVP V3),將使Aave Governance在該網絡上盡早建立戰略地位。部署AaveV3開發工作量較小,但為了減少風險,該提案建議限制流入資產,并設置保守的風險參數,使開發和風險服務提供商對zkEVM網絡進行更深入的分析。該提案建議只加入三個抵押品(WETH、WMATIC和USDC)和一個可借貸資產(USDC),以減少風險。[2023/3/3 12:40:50]
根據 zkSync 官方披露的路線圖,第一階段后的下一階段為 Fair Onboarding Alpha,開發者能夠移植到 zkSync 并開始在網絡上構建應用。當前,包括 Uniswap 在內的超 100 家項目已表態有意在 zkSync 2.0 上部署其應用程序。再往后的階段是 Full Launch Alpha,屆時網絡對所有人完全開放,預計這將發生在年底左右。
從 EVM 兼容程度上看,zkSync 2.0 正在朝著 EVM 兼容的方向發展(并非等效)。就目前來看,zkSync 2.0 的兼容性程度或許會低于 Polygon,因為 Polygon 已通過支持所有的 EVM 操作碼來實現了“操作碼級別的等效””,但 zkSync 2.0 暫時并沒有明確支持。盡管這種偏差可能會給 zkSync 2.0 帶來其他一些優勢(比如更快的證明生成時間、更低的成本等),但如果整體兼容性較低,可能會在開發者遷移方面帶來更多的摩擦。
Scroll
當在 EthCC 2022 上宣布正致力于實現 zkEVM 時,Scroll 的知名度或許并不如其它一些競爭對手。不過,這并不意味著我們可以忽視這一項目。幾周前,Scroll 已宣布升級其 alpha 測試網,支持了智能合約的部署,此次升級給了開發者們第一次與 Scroll 基礎設施交互的機會。預計接下來 Scroll 將會推出一個更大規模的 alpha 測試網,并對所有用戶開放。
EVM 兼容程度上,與 Polygon zkEVM 一樣,Scroll也在努力實現 EVM 的完全等效,這包括了直接支持每個 EVM 操作碼。然而,Scroll 暫時也還沒有完成所有核心工作。
StarkNet
當談及 ZK-STARK 技術時,Starkware 無疑是先驅。StarkNet alpha 早在 2021 年 11 月就已在以太坊主網上發布,且已有 100 多個項目正在該平臺上建設。
EVM 兼容程度方面,與其他一些 rollup 項目不同,StarkNet 所使用的基礎智能合約語言并不是 Solidity,而是 Cairo,因此其本身并不與 EVM 兼容。不過,該團隊正在積極地構建一些提高兼容性的方法,Nethermind 的 Warp 項目正在構建一個 Solidity - Cairo 的“編譯器”,它允許使用 Solidity 編寫的項目將其代碼庫“一鍵”翻譯成 Cairo,以便在 StarkNet 上部署。該“編譯器”仍在開發中,一旦生效,它將使 StarkNet 實現與 zkSync 2.0 相似的 EVM 兼容級別。
值得注意的是,幾天前 Starkware 剛剛推出了一個名為 Kakarot 的新產品,這是一個基于 Cairo 編寫的 EVM。它將能夠在 StarkNet 上運行以太坊的智能合約,將 EVM 的兼容性程度提高到當前 Polygon 和 Scroll 所處的級別。關于該產品的細節仍然很少,Starkware 一直在強調 9000 這個數字,雖然具體意義尚且不明,但大概率是在指 tps。
Taiko 等新項目
并非所有致力于 zkEVM 項目都能像前邊幾家項目那樣已經拿出了切實的成果。比如 Taiko,這是當前在 zkEVM 領域耕耘的最新項目之一,該項目幾周前(10 月 7 日)首次分享了其白皮書,其愿景是構建 EVM 等效的 zk-rollup,從而為開發者、用戶和基礎設施提供者在采用方面創造最平穩的路徑。
顯然,包括 Taiko 在內的許多其他項目都還處于真正的“早期階段”。
需要在文末特點說明的一點是,在 Polygon、zkSync 和 Scroll 于 EthCC 2022 公布其最新進展之后,Vitalik Buterin 曾發表了一篇根據兼容性級別來區分不同類型的 rollup 的文章,文章基本覆蓋了前文提到的幾大 rollup。
Vitalik 的一個核心觀點是,EVM 兼容性的差異并不一定意味著一個 rollup 更好或更差。我們需要考量其它一些權衡因素,兼容性較低的 rollup 可能會在吸引開發者方面存在一定劣勢,但與此同時這或許也會帶來其它的一些靈活性優勢。在分析不同的 rollup 時需要牢記這一點,當某個 zkEVM 不尋求 EVM 等效性時,它是否還能拿出其他的優勢來證明這一取舍是合理的?什么才是最佳的路徑,市場暫時仍然沒有答案,不同的項目正在探索不同的方向,這對整個行業是有益的。
事實上,隨著先驅項目們逐漸邁向主網,在未來的幾個月和幾年里,我預計將有無數更多的項目帶著他們自己的方案進入市場。考慮到 zkEVM 的發展還處于早期階段,市場之上仍有著許多的空間供新項目們進入。在未來的一段時間里,觀察這一賽道會如何發展,贏家是誰,將是一件很有趣的事情。
Odaily星球日報
媒體專欄
閱讀更多
金色財經
康水躍
Sui World
深潮TechFlow
愛范兒
NFT中文社區
Footprint
21世紀經濟報道記者
蔣長浩
主要攻擊事件超37起,總損失約4億504萬美元據Beosin EagleEye 安全預警與監控平臺監測顯示,2022年第三季度共監測到區塊鏈生態領域主要攻擊事件超37起.
1900/1/1 0:00:00作者:Beam 2022 年 9 月 15 日,以太坊合并(Merge)。這是一個歷史性的時刻,以太坊為此準備了 5 年、推遲了 6 次,由于反復的調試與長期的開發、萬眾矚目的暈輪效應,很多人誤.
1900/1/1 0:00:00合同是人類商業世界最重要的制度設計之一,是雙方當事人基于意思表示達成一致而成立的法律行為,是私法自治的主要表現.
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零知識技術(ZK)是一種推動技術,不僅將改變 Web3,還將改變其他行業。作為一種足夠通用的技術,ZK 可以擁有多種用例,而我們正處于弄清楚該技術可以實現的所有用例的早期階段.
1900/1/1 0:00:00▌馬斯克對銀行表示計劃在周五完成收購推特交易10月26日消息,據外媒報道,知情人士透露,馬斯克周一在與融資行的視頻會議上承諾在周五結束前完成對推特(TWTR.N)的收購交易.
1900/1/1 0:00:00