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将为开发者和用户提供独特的定制功能和用户体验。