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

作者：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 項目和它們的區別。

19,328枚ETH從未知錢包轉移到Coinbase:金色財經報道，WhaleAlert監測顯示，北京時間今日22:12，19,328枚ETH(36,518,647美元)從未知錢包轉移到Coinbase。[2023/7/23 15:52:44]

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，開發者才可以無縫遷移現有的以太坊合約，以太坊生態的各種工具才能順利接入。

英國金融：數字英鎊持有量應限制在5000英鎊以內:金色財經報道，英國金融會員組織之一英國金融已向英國央行提出關于發行數字英鎊的建議。該機構指出，應該限制個人持有擬議中央銀行數字貨幣（CBDC）的金額，將其上限設定為 5000 英鎊（約 6350 美元），以避免引發恐慌和資金外流。

此前該銀行提議將個人持有量的臨時限額限制在 1 萬英鎊至 2 萬英鎊（約 12700 美元至 25400 美元）之間。[2023/7/4 22:17:20]

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

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

Zebec社區推出第二個提案ZIP-2，與Zepoch節點和Themis Gavel NFT相關:金色財經報道，Zebec社區在治理系統中上線了第二個提案，并接受投票。據悉，該提案正式確定并定義了Zepoch Node NFT機制和Themis Gavel NFT機制，包括它們的購買方式、授予的權利以及授予持有人的權利，它還提出了使用ZBC-USDT LP代幣來對ZBC代幣進行挖礦的獎勵。

Zebec已經基于Zk-Rollup的流支付公鏈Zebec Chain的解決方案，揭示了該公鏈隱私保護、高迸發以及合規的主要優勢。[2023/2/24 12:27:57]

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

波卡生態鏈游平臺Ajuna Network贏得第31輪波卡平行鏈拍賣:11月7日消息，波卡生態鏈游平臺 Ajuna Network 以鎖定約 8.7 萬枚 DOT 贏得第 31 輪波卡平行鏈拍賣。共有超 700 名貢獻者參與了 Ajuna Network 的眾貸，總計將發放 90 萬枚 AJUN 獎勵。[2022/11/7 12:28:51]

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 字節碼。

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

量化對沖基金Miller Tabak：市場低迷“讓投資者對加密貨幣大大喪失了信心”:金色財經報道，量化對沖基金Miller Tabak的首席市場策略師Matt Maley在接受媒體采訪時表示，市場低迷“讓投資者對加密貨幣大大喪失了信心”。“因此，隨著投資者對整體市場變得更有信心，他們正在尋找其他可以在疲軟時買入的資產。他們不想在加密貨幣中重蹈覆轍。”[2022/5/29 3:47:56]

而第二種思路的項目包括有 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：以太坊ROLLROLSTA以太坊幣最新價格行情新浪TROLL幣RolodexMarinade staked SOL

TRX