ROLL:各家 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

Mantle Network已通過將最高20萬枚ETH進行質押的社區提案投票:8月8日消息，BitDAO模塊化以太坊Layer 2網絡Mantle Network已通過將Mantle Treasury中的最高20萬枚ETH進行質押的社區提案投票。該提案內容包括設立Mantle經濟委員會，并授權合計限額高達20萬枚ETH的質押策略，其中Lido ETH質押策略的單獨限額高達4萬枚ETH，并在以太坊L1和Mantle L2 DEX上構建stETH-ETH和mntETH-ETH LP交易對。[2023/8/8 21:31:23]

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

Dymension Network在測試網部署支持IBC的Rollup:4月30日消息，旨在便利化模塊化 Rollup 網絡部署的網絡 Dymension Network 在 35-C 測試網部署支持 IBC 的 Rollup。開發者可使用 Dymension Network 提供的兼容 EVM 的 Rollup 開發工具包開發應用。模塊化區塊鏈 EVM RollApp 將使用 EVMOS 作為 Gas 代幣。[2023/4/30 14:35:38]

什么是?EVM?

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

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

“木頭姐”Cathie Wood旗下的投資管理公司遭遇雙重打擊:金色財經報道，“木頭姐”Cathie Wood旗下的ARK投資管理公司近日因為興登堡對Block的做空報告，以及美國證交會對Coinbase所采取行動的威脅而受到雙重打擊，因為這兩家公司都是她的主要持股標的。Block和Coinbase一直是Wood的最愛。根據ARK創新ETF相關持倉數據，Coinbase的持倉占比為7.5%，而Block占6.2%。[2023/3/24 13:23:02]

即將到來的?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，其中后面三個項目在近期陸續宣布了測試網上線的消息。

Blur：涉嫌欺詐出價地址將被取消第二季空投資格:2月28日消息，NFT市場Blur發文回復社區關于相關地址“濫用欺詐出價策略以獲取BID積分”時表示，在第二季空投中，所有涉嫌欺詐出價的錢包地址都將被過濾。[2023/2/28 12:33:45]

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

以太坊Layer2總鎖倉量為42.9億美元 7日漲幅16.96%:金色財經消息，據L2BEAT數據顯示，當前以太坊Layer2總鎖倉量漲至42.9億美元，7日漲幅16.96%。其中，鎖倉量前五分別為Arbitrum（23億美元，7日漲幅18.57%）、Optimism（8.4億美元，7日漲幅20.96%）、dYdX（5.59億美元，7日漲幅5.05%）、Loopring（1.94億美元，7日漲幅15.47%）、MetisAndromeda（1.19億美元，7日漲幅27.48%）。[2022/7/22 2:30:26]

這一類項目在語言層面兼容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以太坊硬幣ETHDTROLLERTROLLBNBDarkMagick

比特幣價格實時行情