Ethereum (ETH) 虛擬機（EVM）喺 2015 年設計出嚟，本意係用嚟執行智能合約，唔係用嚟產生密碼學證明。零知識證明（ZK proof）就係專門為咗「平、快兼保密」咁驗證計算結果而設計，概念入面根本冇 opcode 呢回事。
好多年入面，兩者睇落去幾乎係天生唔兼容。
直到工程師搵到方法將兩樣嘢「硬撈埋」，產生咗一套可以話係加密貨幣圈入面，技術難度最高嘅基建之一。
ZkEVM（zero-knowledge Ethereum Virtual Machine）嘅目標，就係可以直接執行與 Ethereum 相容嘅智能合約，再用 ZK 證明去驗證執行係正確，毋須迫開發者重寫任何一行程式碼。
聽落簡單，實際上要解決嘅係成個行業成半個世紀（以加密圈時間計）都頭痕嘅技術難題。
重點撮要（TL;DR）
- ZkEVM 喺二層網絡執行與 Ethereum 相容嘅智能合約，並產生零知識證明，證明執行正確，再將大量交易「打包」回寫返 Ethereum 主網，以更低成本完成結算。
- ZkEVM 越貼近原生 Ethereum 工具鏈，相容性越高，但建設難度同成本亦越大；呢個 trade-off 幾乎主導晒現時所有 ZkEVM 設計決策。
- 用戶可以享有 Ethereum 主網級別嘅安全保障，但唔使付出主網 gas 價；開發者則可以幾乎原封不動部署現有 Solidity 合約。
零知識證明實際做到乜？
喺談 EVM 之前，先要搞清楚零知識證明係咩、唔係咩。ZK 證明係一種密碼學方法，容許一方（prover）向另一方（verifier）證明某個敘述係真，但過程中唔會洩露支撐呢個敘述嘅底層數據。
經典例子係：你可以證明自己識一個密碼，但全程都唔需要講出個密碼。喺區塊鏈場景入面，要證明嘅敘述幾乎永遠都係「計算敘述」：
「我用呢個輸入，照規矩跑完呢個程式，得出呢個輸出，過程冇做手腳。」
呢度嘅 verifier，通常係駐守喺 Layer 1 Ethereum 嘅一個智能合約，可以喺毫秒級時間驗證成個批次，而唔需要自己重跑晒所有交易。
有咗零知識證明，Layer 2 網絡就可以將成千上萬宗交易先喺鏈下執行，再打一個緊湊嘅「總證明」上 Ethereum。主網只需要驗證呢份證明，唔使重複運算每一筆交易，平均到每個用戶度，成本自然大幅下降。
現時 ZkEVM 世界主要有兩大證明系統：
- SNARKs（Succinct Non-interactive ARguments of Knowledge）：證明體積細、驗證快，但需要「可信設置（trusted setup）」儀式。
- STARKs（Scalable Transparent ARguments of Knowledge）：唔需要可信設置，又具備抗量子特性，不過證明會大好多。
由於喺 Ethereum 主網上做驗證本身 gas 成本有限制，多數 ZkEVM 團隊暫時都選擇以 SNARK 為基礎。
延伸閱讀：特朗普媒體終止與 Crypto.com 達成的 64.2 億美元 Cronos 國債交易
點解 EVM 咁難用 ZK 去「證明」？
Ethereum 虛擬機係一個以 stack 為基礎嘅執行環境，內建超過 140 條 opcode，加上 gas 計費系統、複雜記憶體結構，再配合十年實戰積累下嚟嘅各種邊界情況。由最簡單嘅 ADD，到好似 ECRECOVER 呢啲密碼學 precompile，喺 ZK 系統入面全部都要被翻譯成一組組算術約束，先可以被證明系統理解。
問題喺於，ZK 證明系統用嘅係十分狹窄、嚴格嘅數學語言：有限域同多項式方程。EVM 當初設計時完全冇諗過要迎合呢套語言。好似 KECCAK256（Ethereum 嘅雜湊函數）呢類 opcode，內裏大量位元運算（bitwise operations），對 ZK circuit 來講幾乎係「最唔友善」——一條 hash 可以爆出幾百萬條算術約束。
呢種語言層面嘅斷層，造就咗研究界口中嘅「EVM 不相容問題」。你可以造一條非常快、非常平嘅 ZK rollup，但只支援專門為 ZK 環境寫嘅程式；或者你試圖完整支援 EVM，但生成證明嘅成本同時間貴到失去意義。ZkEVM 嘅工程挑戰，就係點樣將呢個 trade-off 壓縮到可以接受範圍。
單單為一個 KECCAK256 雜湊產生 ZK 證明，可能已經要動用數以百萬計算術約束。一個典型 Ethereum 區塊裏面會有幾千個 hash。結果就係，早期 ZkEVM 原型生成一個區塊嘅證明要計好多個鐘，仲要靠專用硬件。
延伸閱讀：Arthur Hayes：若美聯儲打開日本 1.373 兆美元國債池，比特幣或再掀升浪
ZkEVM 四大類型：相容性與成本點樣揀？
並非所有 ZkEVM 都一樣。Ethereum 聯合創辦人 Vitalik Buterin 喺 2022 年提出一套而家被廣泛引用嘅分類框架，按同現有 Ethereum 堆疊（client、tooling、合約等）嘅相容程度，將 ZkEVM 分成四類。理解呢四類，係快速分析任何 ZkEVM 項目嘅最佳捷徑。
Type 1：完全以太坊等價（Ethereum-equivalent）
- 完全、逐 bit 模擬 Ethereum——狀態轉移、區塊結構、hash 函數，全部照單全收，冇任何改動。
- 現有 Ethereum client 理論上可以直接同步，所有工具開箱即用。
- 代價係：生成證明極慢、極貴。
目前冇任何量產 ZkEVM 以 Type 1 運行，但有團隊朝住呢個方向努力。
Type 2：EVM 等價（EVM-equivalent）
- 對底層數據結構作有限度調整，例如將狀態樹嘅 KECCAK 換成對 ZK 友善嘅 hash。
- 保持原生 EVM bytecode 完整相容，智能合約行為同主網一致，開發者幾乎感覺唔到差別。
- 比 Type 1 快同平，但生成證明仍然相當重。
Scroll 同早期 Polygon zkEVM 就係鎖定呢個區間。
Type 3：輕微打破相容性換取效率
- 會對部分邊界功能作額外修改，例如某啲 precompile 唔再支援。
- 大部分現有合約仍然可以照樣運行。
- 證明成本明顯再降低。
多數喺 2023–2024 問世嘅商用 ZkEVM，實際落地時都介乎 Type 2 同 Type 3 之間。
Type 4：編譯到自家 ZK VM，而唔係直接證明 EVM bytecode
- 將 Solidity 或 Vyper 原始碼編譯成針對 ZK 友善嘅自定義虛擬機指令集。
- 係目前成本最低、速度最快嘅方案，但可能出現行為細節上同原生 EVM 有偏差；某啲低階「黑科技」玩法會失效。
- zkSync Era 採用嘅就係呢條路線，配合自家 LLVM-based 編譯器。
呢個分類框架，對建設者特別實用：
- 如果你要將一個經過實戰驗證嘅 DeFi 協議，原封不動從主網搬上二層，通常會揀 Type 2 或 Type 3，以確保行為一致。
- 如果你係重新由零開始設計新應用，可能願意接受 Type 4，換嚟更低成本同更快最終確定時間。
延伸閱讀：Anthropic 夥拍比特幣礦企，在德州鎖定 191 兆瓦電力
一筆交易喺 ZkEVM 入面行一轉，發生咩事？
由頭到尾行一遍交易流程，可以更具體理解架構點運作。當用戶向某條 ZkEVM 網絡提交一筆交易，大致會經過以下步驟：
第一步：Sequencer 排隊同執行
交易首先去到 sequencer（排序器）——負責接收、排序同打包交易嘅節點。
Sequencer 會喺二層環境即時執行交易、更新 Layer 2 狀態，並向用戶提供即時嘅「軟確認」。呢刻，用戶錢包已經見到餘額改變，但交易仲未喺 Ethereum 上獲得密碼學層面嘅最終確認。
第二步：Prover 生成零知識證明
成批交易會被交畀 prover——專門運行 ZK 演算法嘅軟硬件組合。
Prover 會取用執行前狀態、所有交易同執行後狀態，生成一份「有效性證明」（validity proof），證明呢個狀態轉移係依規則計出嚟。呢步計算量極大，所需時間由幾秒到幾分鐘唔等，要視乎系統設計而定。
第三步：Verifier 合約喺 Ethereum 上驗證
Prover 會將證明連同一小部分壓縮後嘅交易數據，一齊提交到 Ethereum 主網上一份叫做 verifier contract 嘅智能合約。
呢份合約喺鏈上只需要一次呼叫就可以完成驗證，成本幾乎只與證明大小有關，與內含交易數量無關。一旦驗證通過，Layer 2 狀態根（state root）就喺 Ethereum 上被最終確立，其安全性等同任何主網交易。
延伸閱讀：加拿大國家銀行 11.1 萬加元加密基金披露中現身 XRP ETF
模組化 ZkEVM 同跨鏈互通新路線
傳統 ZkEVM 架構假設只有一個最終結算層：Ethereum。所有證明都喺主網驗證、所有狀態都喺主網落實。
但新一代「模組化 ZkEVM」則將執行層（execution）、證明層（proving）、結算層（settlement）完全拆開，各自可以自由組合。
呢度就出現咗好似 Prom 呢類新項目。
Prom 自我定位係一條模組化 ZkEVM Layer 2，主打喺 EVM 同非 EVM 鏈之間實現互操作性。佢唔再只係向 Ethereum 提交證明，而係會同時向多條鏈提交，喺原本互相之間並冇「無需信任」連結嘅生態之間，建立一座數學上可信嘅橋樑。
呢種模組化思路嘅關鍵，就係打破「Ethereum 係唯一合法結算面」呢個假設。
對 Zk 系統嚟講，一份 ZkEVM 證明最終只係一組數學陳述。如果鏈 A 同鏈 B 都部署咗可以驗證呢組數學嘅 verifier 合約，一份證明其實可以同時喺兩條鏈確認同一個狀態轉移。咁樣，ZK 證明就唔再只係「擴容工具」，而係進化成一種「通用互通原語」。
模組化 ZkEVM 架構將執行同結算解耦：同一份有效性證明，可以喺 Ethereum、喺一條非 EVM 鏈、或者喺兩邊同時被驗證，喺本來互不相容嘅生態之間，建立一個共享嘅密碼學「真相來源」。
延伸閱讀：TRON USDT 清算規模達 2.1 兆美元，但其 DeFi 資金池卻在縮水 1.9%
ZkEVM 對比 Optimistic Rollups：逐點拆解
市場經常將 ZkEVM 同 Optimistic Rollups 拿來比較，理由相當簡單：兩者解決的是同一個擴容問題，但採用截然不同的設計理念。
Optimistic Rollups 假設所有交易「預設有效」，只在有人於爭議期（一般約 7 日）內提交欺詐證明時，才會進行驗證。這種模式開發門檻較低、營運成本較平，但代價是：如果不用流動性橋，原生提幣回以太坊主網往往要等足一星期。現時 Arbitrum 和 Optimism 是 Optimistic Rollup 陣營的兩大代表。
ZkEVM Rollups 則完全相反：系統不預設相信任何交易批次，每一批交易在「有密證證明其有效之前」都被視為無效。這意味著在產生證明（proving）端的計算開支更高，但換來的是：提幣在以太坊主網上可以在數小時內完成結算，而且毋須依賴「誠實監察者」去抓欺詐行為。
對普通用戶而言，實際差異可概括如下：
- **提幣速度：**ZkEVM 明顯勝出，以密證為基礎的最終確定性通常只需數小時；原生 Optimistic Rollup 提幣則要等約 7 日。
- **交易成本：**目前多數情況下，Optimistic Rollups 較平，因為產生 ZK 證明本身就有額外成本。不過，隨着證明硬件及演算法持續優化，兩者成本差距正不斷收窄。
- **安全模型：**ZkEVM 提供的是「密碼學層面的有效性保證」；Optimistic Rollups 則以「經濟誘因＋欺詐證明」建立安全性，雖然可靠，但在數學嚴格程度上並非同一級別。
- **EVM 相容度：**新一代 ZkEVM（Type 2／Type 3）已大致補回差距，現時幾乎可完全支援現有以太坊開發工具鏈，抹平了 Optimistic Rollups 曾經最大的優勢。
- **活性（Liveness）風險：**一旦 ZkEVM 的 prover 出問題，整個系統有機會暫停運作；相反，只要有 sequencer 繼續出塊，Optimistic Rollups 就可以保持運轉。
兩派並沒有誰「絕對更好」的答案。重視極低手續費、可以接受較長提幣時間的大型高頻應用，多數會傾向選擇 Optimistic Rollups；相反，要求快速最終結算、跨鏈結算，或者需要「數學級」正確性保証的應用，則更傾向採用 ZkEVM。
延伸閱讀：CoreWeave 股價飆 11%，Q2 收入受 AI 熱潮帶動按年倍增
現階段真正受惠於 ZkEVM 的是誰？
ZkEVM 並非停留在白皮書層面的未來技術，而是已經有多條主網上線，鎖倉資金真金白銀、用戶真實在付 Gas。要善用這項技術，關鍵在於理解「生態鏈上不同參與者」各自得到甚麼好處。
DeFi 協議 由以太坊主網遷移至 ZkEVM，可幾乎維持相同的執行語意（Type 2／Type 3），同時大幅壓低 Gas 成本。過去在主網一次 Swap 要付 30 美元 Gas，令散戶卻步的協議，在 ZkEVM 上可以做到每筆交易低於一美分，而且無須重寫智能合約。
跨鏈橋及多鏈應用 受惠於模組化 ZkEVM 架構，可以將證明同步提交至多條鏈。用戶不再需要把資產交給多簽橋（歷史上最常被黑的加密基建之一），改為依賴在鏈上被驗證的數學證明。
企業及機構用戶 如要搭建有權限或半有權限的鏈上應用，ZkEVM 提供一個已被市場驗證的執行環境，而且具備完整的密碼學可稽核性。每一次狀態轉移都可被形式化證明「計算正確」，對合規、審計以及會計處理尤其關鍵。
開發者 如在今天啟動全新項目，必須先理解 Type 4 與 Type 2 之間的取捨。若你準備由零開始寫 Solidity，並希望追求極致的證明速度及最低手續費，Type 4 網絡可能更合適；若你是將已有協議直接搬鏈，無法承受行為細節有任何差異，那麼 Type 2 或 Type 3 網絡會是風險更低的選擇。
至於一般用戶，對 ZkEVM 的體驗很單純：這只是一條「又快又平、與以太坊高度兼容的鏈」，錢包可以照用，代幣透過橋接即可過來。底層那套複雜的密碼學機器幾乎完全被抽象掉——而這正是優質基建應有的樣子。
延伸閱讀：Monad TVL 創 8.68 億美元新高，但 MON 需求依然偏弱
結語
ZkEVM 可以說是應用密碼學界「最難的收斂難題」之一：將一部原本沒有為數學結構設計的虛擬機，硬生生改造成能以零知識證明語言溝通的系統。
能走到今天這一步的團隊，背後花了多年時間，處理雜湊函數不相容、約束條件爆炸、以及「論文寫好時硬件根本未出現」等各式各樣的工程與理論難題。
這個領域仍在快速演進：證明生成時間不斷縮短、去中心化 prover 網絡陸續上線、而 Type 1「完整等同以太坊」的 ZkEVM 目標，亦愈來愈接近實現。
對任何在以太坊生態內建設或投資的參與者而言，真正弄清楚 ZkEVM 的運作機制——而非只停留在市場宣傳語——將會是往後每一個關鍵決策的底層前提。
