編者按：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 的發展還處於早期階段，市場之上仍有著許多的空間供新項目們進入。在未來的一段時間裡，觀察這一賽道會如何發展，贏家是誰，將是一件很有趣的事情。