不同的項目正在探索不同的方向，這或許是最利於行業的發展模式。
原文：The Race for zkEVMs Explained
編譯： Azuma， Odaily 星球日報
封面： Photo by Octavian Dan on Unsplash
編者按：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）一直都被視為是以太坊擴容道路上的聖杯。雖然我們暫時還沒能完全走通這條路，但多家項目最新的開發成果顯示，這一曾經看起來還需要數年之遙的事情似乎已經觸手可及了。競賽已然拉開帷幕，讓我們一起來見證吧。
為什麼 zkEVM 很重要？
首先我們來回顧一個問題，為什麼當前明明是 optimistic-rollup 的 TVL 更高，但市場卻普遍更認可 zk-rollup？
答案是，儘管這兩種形式的 rollup 在可擴展性和 tps 方面都可帶來巨大的改進，但 zk-rollup 在事務確認（無需挑戰期）和安全性方面具有顯著優勢，相較於 optimistic-rollup，zk-rollup 通常會被認為更加安全，因為它的安全性依賴於無需信任的加密技術，而非依賴於網絡參與者可以誠實地提交欺詐證明。當然了，optimistic-rollup 也有自己的優勢，比如它不需要通過在專用機器上執行複雜的計算來生成證明（這會帶來其他成本）。
除了這些區別之外，zk-rollup 和 optimistic-rollup 在理論上差異並不大，但也僅僅是理論上而已，因為就現實情況來看暫時只有 optimistic-rollup 可以與 EVM 實現良好兼容，這使得當前 optimistic-rollup 系項目的生態發展進度暫時領先於 zk-rollup 系項目。
所有的公共區塊鏈（包括 rollup）都存在著一個共同的目標—— 為了在生態採用方面儘早實現網絡效應，需要盡可能快速地獲取開發者以及用戶—— 這正是 EVM 兼容性所能帶來的便利。
EVM 兼容性是一個與智能合約的編寫和部署方式相關的概念，如果一個區塊鏈被認為是與 EVM 兼容的，那就意味著它的智能合約（大體上）是按照符合 EVM 特定規則的方式編寫的。用更通俗的話來說就是，如果你複製、粘貼一套在以太坊網絡上可讀的代碼，並將其部署到其它鏈上，如果該鏈支持且可處理這些轉置的代碼，它就會被認為是具有 EVM 兼容性的。考慮到以太坊無可比擬的開發者歡迎程度，兼容 EVM 被認為可以減少開發者入駐的阻礙，從而有效推進新鏈的生態發展速度。
這裡需要再提一個新概念—— EVM 等效性。簡而言之，EVM 等效性比 EVM 兼容性更進一步，這意味著新鏈智能合約的編寫和部署完全符合 EVM 規範，實現真正的 “即插即用”。相比之下，早期市場所強調的 EVM 兼容性並不要求實現最精確的 EVM “等效”（可能還是需要對代碼進行一些少量的重寫）。
參賽選手們
鑑於零知識技術和證明的複雜性，以太坊最初的設計並沒有考慮 ZK 友好性，這導致開發通用 zkEVM 需要攻克大量難題。然而，創新的大門正在被推開，讓我們來看看哪些項目正在領跑吧。
Polygon zkEVM
10 月 10 日，Polygon 宣布啟動了 Polygon zkEVM 的公共測試網。這是 Polygon 在零知識證明技術這條路上瘋狂出招後（包括收購 Mir Protocol，合併 Hermez 等等）而實現的最新成果。該測試網目前正處於壓力測試模式，Polygon 鼓勵用戶在網絡上部署合約並幫助發現潛在的錯誤。
根據 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 解決方案。不過，該主網暫時還還不支持任何外部項目，團隊正在繼續進行壓力測試，以確保一切能夠按預期執行。
根據 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 的發展還處於早期階段，市場之上仍有著許多的空間供新項目們進入。在未來的一段時間裡，觀察這一賽道會如何發展，贏家是誰，將是一件很有趣的事情。
延伸閱讀
對比 Scroll 與 Hermez，理解 zkVM 與 zkEVM；
https://www.odaily.news/post/5182736
Foresight Ventures：從 Polygon zkEVM 出發，理解 zkEVM Rollup；
https://www.odaily.news/post/5181492
有關 zkEVM，你需要知道的一切（一）；
https://www.odaily.news/post/5180532
有關 zkEVM，你需要知道的一切（二）；
https://www.odaily.news/post/5180714
有關 zkEVM，你需要知道的一切（三）；
https://www.odaily.news/post/5180957
以太坊的 Rollup Race：什麼是「真正的」zkEVM？
https://www.odaily.news/post/5180605
免責聲明：作為區塊鏈信息平台，本站所發布文章僅代表作者及嘉賓個人觀點，與 Web3Caff 立場無關。文章內的信息僅供參考，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。
