最近有许多“ZK-EVM”项目发布他们的计划。Polygon开源了他们的ZK-EVM 项目，consensys开始了他们的zk-EVM的测试，ZKSync发布了他们的 ZKSync 2.0 计划，而相对较近的Scroll最近宣布了他们的 ZK-EVM。 所有这些项目的核心目标都是相同的：使用ZK-SNARK技术为以太坊系的执行交易提供加密证明，以便更容易的验证以太坊链上信息；构建ZK- rollups 可以做到共享以太坊的安全性，同时更具可扩展性。这些项目之间存在细微差别，它们在实用性和交易速度之间做出选择。下面将尝试描述EVM不同“类型”的分类，以及每种类型实现的回报和成本。Type1-完全等同以太坊Type 1 ZK-EVM 力求完全和以太坊等效。不会更改以太坊系统的任何部分来达到更容易生成证明的效果。不会替换hashes、状态树、交易树、预编译、共识逻辑或任何功能。优势：完美兼容以太坊目的是达成以太坊区块验证一样的效果——或者至少验证执行层（因此，不包括信标链共识逻辑，但包括所有交易执行和智能合约和账户逻辑）。Type 1 ZK-EVM 是使以太坊第 1 层本身更具可扩展性...