ZK領域最新發展動態

零知識證明(ZK Proof)技術在加密世界中已廣爲人知。本文將對ZK領域的最新進展進行概述。

以太坊模塊化的演進

以太坊正在從單體架構向模塊化設計轉變。越來越多的外部解決方案被用於擴展以太坊的數據和執行需求。在數據可用性方面,一些項目正在競爭;在執行層面,第二層(L2)解決方案如Arbitrum和zkSync應運而生,它們在鏈下執行交易,然後將交易批量提交到以太坊主網。

擴容方案:鏈上vs鏈下

以太坊目前每秒只能處理約30筆交易(TPS)。爲了提高吞吐量,有兩種主要的擴容方案:

1. 鏈上擴容:直接對區塊鏈進行修改,如分片技術。

2. 鏈下擴容:通過外部執行環境(L2)實現,在以太坊之外處理交易,然後將數據批量發布到主網。

ZK rollups:領先的鏈下擴容技術

ZK rollups是當前最流行的L2解決方案,可將TPS提高到約2000。它使用零知識證明技術在以太坊上驗證和發布交易批次。目前規模較大的ZK rollups包括dYdX、Loopring、zkSync Lite、ZKSpace和Aztec Connect等。

Validiums和Volitions

除ZK rollups外,Validiums和Volitions也是值得關注的基於ZK的擴容方案:

• Validiums:在鏈下執行交易並維護數據,可實現20000+ TPS。代表項目有Immutable X和Sorare。

• Volitions:ZK rollup和validium的混合體,允許用戶在鏈上和鏈下數據可用性間切換。

zkEVM:擴容的聖杯

zkEVM是與以太坊虛擬機(EVM)兼容的ZK rollup。它的出現使ZK rollups有望在未來超越optimistic rollups。目前多個項目正在開發zkEVM實現,包括Polygon、zkSync、Scroll等。

zkEVM的分類與進展

Vitalik Buterin將zkEVM分爲4種類型。Type 1完全等同於EVM,Type 4僅與部分以太坊應用兼容。當前主要項目的進展:

• Polygon zkEVM:正從Type 3向Type 2邁進,主網測試版將於3月27日啓動
• zkSync Era:Type 4 zkEVM,剛向開發者開放主網
• Scroll:正在開發Type 2 zkEVM,剛發布Goerli測試網
• Starknet的Kakarot:已達到Type 3水平並加速開發

隨着zkEVM的推出,2023年將成爲用戶首次體驗這一技術的關鍵之年。未來,從Type 2到Type 4的外部zkEVM將爲開發者和用戶提供獨特的定制功能和用戶體驗。