各家 zkEVM 對比 誰能抓住這個 ZK-Rollup 的圣杯_以太坊:Control2XY

作者：ViaBTC Capital

近期有幾個?ZK-Rollup 項目相繼宣布支持?ZK-EVM 的主網或測試網的上線計劃，而在2022年8月初，以太坊創始人?Vitalik 發表了一篇博文對比了不同類型的?ZK-EVM。ZK-EVM，這個ZK-Rollup 的圣杯，又一次引起市場的關注，它在未來可能會是以太坊擴容的利器。

以太坊擴容是一個老生常談的話題，也是眾多用戶期望的事情。不少人可能會有一個認識誤區，即計劃在9月底升級的以太坊合并會把共識機制從?PoW 轉為?PoS 將能夠改善以太坊性能。但實際上，合并沒有改變區塊大小，出塊時間也僅僅是從平均13秒變為12秒，所以屆時以太坊性能提升預計有限。因而，以太坊短期內擴容的希望還在二層網絡（Rollup）。在?Rollup 兩種主流方向?Optimisic Rollup 和?ZK-Rollup 里，相當一部分人更期待后者，因為?ZK-Rollup不僅同樣可以通過將打包多筆鏈下交易來降低網絡手續費，更重要的是它能夠通過零知識證明計算出一個有效性證明并提交到以太坊網絡來繼承以太坊的安全性，無需像?Optimistic Rollup 那樣設置一個挑戰期。

但ZK-Rollup早期為人詬病的地方是不能兼容?EVM，不能支持智能合約功能，例如?Gitcoin 捐贈主要支付途徑的?zkSync 1.0 僅能支持轉賬等基本功能。目前市場上的?ZK 應用如?dYdX，是專門定制的應用無法通用，開發難度大，改動麻煩。同時，由于不同?ZK 應用有各種專用電路，無法相互調用，可組合性差。因此市場急需能夠支持以太坊智能合約的ZK-Rollup，而其中關鍵門檻就是能夠支持零知識證明的虛擬機。幸運的是，近期有幾個?ZK-Rollup 項目相繼宣布支持?ZK-EVM 的主網或測試網的上線計劃。本文將介紹?EVM、ZK-EVM 以及主要的?ZK-EVM 項目和它們的區別。

數據：Linea主網交互地址數為12.8萬個:金色財經報道，Dune數據顯示，Linea主網已橋接轉入20,908枚ETH，交易筆數達177,251筆，交互地址數達128,320個。[2023/8/5 16:20:36]

EVM 指的是以太坊虛擬機（Ethereum Virtual Machine），它相當于執行引擎，是以太坊智能合約的運行時環境（Runtime）。開發者通過高級編程語言如?Solidity 編寫業務邏輯，然后編譯器把代碼編譯成低級編程語言字節碼（bytecode)，EVM 再把字節碼解析成機器可讀指令即操作碼（opcode）并執行相應指令修改系統狀態。EVM 是基于堆棧結構的虛擬機（stack machine），在執行opcode的時候需要和stack、memory、storage交互。

對于以太坊、各種擴容協議和競爭公鏈而言，EVM 幾乎成為以太坊生態的代名詞，代表以太坊生態的開發者、應用和工具。如果某個公鏈不支持 EVM，那么它需要重新培育自己生態內的開發者，而開發者也需要重新開發應用和工具。有人曾對比 Optimisic Rollup 的兩大巨頭 Optimism 和 Arbitrum，指出其中一個協議僅 99% 兼容 EVM 而另一個協議可以 100% 兼容 EVM，就算 1% 的區別也會產生以太坊生態競爭的劣勢。由此可見，兼容 EVM 直接關乎對以太坊生態的兼容性，只有兼容 EVM，開發者才可以無縫遷移現有的以太坊合約，以太坊生態的各種工具才能順利接入。

Nexo與聯合創始人爭奪公司錢包里的1200萬美元加密資產:金色財經報道，加密交易平臺Nexo正在英國法院與一名聯合創始人爭奪1200萬美元的失蹤資產。Nexo表示，聯合創始人離開時帶走了該公司加密貨幣的硬件錢包。

根據倫敦高等法院6月27日的法院判決，Nexo及其聯合創始人Georgi Shulev正在爭論包含該公司部分加密資產的Ledger硬件錢包的下落。Shulev于2019年離開Nexo。自2022年以來，這一法律糾紛一直在持續。

