以太坊创始人V神(Vitalik Buterin)发文探讨不同类型的ZK-EVM和类似ZK-EVM的项目,以及它们之间的权衡。V神在文中描述了多个EVM等效的不同“类型”的分类,以及尝试实现每种类型的好处和成本。
V神总结称,就我个人而言,我希望随着时间的推移,通过ZK-EVM的改进和以太坊本身的改进相结合,使其对ZK-SNARK更加友好,一切都将成为Type 1(完全与以太坊等效)。在这样的未来,我们将有多个ZK-EVM实现,它们既可以用于ZK rollups,也可以用于验证以太坊链本身。从理论上讲,以太坊不需要为Layer 1使用单一的ZK-EVM实现进行标准化;不同的客户端可以使用不同的证明,因此我们继续从代码冗余中受益。
但是,要实现这样的未来,还需要相当长的时间。与此同时,我们将在扩展以太坊和基于以太坊的ZK-rollups的不同路径中看到许多创新。