主要 zkEVM 項目2023 年進展大盤點

金色財經

2023/12/25

作者：Alex Connolly，Immutable聯創兼CTO；翻譯：金色財經xiaozou2022年8月，我曾寫過一篇關於zkEVM當前發展狀態的博文，標題為《zkEVM、EVM兼容性及Rollup基礎指南》（Ground Up Guide to zkEVM, EVM Compatibility and Rollups）。在同一周，V神發布了一篇文章，介紹了不同類型的zkEVM，確立了Type...

網頁鏈接

免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。

熱議股票

{"basename":"/hant","ssrTDKData":{"titleTemplate":"%s - 老虎證券","title":"老虎證券香港 | 輕鬆買賣美股港股A股/美債/ETF/Crypto/期權期貨","description":"老虎證券香港提供多種優惠: 港股&Crypto 0佣、A股一年0佣、美股期權0佣、IPO抽新股0孖展利息0手續費。美股1美金起投，即時串流報價與多種工具，立即開戶享更多優惠！","keywords":"老虎證券,老虎證券開戶,老虎證券香港,老虎證券投資,老虎證券美股,老虎證券登錄,證券開戶,證券公司開戶,股票開戶,香港證券公司,香港證券,證券公司,美股投資平台,小額投資理財,投資app,投資平台,股票買賣,買賣股票平台,炒股app,證券app,新手投資","social":{"ogDescription":"老虎證券香港提供多種優惠: 港股&Crypto 0佣、A股一年0佣、美股期權0佣、IPO抽新股0孖展利息0手續費。美股1美金起投，即時串流報價與多種工具，立即開戶享更多優惠！","ogImage":"https://c1.itigergrowtha.com/portal5/static/media/og-logo.be62fbe1.png","ogUrl":"https://www.itiger.com/hant/news/2394257457"},"companyName":"老虎證券"},"pageData":{"isMobile":false,"isTiger":false,"isTTM":true,"region":"HKG","license":"TBHK","edition":"fundamental"},"isCrawlerRequest":true,"__swrFallback__":{"@#url:\"https://stock-news.skytigris.cn/v3/news\",params:#id:\"2394257457\",edition:\"fundamental\",auth_exemption:1,,,undefined,":{"share":"https://ttm.financial/m/news/2394257457?lang=zh_TW&edition=fundamental","thumbnail":"https://static.tigerbbs.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABgAAAAYCAYAAADgdz34AAAACXBIWXMAABYlAAAWJQFJUiTwAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAH5SURBVHgB7VXBUQJBEJxZqiykfFwGnhGIEQgZyEMt/HAbgRgBEIESwcLLAh+QgWQARCBmwAstq7h15m454Gr3OP7Mi73d6Z7p7R0ATnEgMM8hpd59AFEGCL34i1hS6kLKh9mhXHSDKk+Ii2etw4CWvuPYgiAmWq87UtYXuQn6/Y+W1roJoL0U0HeUhOLakJYTIBTtRuO+k0nAUiAWFAFXeE0kXZKj55Iilg7aBN4wn2bUcW23G9wHF59cGQHPCTjIo3E6l7slkuqGBOMDykMsTbfgPxUp5RKOCKVGhPHHJOW4k1WVMUTEgqXWIXAugioNlBrc2QikrC21PqsyOJMYTEClhrTQ03Rr6ej1Bl+wdROdXd3YC4nuccoGYTyBCK+8QQun1UzV/s4n+l10dFLnQiM3EVFLbLfQA2eElj2dcUfbPcGPJGbDlrGdJYpjiN5CEvSKn8a2k8ZRkf5aw4ugliax34FcIEZ8mekkvsAgeLyihBq1L1l/OzjnIhOzYbpsc2NTu8XgiIjBzyekBL/yxARiUyG/QCMDW2zqlssGPizvg4dJgZZRIUaQzBjsZQ0yY3EeE01znueVtI6KFFF7c1EmZqayeZSEhUszr3wDQwqsSfN6O42VMa6TQXYLGeOaSPsAv2+uO8v5h8Maa3//DyecuaQ7xVHxD4rDJjfZUTFuAAAAAElFTkSuQmCC?op=imageView2&mode=2&width=256&height=256&quality=70&format=png","is_english":false,"pubTime":"2023-12-25 18:39","share_image_url":"https://static.laohu8.com/e9f99090a1c2ed51c021029395664489","id":"2394257457","market":"hk","top_or_hot":-1,"title":"主要 zkEVM 項目2023 年進展大盤點","media":"金色財經","content":"<div>\n<p>作者：Alex Connolly，Immutable聯創兼CTO；翻譯：金色財經xiaozou2022年8月，我曾寫過一篇關於zkEVM當前發展狀態的博文，標題為《zkEVM、EVM兼容性及Rollup基礎指南》（Ground Up Guide to zkEVM, EVM Compatibility and Rollups）。在同一周，V神發布了一篇文章，介紹了不同類型的zkEVM，確立了Type...</p>\n\n<a href=\"https://www.jinse.cn/blockchain/3670673.html\">網頁鏈接</a>\n\n</div>\n","source":"jinse_stock","html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>主要 zkEVM 項目2023 年進展大盤點</title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 12.5px; color: #7E829C; margin: 0;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\n主要 zkEVM 項目2023 年進展大盤點\n</h2>\n<h4 class=\"meta\">\n<p class=\"head\">\n<strong class=\"h-name small\">金色財經</strong><span class=\"h-time small\">2023-12-25 18:39</span>\n</p>\n</h4>\n</header>\n<article>\n<div>\n<p>作者：Alex Connolly，Immutable聯創兼CTO；翻譯：金色財經xiaozou2022年8月，我曾寫過一篇關於zkEVM當前發展狀態的博文，標題為《zkEVM、EVM兼容性及Rollup基礎指南》（Ground Up Guide to zkEVM, EVM Compatibility and Rollups）。在同一周，V神發布了一篇文章，介紹了不同類型的zkEVM，確立了Type...</p>\n\n<a href=\"https://www.jinse.cn/blockchain/3670673.html\">網頁鏈接</a>\n\n</div>\n\n<div class=\"bt-text\">\n\n\n<p> 來源：<a href=\"https://www.jinse.cn/blockchain/3670673.html\">金色財經</a></p>\n<p>為提升您的閱讀體驗，我們對本頁面進行了排版優化</p>\n\n\n</div>\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"BK4023","symbol_name":"應用軟件","start_time":0,"source_url":"https://www.jinse.cn/blockchain/3670673.html","article_id":"2394257457","we_media_id":null,"thumbnails":["https://static.tigerbbs.com/data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABgAAAAYCAYAAADgdz34AAAACXBIWXMAABYlAAAWJQFJUiTwAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAH5SURBVHgB7VXBUQJBEJxZqiykfFwGnhGIEQgZyEMt/HAbgRgBEIESwcLLAh+QgWQARCBmwAstq7h15m454Gr3OP7Mi73d6Z7p7R0ATnEgMM8hpd59AFEGCL34i1hS6kLKh9mhXHSDKk+Ii2etw4CWvuPYgiAmWq87UtYXuQn6/Y+W1roJoL0U0HeUhOLakJYTIBTtRuO+k0nAUiAWFAFXeE0kXZKj55Iilg7aBN4wn2bUcW23G9wHF59cGQHPCTjIo3E6l7slkuqGBOMDykMsTbfgPxUp5RKOCKVGhPHHJOW4k1WVMUTEgqXWIXAugioNlBrc2QikrC21PqsyOJMYTEClhrTQ03Rr6ej1Bl+wdROdXd3YC4nuccoGYTyBCK+8QQun1UzV/s4n+l10dFLnQiM3EVFLbLfQA2eElj2dcUfbPcGPJGbDlrGdJYpjiN5CEvSKn8a2k8ZRkf5aw4ugliax34FcIEZ8mekkvsAgeLyihBq1L1l/OzjnIhOzYbpsc2NTu8XgiIjBzyekBL/yxARiUyG/QCMDW2zqlssGPizvg4dJgZZRIUaQzBjsZQ0yY3EeE01znueVtI6KFFF7c1EmZqayeZSEhUszr3wDQwqsSfN6O42VMa6TQXYLGeOaSPsAv2+uO8v5h8Maa3//DyecuaQ7xVHxD4rDJjfZUTFuAAAAAElFTkSuQmCC?op=imageView2&mode=2&width=256&height=256&quality=70&format=png"],"rights":{"source":"jinse_stock","url":"https://www.jinse.cn/blockchain/3670673.html","rn_cache_url":null,"directOrigin":true},"url":"https://stock-news.laohu8.com/highlight/detail?id=2394257457","pubTimestamp":1703500762,"columns":[],"sourceInfo":{"source_id":"jinse_stock","name":"金色财经"},"weMediaInfo":null,"summary":"各zkEVM項目進展情況如何，怎樣才能產生可喜的關注度？","collect":0,"end_time":0,"defaultTopTitle":"jinse.cn","property":[],"viewcount":null,"language":"zh","relate_stocks":{"BK4023":"应用软件"},"translate_title":"Progress of major zkEVM projects in 2023","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"CDK":1},"content_text":"作者：Alex Connolly，Immutable聯創兼CTO；翻譯：金色財經xiaozou2022年8月，我曾寫過一篇關於zkEVM當前發展狀態的博文，標題為《zkEVM、EVM兼容性及Rollup基礎指南》（Ground Up Guide to zkEVM, EVM Compatibility and Rollups）。在同一周，V神發布了一篇文章，介紹了不同類型的zkEVM，確立了Type 1、Type 2分類法，現在通常用使用不同的Type分型來稱呼不同的zkEVM——競爭很是激烈！在那篇博文中，我做出瞭如下預測：……還應該對智能合約rollup的當前狀態有清醒認知。每個團隊都有強烈的動機將自己推銷為是那個「即將接管世界」的角色——但最早要到2022年底，以太坊上才會出現「生產級」的智能合約，而其中許多團隊要到2023年後期才能做好準備。我們現在已經到了「2023年結尾」了——zkEVM的開發和採用情況如何了？從zkEVM的很多方面來説，今年都是重要的一年：· Polygon zkEVM、Linea和Scroll發布！· Immutable宣佈下一個rollup——Immutable zkEVM· Polygon宣佈計劃將Polygon PoS升級至zkEVM Validium· Optimism表明計劃支持OP Stack鏈作為zkEVM運行無論怎樣，數據是不言自明的：簡而言之，zkEVM的開發工作正在進行中，但與現有的區塊鏈相比，目前還沒有哪個zkEVM獲得了巨大采用。這篇文章的目的是回答一個顯而易見的問題——各zkEVM項目進展情況如何，怎樣才能產生可喜的關注度？首先，讓我們快速回顧一下V神的「zkEVM類型」，有助於理解zkEVM項目：這看起來很複雜，但實際上很容易理解。每個人最初都在心裏認為zkEVM只是採用現有的以太坊執行客户端（例如Geth、Nethermind、Erigon），生成其執行跟蹤的zk（零知識）證明，並使用這些證明來確保L1-L2消息橋接。然而，EVM最初的設計考量並不包括zk證明，而且這種方法效率非常低（例如，以太坊的keccak哈希函數成本高昂）。所以，我們有幾個選擇：· Type 1 – 只管處理，我的用户/我將付費。這裏有兩個主要優勢：你可以使用現有區塊鏈的Type 1 Prover（證明程序），並且你不需要維護自己的以太坊客户端（開發成本可能與證明成本一樣高），但是你必須保持執行客户端更新。· Type 2 -- 不觸及「應用層」（例如，不改變操作碼成本/實現），但要更改鏈上節點，使其具有對prover更友好的內部結構（例如，使用Sparse默克爾樹來表示狀態）。這種方法的一大缺點是，你需要維護一個永久分叉的以太坊客户端。考慮到以太坊已經在費力維護多個生產級客户端，這是一項非常重要的任務，需要有一個專業的區塊鏈工程師團隊。· Type 3 – 完成Type 2中的所有工作，同時修改EVM，去掉最難證明的部分（例如，一些很少使用的預編譯），這可能會增加prover密集型操作的操作碼成本。這是將你的prover推向市場的最快方式，但你需要進行上述所有客户端更新，並經歷與現有以太坊應用和工具不兼容的情況（例如，使用這些預編譯的任何合約都會中斷）。· Type 4 -- 創建專為高效zk證明而設計的自定義VM，並創建運行該VM的自定義客户機。這將大大降低驗證成本，但需要構建一個龐大的工具和基礎設施生態系統來支持你的自定義VM/客户機。你或許能夠提供某種形式的Solidity代碼轉換，但是開發人員可能必須對他們現有的合約和工具進行實質性的更改才能在你的鏈上部署。在我看來，大多數Type 4 rollup都不是真正的zkEVM——用「智能合約zk-rollup」來描述可能更準確。用表格的形式可能更容易理解：到2023年底，幾乎每個活躍項目都是Type 3或Type 4 rollup，原因很簡單：它們的構建速度要快得多（以兼容性和不斷增加的維護開銷為代價）！有趣的是，幾乎所有目前屬於Type 3的項目都計劃最終成為Type 2或Type 1 rollup，以提高其與以太坊的兼容性，並有可能不再需要開發自己的客户端。在去年的博文中，我主要關注了各zkEVM團隊如何設計他們的prover。今年，我想涵蓋各項目做法的其他重要方面，包括那些沒有被經常討論的事項（如各zkEVM執行客户端計劃）。例如，許多人認為L2是「排序器」（sequencer）和prover，而標準的zkEVM設計實際上看起來更像是這樣！還有其他的排序器設計（我們將在後面討論），但大多數zkEVM目前都計劃運行一個單獨的區塊鏈作為L2排序器，具有自己的執行客户端（接收和執行交易）和共識客户端（就所有L2節點的交易順序達成共識）。重要的是，修改標準以太坊客户端來創建你自己的自定義鏈是有成本的。每次的以太坊客户端更改（特別是每次硬分叉）都將是所有zKEVM團隊的治理決策項。自定義的部分越多，進行上游變更就越困難。隨着時間的推移，很容易產生zkEVM異步——在某個點上與以太坊匹配的zkEVM將迅速失去同步。1、zkEVM項目狀態那麼，我們去年探討的那些項目怎麼樣了？（1）Polygon zkEVM（以及Polygon CDK鏈）Polygon zkEVM於2023年3月在主網上線，迄今已處理了近1000萬筆交易。它目前屬於Type 3類型，目標是在2024年的某個時候成為Type 2。當然，作為Type 2/3，Polygon zkEVM需要有屬於自己的自定義客户端實現。Polygon選擇從頭開始構建自己的客户端（zkevm-node）以獲取兼容性，但這個新客户端發生過停機事故，並且缺少許多標準以太坊客户端所具有的功能。為了彌補這一點，Polygon與gateway.fm合作修改Erigon（以前的turbo-geth）以支持Type 2/3 prover所需的更改。這將為Polygon zkEVM提供一個更穩定的基礎層和更優化的性能，儘管保持與上游Erigon的兼容性仍然是一個持續挑戰。許多團隊也宣佈將使用Polygon鏈開發工具包（CDK）構建zkEVM，包括Astar、OKX和Palm Network。Polygon CDK的願景是支持開發人員按照自己的需求，通過結合使用不同的客户端、prover和數據可用性解決方案來構建自己的自定義鏈（即構建自己的zkEVM工具包）。如今，CDK支持一個客户端實現（zkevm-node）和一個prover（Polygon zkEVM）。未來，Polygon團隊計劃向CDK添加更多的客户端實現（例如Type-2-Erigon）和prover（例如Polygon Zero）。這意味着你今天就可以部署你自己版本的Polygon zkEVM！但是，任何使用zkevm-node進行部署的團隊將來都可能需要遷移到其他客户端，所以可能希望在準備好後再遷移。我們還應該注意到，Polygon正計劃將Polygon PoS（世界上最大、最成功的區塊鏈之一）升級為一個具有鏈下數據的zkEVM，但具體升級時間表還未確定。（2）Scroll2023年Scroll上線了兩個測試網和一個主網（10月）——這是大型建設之年！Scroll目前是一個Type 3 zkEVM，之前他們曾表示打算在未來轉為Type 1/2，具體時間尚不明確。他們有一個與以太坊的差異列表，表裏包含了一些未實現的預編譯和一些微小的狀態修改。Scroll的客户端是Geth v1.10.13的一個分叉，目前在單排序器模式下運行。值得注意的是，Scroll的執行客户端的某些部分已經落後於上游以太坊兩年（儘管他們已經選擇了上海執行客户端的EIPs來減少應用層偏差）。這不會對鏈造成任何直接的破壞，但卻表明了許多項目將面臨治理挑戰，需要確定與上游以太坊長期保持多近的距離，以及需要多少工程努力才能不斷縮小這一差距。（3）Immutable zkEVM7月份以來，Immutable zkEVM已經有了一個公共測試網，並計劃在1月上線主網。Immutable zkEVM使用標準go-ethereum客户端版本，該版本已針對我們的核心領域（遊戲）進行了定製。有趣的是，Immutable zkEVM是目前本文探討的唯一一個特定域（domain specific）zkEVM，儘管L2能夠根據特定領域的要求進行定製同時保持以太坊的安全性是它們的一個主要吸引力。例如，Immutable zkEVM滿足於使用validium數據可用性來降低成本，並選擇了單塊最終性PoSBFT設計來提供近乎即時的確認，這些決策可能並不適合通用鏈。此外，如果大量的遊戲和遊戲用户湧向這條鏈，可能會產生網絡效應——我們預計未來會出現更多的特定域L2。然而，該鏈的發布不會提供prover支持。這是因為Immutable zkEVM計劃在Type 1 Polygon Zero證明程序可用且具成本效益時再採用。Immutable發布Type 3的唯一方法是對客户端進行實質性更改，考慮到客户端偏離以太坊的影響，我們不願意這樣做。如今，Polygon Zero由Plonky-2提供支持，Plonky-3正在積極開發中，預計在2024年中後期達到生產級，屆時性能將提高約一個數量級。這將為Polygon提供兩個獨立的prover（Polygon Zero和Polygon zkEVM），開發人員將能夠在他們基於CDK的鏈中選擇使用哪個prover。（4）LineaLinea在8月份發布了他們的主網，並採用了與Polygon/Scroll類似的方式：從Type 3 rollup開始，逐漸轉為Type 1或Type 2型。Linea目前與以太坊London只有若干不同之處，如表中所示。Linea正在使用他們自己更新的Geth版本，他們將其命名為「zkGeth」。值得注意的是，這個客户端的源代碼不是開源的，prover也不是開源的——用户無法驗證它們是否按預期運行。他們計劃將所有這些組件開源，作為他們文檔完備的去中心化路線圖的一部分。Linea的文檔表明，他們計劃從「zkGeth」轉為linea-besu，這是對Consensys開發的Besu客户端的更新版本。從中期來看，Linea團隊計劃合併linea-besu和常規besu，並依靠Besu的插件系統來進行必要的狀態修改，以成為一個Type 2 zkEVM。（5）TaikoTaiko正在打磨他們的第五個測試網，計劃明年上線主網。Taiko正在開發他們自己的基於PSE實現的zk prover（與Scroll類似）。有趣的是，Taiko是本文中唯一一個目前不考慮將單個排序器逐步去中心化為一個L2區塊鏈這種設計模式的團隊。Taiko的設計基於Justin Drake所描述的Based Rollup概念——而不是擁有一個經許可的validator（驗證者/器）集，任何人都可以向以太坊L1提交交易包和證明。這種實現意味着rollup將排序完全委託給了以太坊L1，允許它自動繼承以太坊L1的活躍度和去中心化特性。然而，它存在一個重要的缺點：L2排序器不會提供「快速最終性」確認，也就是説用户等待交易確認的時間更長。Justin Drake提出了「Based preconfirmations（預確認）」機制，以提供延遲僅為100ms的概率確認，但是還沒有接近生產水平，並且引入一個單獨的「preconf（預確認）承諾」和「preconf tips」系統可能會對現有的以太坊工具產生影響。這是一個活躍的研究領域！Taiko從一開始就表示他們計劃成為Type 1 zkEVM。他們認為，其他zkEVM帶來的兼容性差異將比更高昂的證明生成成本還要糟，無論如何，隨着技術的進步，成本終將會下降。Taiko的客户端實現很有趣——核心的「執行客户端」是經過修改的Geth v1.13 (taiko-geth)。然而，他們也在維護自己的「共識客户端」(taiko-client)，它處理與L1的通信並監控based排序過程。（6）zkSync ErazkSync Era於2023年3月發布，到目前為止可謂是成功的，即將進行空投的傳言將其TVL推高至5億美元以上。zkSync是Type 4 zkEVM，他們正在證明自己的自定義VM (eraVM)，而不是試圖直接修改EVM。他們的目標是與以太坊進行「語言級兼容」，並提供了一個從Solidity代碼到他們的自定義VM的直接編譯器。他們對許多關鍵EVM操作碼的實現進行了實質性的更改，對編譯過程也進行了一些更改，所以開發人員常常需要修改他們的合約或部署腳本才能在zkSync Era上進行部署。zkSync Era有自己的自定義客户端，允許他們實現非EVM功能，如原生帳户抽象。2023年7月，他們將prover升級為「Boojum」，這是一個STARK證明系統，然後用SNARK包裝進行鏈上驗證，類似於Polygon zkEVM。zkSync Era需要完全鏈上數據，但他們計劃在未來引入「zkPorter」，這將允許用户在不同價位的不同數據可用性模式之間進行選擇，與StarkWare提出的Volition模型類似。（7）StarkNetStarkNet是以太坊生態系統中最雄心勃勃的項目之一：他們正在從頭開始構建一個Type 4 rollup和生態系統，其中包括一個新的VM (CairoVM)、一個新的編程語言(Cairo)、一個新的prover (Stone)和新的客户端（Pathfinder、Papyrus、Juno）。StarkNet在2021年和2022年逐步開放，現在擁有超1.5億美元的TVL，月處理交易量超1000萬筆。從頭開始構建新生態系統是極具挑戰性的，但也為EVM一直在努力的領域（例如原生賬户抽象）提供了根本性創新的機會，並大幅提高了性能。該工具鏈的大部分已經通過基於StarkEx的項目（如Immutable X、dydx v3和Sorare）完成了廣泛測試，這些項目自2020年以來一直在運行，並已被廣泛採用。最初，StarkNet生態系統通過我去年提到的Warp Solidity→Cairo轉譯器等項目探索了語言級別的兼容性。然而，Warp現在已經過時了，而StarkNet生態系統已經決定完全致力於新的CAIRO工具集，而不再支持任何類型的Solidity向後兼容性。現在，他們面臨着與Solana或Sui等非EVM生態系統相同的挑戰——你能讓大量開發人員採用你的新工具嗎？還是普遍存在EVM會勝出？Kakarot團隊正在做的工作是唯一的一個例外，他們正在使用CAIRO語言開發一個Type 2.5 EVM，將作為運行在StarkNet上的一組合約。通過Kakarot，用户將能夠部署在StarkNet上擁有代碼/狀態的EVM合約並與之交互，允許用户從StarkNet的性能中受益，同時保留EVM兼容性。由於底層執行環境仍將是StarkNet，這將犧牲以太坊工具的兼容性——但對於某些項目來説，這可能是一個可以接受的權衡。Kakarot還沒有達到生產級別，這種分層方法的性能和工具兼容性的影響還不清楚，但這是一個令人興奮的嘗試，可以彌合各種zkEVM類型之間的差距，也表明我們在探索設計空間方面行動很早。（8）Optimism由於顯而易見的原因，Optimism通常被認為是一個專注於optimistic rollup的團隊。然而，他們一再表示計劃支持zk零知識證明作為未來的一種選擇，並且已經與幾個積極貢獻的團隊進行了熱烈討論。像zeth這樣令人興奮的zk生態項目現在提供Optimism區塊支持。然而，我們還沒有看到任何正式的時間表或設計——也許在明年的zkEVM回顧中會有令人興奮的變化！正如你所見，各個kEVM團隊之間的做法有很大的差異。即使是同一種類型的rollup也經常採用與其prover、客户端和排序機制截然不同的設計。還有另一種非常重要的方法來比較這些新的zkEVM——它們的實際配置！一般來説，分析各鏈的客户端和prover的體系結構要更加有趣，因為涉及到根本的設計決策，而不是可以輕鬆更改的應用級配置。然而，如果你是一個應用程序開發人員，具體配置無疑是很重要的，所以一定要確保你研究了每個zkEVM的區塊時間、區塊gas限制、證明發布頻率、排序器共識機制以及任何可能影響應用程序用户體驗的因素！綜上所述：2023年，各種各樣的團隊進行了大量的開發工作。所以，如果一切正在進展中，我們是否只需要靜靜等待？我們還需要解決什麼問題，才能看到zkEVM獲得實質性的關注度？2、zkEVM開發中還有哪些懸而未決的問題？首先，客户端和prover之間缺少標準化接口。目前，每個prover僅與最初構建它們時所用的客户端兼容。你無法在任何其他Type 2/3客户端上使用Polygon zkEVM的prover。理想情況下，任何新的prover或客户端都應該與儘可能多的現有prover/客户端兼容。鼓勵各種zkEVM團隊遵循單一接口的EIP是未來發展的關鍵一步。可以理解的是，大多數團隊目前都在優先改進自己的部署，而不是尋求與他人的兼容性。目前這種做法可能是可以接受的，但最終我們尤其希望L2排序的zkEVM可以使用多客户端/prover設定，以減少重大bug風險。此外，標準化「經典」type 2功能的實現（例如Sparse默克爾樹、Poseidon哈希函數而非keccak）可能有助於多個prover使用相同或相似的客户端。減少「geth」類客户端的數量將是該生態系統的巨大勝利！一項名為「RollCall」的標準化倡議已被提出，同時還提出了一系列Rollup優化建議（RIPs），雖然目前尚不清楚這一倡議的關注度有多高。其次，這些zkEVM幾乎全都是單一排序器，是對這些rollup的去中心化和安全性的挑戰。尤其要注意，prover的行為只是為了確保L1-L2橋接是安全的。任何依賴於L2預確認的外部系統(如CEX)都將大量資金置於風險之中，因為它們完全依賴於單一排序器——對於今天的許多L2來説，極具破壞性的黑客攻擊只需要盜用一個排序器密鑰就可實現。然而，一旦你將排序器去中心化，就會出現不同的挑戰（正如你在上述Taiko內容中所見！）。你是否需要向L1提供一個zk證明，證明已經達成了L2共識？活躍度問題呢？MEV呢？大多數單一排序器rollup出於品牌/聲譽/鏈信任的原因目前都沒有利用MEV，但這種情況可能會在未來有所改變。第三，沒有衡量zkEVM性能和成本的標準框架。本文的大部分內容都在比較各種zkEVM設計的潛在性能影響，但是目前很少有zkEVM團隊發布任何真正的性能規範或測試。「zkEVM成本」由以下幾部分構成：· 生成證明的雲計算成本（受電路效率影響）· 驗證證明的L1成本· 數據可用性成本· 從一層向另一層發送信息的成本我應該能夠為這些領域創建標準化測試，並將結果製成表格，以幫助建設者做出更明智的決策——目前這是不可能的。細微差別在這裏：在某些類型的交易中，一些prover實現將比其他prover更佳，部分成本將取決於使用情況，因為能夠在交易包中分攤交易成本。這些成本應該如何呈現給用户也是一個很大的不確定性（例如，Immutable zkEVM計劃在大多數情況下為用户支付發布成本，而Scroll則有一個複雜的L1 + L2收費設定，以確保每筆交易都是盈利的）。此外，許多zkEVM可能會遇到與狀態增長相關的性能問題——擴展以太坊區塊空間不是免費的！所有這些都需要比現在更高的可衡量性/可比性。第四，對於大多數智能合約rollup而言，退出機制仍然沒有被很好地理解和定義。自我託管在特定應用rollup（如Immutable X）上被很好地定義——你存放到該L1橋中的任何資產都應該是可檢索的，即使排序器完全脱機或完全是惡意的。這通常被稱為「逃生艙口」。但這在智能合約rollup的情況下意味着什麼呢？如果你的ETH質押在一個合約中，無論如何都不應可用呢？這一切都是關於抗審查性嗎（我們需要保證強制交易的能力嗎）？對於用於不同目的（例如遊戲資產與DeFi）的zkEVM來説，什麼程度的數據可用性是可接受的？我們需要一致的框架向用户傳達實際的故障情況——L2 Beat在這方面開了個好頭！第五，zkEVM與以太坊L1之間的關係尚不明晰。在撰寫本文期間，我再一次被V神發布的一篇反思「enshrined zkEVM」的博文所吸引。主要內容是以太坊客户端層可以「enshrined」 zk prove實現，可用於驗證其他來源（例如L2）提交的EVM區塊的執行情況。這就避免了讓所有L2 zkEVM都必須保持他們的zkEVM prover是最新的（重大勝利！）——他們可以依靠其他團隊的工作成果，包括核心以太坊客户端團隊，一個完全SNARK的以太坊已成為現實。那麼，我是否應該將「enshrined zkEVM」的提議解讀為偏離以太坊以L2為中心的擴展路線圖，將L2捕獲的價值帶回？不完全是這樣。L2仍然需要自己的排序器來提供快速確認（在遊戲等領域至關重要），而V神提出的設計只支持具有完全鏈上數據的zkEVM。出於變現等原因，大多數L2幾乎都希望保持獨立性，這對以太坊生態系統來説是一個重要的權衡。L2對於以太坊區塊空間的擴展至關重要，但他們的動機（和BD團隊）可能並不總是與以太坊對齊。最後，多個zkEVM將繼續分散用户和流動性，致使用户體驗很糟。如今，每多一個以太坊L2將繼續分散狀態和流動性——如果你在Arbitrum上有2枚ETH，那麼在任何其他L2上訪問ETH都是有難度的。在我看來，這是迄今為止對單體鏈的最佳論證，在單體鏈中，可組合性得到了極大改善，用户不必在多個鏈之間進行平衡。隨着當前「L2工具包」（例如Polygon CDK、Arbitrum Orbit、OP Stack）流行開來，啓動鏈從未如此輕鬆，但代價是更大程度的碎片化問題。為了使這種多L2模型取得長期成功，在大多數情況下，我們需要將單個鏈和平衡從用户中抽象出來。這是有效性證明優於欺詐證明更有力的論據之一——快速鏈間橋接的即時性證明驗證。然而，即使有了強大的橋接/互操作性框架，仍然有大量的用户體驗問題需要解決。在Immutable，我們的計劃是通過錢包層的Immutable Passport和垂直整合和來解決這個問題。3、結論對於zkEVM來説，2023年既是開發進展的重要一年，也是準備實際採用的一年。2024年將是Type 1和Type 2 zkEVM真正準備好投入生產使用的第一年，但實際上我們最早也要到第三/四季度才能使用——想要實現這一目標，我們還需要解決很多性能問題！我想清楚地表明，zkEVM在2024年要解決的主要問題不是技術問題（雖然我們顯然還有一些技術問題需要解決），而是價值問題——我們能在下一代L2上為用户創建令人興奮的應用程序嗎？我們需要出色的協議開發人員和出色的應用程序開發人員！","kind":"news","is_publish_news":true,"is_publish_highlight":false,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"0","news_tag":"","news_rank":0,"symbols":[],"gpt_button":1,"need_auth":false,"code":"91000000","status":"200"}}}