文件顯示，早些時候，雙方一直在爭奪一個BitMEX賬戶的控制權，該賬戶由Shulev以他的名義開立，但代表Nexo。自從Shulev在2019年被Nexo解雇，并且無法訪問他的公司電子郵件以來，他和Nexo都在試圖接管該賬戶。[2023/7/14 10:54:13]

盡管 EVM 在以太坊生態發揮著關鍵作用，但 ZK-EVM 的開發相當復雜。ZK-EVM 是指能夠支持生成零知識證明并兼容 EVM，以太坊智能合約可以無需修改而直接部署運行，同時程序的運行可以通過零知識證明其計算的有效性。EVM 在設計之初并沒有考慮到 ZK，這也因為當時 ZK 尚未取到突破性進展還沒有被主流采用，直到 2016 年才第一次有零知識證明算法 zk-SNARK 被 Zcash 采用。EVM 里有一些操作對零知識不友好，即很難生成零知識證明，或生成證明的效率低，或生成的證明太大。

ORDI突破25美元，24小時漲超50%:金色財經報道，據brc-20.io行數情據顯示，Ordinals（ORDI）突破25美元，現報價25.10美元，24小時漲幅達51.18%。[2023/5/8 14:49:41]

很多人知道 ZK 開發門檻很高，不僅涉及密碼學、數學也涉及到硬件知識，而 ZK-EVM 開發更屬于難上加難的級別，它既要能夠兼容 EVM，又要對零知識友好。幸運的是，在過去的幾年時間里，ZK 領域取得了越來越多的重大突破。ZK-EVM 賽道幾位選手包括 Starkware、zkSync 2.0、Polygon 和 Scroll 等都在加緊研發 ZK-EVM，其中后面三個項目在近期陸續宣布了測試網上線的消息。

7 月 19 日，Scroll 發布了 pre-alpha 測試網，用戶可以體驗一些演示程序例如 Uniswap fork 版本以及 Metamask 錢包。7 月 20 日，Matter Labs 宣布兼容 EVM 的 zkSync 2.0 將在 11 月左右上線主網并公布路線圖。同樣在 7 月 20 日，Polygon 宣布其 ZK-EVM 測試網也即將上線。

由于 ZK-EVM 并沒有統一的設計規格或者標準，所以每個項目方基于不同角度在兼容 EVM 和支持 ZK 之間權衡設計出各自方案，目前基本分為兩種思路：

重慶永川發布元宇宙三年行動計劃，擬構建數字藏品等領域新模式新服務:1月9日消息，重慶市永川區人民政府官網于1月6日發布《重慶市永川區元宇宙產業發展三年行動計劃（2023—2025年）》，力爭到2025年，將永川打造成為以數字內容制作為特色的全國知名、西部領先的元宇宙應用示范城市，引入培育一批掌握關鍵技術、營收上億元的元宇宙企業，構建科技影視、虛擬數字人、數字藏品等多領域元宇宙新模式新服務。

其中在打造數字藏品產業服務體系方面，文件提及，在符合國家數字藏品監管要求的前提下，有序引進和培育有實力的數字產品版權、發行及交易平臺，打造集評估、發行、流通為一體的數字藏品服務體系。培育發展高收藏價值的數字藏品市場，重點瞄準航空航天、著名景區IP、重慶特色文化等領域，聯合版權單位、發行平臺，共同耕耘收藏市場，持續發行珍品數藏，打造細分領域高含金量的數字藏品市場。引進區塊鏈相關技術，拓寬數字藏品應用場景。[2023/1/9 11:02:23]

1. 編程語言層面支持，自定義 EVM 操作碼，把 ZK 友好的操作抽出來重新設計新的、架構不同的虛擬機，通過編譯器將 Soilidity 編譯成新的虛擬機操作碼

2. 字節碼層面支持，支持原生 EVM 操作碼

第一種思路的項目包括有 Starkware 的 StarkNet 和 zkSync 2.0。Starkware 的 ZK-Rollup 通用解決方案 StarkNet 可以運行任意的以太坊 dApp。開發者可以通過編譯器將 Solidity 編譯成 StarkNet 的智能合約語言 Cairo，再部署到其 ZK 友好的 VM。類似 Starkware，zkSync 2.0 通過開發編譯器前端 Yul 和 Zinc 來實現 ZK-EVM 功能。Yul 是一種中間 Solidity 表示，可以編譯為不同后端的字節碼。Zinc 是用于智能合約和通用零知識證明電路的基于 Rust 的語言。它們都是基于開源框架 LLVM，能夠實現最高效的 ZK-EVM 字節碼。

