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

Binance將上線1000FLOKI 1-20倍U本位永續合約:5月6日消息，據官方公告，Binance將于5月7日00:30（東八區時間）上線1000FLOKI1-20倍U本位永續合約。[2023/5/7 14:47:42]

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

什么是?EVM?

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

上周數字資產投資產品流出200萬美元，BTC流出1200萬美元:金色財經報道，CoinShares數據顯示，上周數字資產投資產品出現了總計200萬美元的小額流出。其中，比特幣連續第三周流出總計1200萬美元，而空頭比特幣總計流入1000萬美元。以太坊相對不受近期負面情緒的影響，上周僅流出20萬美元。Polygon、Solana和Cardano出現少量資金流入，總額分別為60萬美元、50萬美元和40萬美元。[2023/2/27 12:32:15]

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

香港公司Red Date Technology推出新系統以連接CBDC和穩定幣:金色財經報道，香港公司Red Date Technology推出“通用數字支付網絡”(UDPN)。UDPN白皮書顯示該產品為DLT平臺，它將以類似于銀行SWIFT的方式連接穩定幣和CBDC之間的交易。

該公司表示，從1月至6月，將有多家大型金融機構參與一系列的概念驗證實驗。參與的金融機構可包括德意志銀行、匯豐銀行、渣打銀行及東亞銀行。[2023/1/24 11:27:38]

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

The Spartan Group宣布已戰略投資IMX代幣:10月7日消息，The Spartan Group宣布，在與Immutable團隊和Immutable創始人Robbie Ferguson合作中，已經對IMX代幣進行了戰略投資。[2022/10/7 18:41:59]

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

調查：英國六年時間中報告超34000起加密犯罪:金色財經報道，根據Crypto Head的一份對加密貨幣犯罪的調查，自2016年至2021年，英國有34,305起使用加密貨幣的犯罪活動報告，平均年增長率為100%。

調查顯示，僅2021年一年，英國加密犯罪相關的受害者就損失了總計超過2.04億英鎊（約2.41億美元）。（Finbold）[2022/7/15 2:15:54]

這一類項目在語言層面兼容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：以太坊ROLROLLARK以太坊硬幣模版The Troller CoinTROLLBNB幣Total Crypto Market Cap Token

SHIB最新價格