几种常见的 ZK-EVM 类型

ZK-EVM 即是围绕以太坊虚拟机（EVM），利用 ZK-SNARK 技术来制作的项目。随着以太坊2.0升级计划的发布，其所新采用的具备高扩展性的 ZK-rollup 也展现在人们的视野当中，一时之间，ZK-EVM 也成为了一个热门的项目，在市场中，诞生了许多各具特色的 ZK-EVM。

这里根据 ZK-EVM 的特性不同，分成了几种主要的类型。

类型一：完全等效以太坊

这种类型是一种和以太坊完全等效的 ZK-EVM。从哈希、状态树、交易数到预编译、共识逻辑等，都和以太坊一致。

这种完全等效的 ZK-EVM，和以太坊的自然有着完美的兼容性，能够无障碍验证以太坊区块，甚至也可以引入到以太坊中，让它更具可扩展性。

当然，完全等效以太坊，也继承了以太坊的一个不足之处。那就是以太坊对于 ZK 技术的兼容性。早期的以太坊设计是没有考虑到 ZK 技术的，因此，在现在的以太坊中，需要大量的额外计算才能进行 ZK 证明。这也意味着证明效率的低下，通常需要花费很多个小时才能完成。