OpenSea已將NFT項目Azuki全部市場掛單下架:9月30日消息，官方頁面顯示，OpenSea已將NFT項目Azuki全部市場掛單下架。

對此，Azuki官方團隊回應表示，關于掛單消失以及發送給Azuki持有者的下架郵件一事已經聯系到了OpenSea團隊，目前正等待回復。Azuki團隊認為，該事件可能和六月底曾發生過的一起“部分BAYC掛單遭意外下架”的事件類似，系OpenSea程序錯誤使然。[2022/10/1 22:42:54]

這一類項目在語言層面兼容 Solidity，開發者可以把用 Solidity 寫的智能合約通過轉移的方式來部署運行，但是底層 VM 架構并非是 EVM，嚴格來說是一種 zkVM。而且由于底層的虛擬機指令集的不同，有一些現有開發工具不能直接使用，但是對 ZK 友好，能更有效生成零知識證明。

而第二種思路的項目包括有 Polygon ZK-EVM 和 Scroll。Polygon ZK-EVM 叫做 uVM，zkCircuit 優化的 VM 具有定制的操作碼以優化 EVM 操作，EVM 字節碼先被編譯成“微操作碼”（Micro opcode）再在 uVM 執行。Polygon ZK-EVM 計劃支持全部 EVM 操作碼，是一個與以太坊完全兼容的零知識 (ZK) 擴展解決方案：所有現有的智能合約、開發人員工具和錢包都可以無縫運行。Scroll 也和 Polygon 的類似，會為每個字節碼設計電路，包括驗證 EVM 執行的每一個步驟，包括加載 bytecode，執行 opcode，更新 storage 等。

而在 Vitalik 的博文里，他將 ZK-EVM 分為幾種類型。其中，類型 1 是直接在以太坊上面直接開發 ZK-EVM，這個開發過于復雜而且目前效率太低，以太坊基金正在研究中。類型 2、類型 2.5 和類型 3 是 EVM 等效的 ZK-EVM，Scroll 和 Polygon Hermez 目前處于類型 3 這個階段，朝著類型 2.5 乃至類型 2 努力。類型 4 是高級語言兼容的 ZK-EVM，包括 Starkware 和 zkSync。這些類型并無好壞之分，而且 ZK-EVM 也沒有統一的標準。正如 Vitalik 所說，“從理論上講，以太坊不需要為 L1 使用單一的 ZK-EVM 實現進行標準化；不同的客戶可以使用不同的證明，因此我們繼續從代碼冗余中受益。”（Theoretically, there is no need for Ethereum to standardize on a single ZK-EVM implementation for L1 use; different clients could use different proofs, so we continue to benefit from code redundancy.）

各家的 ZK-EVM 方案設計并無絕對的好壞，因為目前大家代碼尚未開源也無法比較效率。以太坊作為最大的智能合約平臺，擁有強大的生態系統和網絡效應，ZK-EVM 是 ZK-Rollup 的圣杯，只有通過 ZK-EVM，ZK-Rollup 才能依托以太坊的生態和網絡效應，在繼承以太坊安全性、降低手續費的同時更容易獲得充滿活力的開發者生態、經過時間考驗的代碼庫和工具。2021 年初，Vitalik 曾在其博客稱，短期內，Optimisic Rollup 可能會在通用 EVM 計算方面勝出，而 ZK-Rollup 可能會在簡單的支付、交易和其他特定于應用程序的用例中勝出，但在隨著 ZK-SNARK 技術的改進，中長期 ZK-Rollup 將在所有用例中勝出。隨著各個 ZK-EVM 項目的測試網/主網陸續上線，相信在不久的將來，以太坊二層擴容將會精彩紛呈。

參考資料：

ZK-EVM overview-p1，

https://drive.google.com/file/d/1dhZ5GtSK4sHCNcklGzNHfR-lSzplpD8J/view

https://vitalik.ca/general/2022/08/04/zkevm.html

https://starkware.co/starknet/

https://blog.matter-labs.io/zksync-2-0-hello-ethereum-ca48588de179

https://polygon.technology/solutions/polygon-ZK-EVM/

https://blog.hermez.io/introducing-hermez-ZK-EVM/

DeFi之道

個人專欄

閱讀更多

金色早8點

Bress

PANews

鏈捕手

財經法學

成都鏈安

Odaily星球日報

區塊律動BlockBeats

Tags：以太坊ROLROLLSTA以太坊最新價格分析Control2XYTrollCoinSTASH幣

AVAX