最近有许多「ZK-EVM」项目高调发布公告。Polygon 开放了他们的 ZK-EVM 项目，ZKSync 发布了他们的 ZKSync 2.0 计划，相对较新的 Scroll 最近也发布了他们的 ZK-EVM。还有来自隐私和拓展探索的团队、Nicolas Liochon 等人的团队的持续努力，从 EVM 到 Starkware 的 zk 友好语言 Cairo 的 alpha 编译器，当然有一些项目我会错过。 所有这些项目的核心目标都是相同的：使用 ZK-SNARK 技术来对类似以太坊的交易执行进行加密证明，要么让验证以太坊链本身变得更容易，要么构建与以太坊提供的内容 (接近) 相同但可扩展性更强的 zk rollup。但这些项目之间存在着微妙的差异，以及它们在实用性和速度之间的权衡。这篇文章将尝试描述 EVM 等价性的不同「类型」的分类，以及尝试实现每种类型的好处和成本。概述 (图表形式)类型 1（完全等效于以太坊）类型 1 ZK - EVM 力求完全和毫不妥协的等效于以太坊。它们不改变以太坊系统的任何部分，以使生成证明更容易。它们不会取代哈希、状态树、事务树、预编译或任何其他共...

最近有许多「ZK-EVM」项目高调发布公告。Polygon 开放了他们的 ZK-EVM 项目，ZKSync 发布了他们的 ZKSync 2.0 计划，相对较新的 Scroll 最近也发布了他们的 ZK-EVM。还有来自隐私和拓展探索的团队、Nicolas Liochon 等人的团队的持续努力，从 EVM 到 Starkware 的 zk 友好语言 Cairo 的 alpha 编译器，当然有一些项目我会错过。 所有这些项目的核心目标都是相同的：使用 ZK-SNARK 技术来对类似以太坊的交易执行进行加密证明，要么让验证以太坊链本身变得更容易，要么构建与以太坊提供的内容 (接近) 相同但可扩展性更强的 zk rollup。但这些项目之间存在着微妙的差异，以及它们在实用性和速度之间的权衡。这篇文章将尝试描述 EVM 等价性的不同「类型」的分类，以及尝试实现每种类型的好处和成本。概述 (图表形式)类型 1（完全等效于以太坊）类型 1 ZK - EVM 力求完全和毫不妥协的等效于以太坊。它们不改变以太坊系统的任何部分，以使生成证明更容易。它们不会取代哈希、状态树、事务树、预编译或任何其他共...