zkEVM 一直是以太坊生態系統相當關注的技術之一。Polygon 於昨日正式宣佈推出 zkEVM，目前代碼已開源，並將在不久後推出公共測試網。
We are proud to announce a giant leap forward for Ethereum scaling and ZK innovation.
Introducing Polygon #zkEVM, the first EVM-equivalent ZK L2.
Today we’re releasing a complete implementation, fully open-source, and we’re just getting started.
[1/6] pic.twitter.com/P929DRCT1y
— Polygon | Aggregated (@0xPolygon) July 20, 2022
同一時間，另一個以太坊 ZK Rollup 解決方案 zkSync 2.0 也宣布將在未來 100 天內上線主網。開發商 Matter Labs 表示，希望能夠成為第一個將完全兼容以太坊虛擬機（EVM）的 ZK Rollups 擴容方案推向市場的團隊。
那麼，究竟什麼是 zkEVM？為什麼這麼多開發團隊會將其視為技術演進過程中的重要里程碑呢？開發者 Foobar 在推特上發佈了一系列推文深入探討此議題，以下為編譯內容。
- 作者：foobar
- 編譯：Zombit
從 zk Rollups 說起
L2-rollup 是一種將用戶交易批量化的解決方案，能夠使 Gas成本變得更加便宜，同時繼承以太坊主網的大部分安全保證。目前市場上存在兩種主要的 rollup 類型：Optimistic Rollups 與 zk Rollups。
像 Optimism 和 Arbitrum 等 Optimistic Rollups ，會定期向主網發送狀態，並依靠欺詐證明來確保狀態的真實性。而 zk Rollups，如 Loopring 和 Starkware，也會向主網發送狀態，但同時還會附帶加密的有效性證明。
一般來說，ZK rollups 因其更強的隱私保證而受到青睞，但它們在技術上具有很大的挑戰性。開發人員必須用深奧的程式語言編寫自定義迴路，即使是對功能的微小改變也需要對底層迴路進行大規模的更改。
這就是 Loopring 和 Starkware 等 zk-rollups 面臨的問題。雖然理論上很強大，但它們太複雜了，以至於很少有開發者能在它們上面進行構建。
回過頭來說，如果有個辦法能讓你在 zk-rollup 上運行任意的Solidity 代碼會怎樣？這就是所謂的「zkEVM」。
第一個 zkEVM？
如今，Polygon 宣布推出 zkEVM（自稱市場上第一個）。19 號， Scroll 宣布了他們的 zkEVM Pre-alpha 測試版本。去年 12 月，zkSync 啟動了他們的實時測試網，並於昨日宣佈將在 100 天內啟動主網（他們好像才是第一個 zkEVM）。
Loopring 運行 zk-Rollup，但並不是 zkEVM，而是專門為處理特定活動而設計的專用網路，如代幣轉移和 DEX 交易。
Starkware 與 Loopring 一樣，在 Starkware 中，開發人員必須使用 Cairo 而不是 Solidity 編寫自定義代碼。
先不說誰才是真正的『第一個』。很明顯，zkEVM 已經很接近了！這是一個令人難以置信的消息，多個優質團隊之間的競爭只會推動科技創新更快發展。
zkEVM 對普通用戶意味著什麼？
那麼，這對於非技術人員，或者對於我們來說意味著什麼？意味著更便宜的 Gas，更多的 Rollup 選擇，以及更多的 App 在這之上……代幣的價格可能會有牛市和熊市，但科學技術永遠只有進步。
https://twitter.com/0xfoobar/status/1549779232770990080
