文/DeFi Saint;譯/金色財經0xnative
每個人都在談論Optimistic Rollups並猜測他們的Airdrops,而忘記了zkEVMs才是聖杯。 zkEVM旨在突破ZK Rollups技術的局限性。
以下是你應該了解的有關zkEVM 的知識以及如何為它們的主網上線做好準備。
在本文中,我將介紹:
1、用於擴容的Optimistic和ZK Rollups;
2、ZK Rollups局限性;
3、zkEVM概述;
4、為什麼使用zkEVM?
5、zkEVM類型;
6、zkEVM建設者;
7、zkEVM測試網和Alpha
1、Optimistic和ZK Rollups擴容
Optimistic Rollups處理鏈下交易,將交易捆綁或rollup回以太坊主網。為了證明交易的有效性,它基於假設並使用“欺詐證明”來驗證交易。
ZK Rollups在鏈下運行計算,它基於數據平衡的最終確定性。 ZK Rollups 使用“有效證明”來驗證交易,而不基於Optimistic Rollups那樣的假設。
它驗證交易的方法是通過計算提供加密證明。這並不容易實現,因為計算每筆交易都需要時間。
2、ZK Rollups局限性
-
計算交易需要時間
-
不兼容EVM
看到ZK Rollups技術局限性後,提出了zkEVM來解決這個問題。 zkEVM怎麼解決呢?
3、zkEVM概述
zkEVM意即零知識以太坊虛擬機(Zero Knowledge Ethereum Virtual Machine),並且由於它的擴容方法而被認為是擴容的“聖杯”。
只需將zkEVM視為ZK Rollups的升級,因為他們旨在將以太坊環境複製為Rollup,允許開發人員像在以太坊上一樣在rollup上建設。
為什麼選擇zkEVM? zkEVM的目標是突破ZK Rollups技術的局限性。不兼容EVM是zkRollups技術的主要缺點,例如Type 4 zkEVM。
4、zkEVM類型
根據Vitalik,zkEVM有5種類型:
-
類型1 zkEVM(完全等同於以太坊)
-
類型2 zkEVM(完全等同於EVM)
-
類型2.5 zkEVM(等同於EVM,除了gas成本)
-
類型3 zkEVM(幾乎等同於EVM)
-
類型4 zkEVM(高級語言等同)
5、zkEVM建設者
Polygon zkEVM Polygon
zkSync 2.0 Matter Labs
Scroll Scroll團隊
StarkNet (zkSNARK) StarkWare
Taiko Taiko團隊
6、zkEVM測試網和Alpha
Polygon zkEVM總結
類型2 zkEVM(完全等同EVM)。
需要了解的重要事實:
-
優勢是在VM(虛擬機)級別上的完美等效性。
-
完全開源
-
在字節碼級別
指數擴容(引入遞歸,使其能夠使用一個zk有效性證明來驗證一批其他zk證明)。
更快的證明時間和更低的費用(
最終測試網已上線
2023年第一季度主網發布。
測試網信息:https://polygon.technology/blog/your-three-step-guide-to-using-polygon-zkevm-yes-its-that-easy
zkSync 2.0總結
類型4 zkEVM (高級語言等同)。
它的工作原理是支持與以太坊編碼語言(Solidity和Vyper)的兼容性,然後轉換成它理解的另一種語言(Yul)。
需要了解的重要事實:
-
優勢包括更快的證明時間。
-
缺點是較不兼容。
-
在語言級別運行。
-
zkSync 2.0測試網仍然有效。
-
利用zkPorter提高其可擴容性(最高20,000 TPS)
測試網鏈接:https://portal.zksync.io/bridge
Scroll zkEVM總結:
類型2 zkEVM(完全EVM等效)
需要了解的重要事實:
-
類似於PolygonzkEVM的字節碼級別
-
由3核心架構組成:1、Scroll節點——從用戶txns構建L2塊,在L1和L2之間傳遞消息。 2、Roller Network——生成zkEVM Validity Proof以證明Txn的正確性。 3、Rollups和Bridge Contract:為scroll Txn提供數據可用性,並允許用戶在主網和Scroll之間移動資產。
測試網鏈接:https://scroll.io/prealpha
StarkNet zkEVM總結
類型4 zkEVM(高級語言)就像zkSync 2.0
需要了解的重要事實:
-
大多數zkEVM項目使用zkSNARK,而Starkware的StarkNet使用zkSTARK。
-
優勢包括快速證明時間。
-
缺點包括更多的不兼容性。
-
在語言級別運行,如zkSync 2.0,而不是在字節碼級別。
Alpha主網已上線
Alpha主網鏈接https://starkgate.starknet.io
Taiko zkEVM總結
Type 1 zkEVM(完全等同於以太坊)。
需要了解的重要事實:
-
優勢包括完美的兼容性。
-
完全開源。
-
優先考慮以太坊等價性而非ZK證明者速度
-
3個核心架構組成:1、zkEVM電路——用於證明生成。 2、L2 Rollup節點——用於管理Rollup Chain。 3、L1 上的協議:連接前者和後者以進行Rollup協議驗證。
Taiko測試網信息:https://taiko.xyz/docs/alpha-1-testnet-guide/get-started