0x财经| zkEVM賽道詳解:五大項目及其測試網進展

文/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)

etrmogj0IIi2DaQGjllbyFtIiO4tEwQGCPSTnoxb.png

測試網鏈接: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

Total
0
Shares
Related Posts