ZK-EVM 即是围绕以太坊虚拟机(EVM),利用 ZK-SNARK 技术来制作的项目。随着以太坊2.0升级计划的发布,其所新采用的具备高扩展性的 ZK-rollup 也展现在人们的视野当中,一时之间,ZK-EVM 也成为了一个热门的项目,在市场中,诞生了许多各具特色的 ZK-EVM。
这里根据 ZK-EVM 的特性不同,分成了几种主要的类型。
类型一:完全等效以太坊
这种类型是一种和以太坊完全等效的 ZK-EVM。从哈希、状态树、交易数到预编译、共识逻辑等,都和以太坊一致。
这种完全等效的 ZK-EVM,和以太坊的自然有着完美的兼容性,能够无障碍验证以太坊区块,甚至也可以引入到以太坊中,让它更具可扩展性。
当然,完全等效以太坊,也继承了以太坊的一个不足之处。那就是以太坊对于 ZK 技术的兼容性。早期的以太坊设计是没有考虑到 ZK 技术的,因此,在现在的以太坊中,需要大量的额外计算才能进行 ZK 证明。这也意味着证明效率的低下,通常需要花费很多个小时才能完成。