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

作者：ViaBTCCapital

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

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

只能支付的ZK-Rollup

0x316地址在過去3天內總共使用25萬美元買入17.72萬枚LBR:金色財經報道，據Spot On Chain監測顯示，0x316地址在2小時前以平均1.514美元的價格買入9.907萬LBR（15萬美元），隨后價格上漲 4%。該地址在過去3天內總共使用25萬美元買入17.72萬枚LBR。每次買入后，LBR的價格都會飆升，該地址目前仍持有全部，現值26.7萬美元。

此外，地址0x316也從兩個流行的meme coin賺取了總計約28.9萬美元：從7月24日到7月28日，將9500萬枚RSR (18.8萬美元) 兌換為 2.53億枚RLB (現價值46.1萬美元)，從8月10日起，將7.5萬枚USDT兌換為74萬枚BITCOIN（現價值9.1萬美元）。[2023/8/12 16:22:04]

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

區塊鏈游戲平臺Arc8旗下League Pass NFT已全部售罄:6月28日消息，據官方公告，區塊鏈游戲平臺Arc8旗下League Pass NFT已全部售罄。據悉，Arc8 League的第0賽季將于2023年7月11日開始，League Pass持有者可以參與為期4周的NFT門票活動。[2023/6/28 22:05:07]

什么是?EVM?

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

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

比特幣NFT錢包Ordinals Wallet將支持向.Sats域名地址發送資金和銘文:5月30日消息，比特幣 NFT 錢包 Ordinals Wallet 將支持向 .Sats 域名地址發送資金和銘文，但如果用戶使用 Xverse 向 .Sats 域名地址發送資金，則不會顯示在余額中（Xverse 使用多個地址，一個用于 Ordinals，另一個用于比特幣）。[2023/5/30 9:49:48]

即將到來的?ZK-EVM

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

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

zkSync Era上TVL突破3億美元 創歷史新高:金色財經報道，據L2BEAT數據顯示，zkSync Era上的鎖倉額（TVL）已突破3億美元，創下歷史新高。[2023/5/26 9:43:54]

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

各家?ZK-EVM對比

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

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

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

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

比特幣全網未確認交易數量為4233筆:金色財經消息，BTC.com數據顯示，目前比特幣全網未確認交易數量為4233筆，全網算力為230.98 EH/s，24小時交易速率為2.62交易/秒，目前全網難度為30.28 T，預測下次難度上調1.50%至30.74 T，距離調整還剩9天。[2022/6/13 4:20:48]

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

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

而在Vitalik的博文里，他將ZK-EVM分為幾種類型。其中，類型1是直接在以太坊上面直接開發ZK-EVM，這個開發過于復雜而且目前效率太低，以太坊基金正在研究中。類型2、類型2.5和類型3是EVM等效的ZK-EVM，Scroll和PolygonHermez目前處于類型3這個階段，朝著類型2.5乃至類型2努力。類型4是高級語言兼容的ZK-EVM，包括Starkware和zkSync。這些類型并無好壞之分，而且ZK-EVM也沒有統一的標準。正如Vitalik所說，“從理論上講，以太坊不需要為L1使用單一的ZK-EVM實現進行標準化；不同的客戶可以使用不同的證明，因此我們繼續從代碼冗余中受益。”

總結

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

參考資料：

ZK-EVMoverview-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/

來源：金色財經

Tags：以太坊ROLLROLARK以太坊幣最新價格美元走勢AITROLLSRollerSwapBunnyPark

PEPE