以太坊区块链官方 深入探讨五种 zkEVM 的优缺点

zkEVM 的类型

关于 zkEVM 实现有不同的思想流派。 然而，以太坊创始人 Vitalik Buterin 推广了 zkEVM 分类法。 让我们看看 Vitalik 提出的这些分类。

资料来源：Vitalik Buterin 的博客‌‌

Type1 zkEVM

这些类型的 zkEVM 也被称为完整的以太坊等价物。 这是因为这些 EVM 完全等同于以太坊，除了更容易生成证明外，没有对区块链进行任何更改。

正方形：

这些类型的 zkEVm 与以太坊完美兼容，可以为以太坊网络上未来的 zk 集成提供基础。

反对：

以太坊网络最初并不是为 zk 兼容而构建的。 因此以太坊区块链官方，以太坊网络可能需要为 zk 证明进行大量计算。 因此，这些 zkEVM 可能会导致更长的证明时间和最终更长的交易完成时间。

一些构建 Type1 zkEVM 的项目是来自 Privacy and Scaling Exploration 团队的 Applied ZKP 和 Taiko。

——————————————————————————–

Type2 zkEVM

Type2 zkEVM 实现寻求与以太坊虚拟机 (EVM) 相同，但与以太坊等价物略有不同。 Type2 zkEVM 类似于以太坊区块链，只是数据结构和状态树不同。

正方形：

Type2 zkEVM 具有几乎与 EVM 等效的虚拟机，并将确保与多种 EVM 调试工具和开发人员基础设施的兼容性。

反对：

Type2 zkEVM 与 Type1 EVM 一样，证明时间较慢，因为以太坊区块链最初并不是为 zk 兼容而构建的。 但是，Type2 zkEVM 时间稍快一些。

一些构建 Type2 zkEVM 的项目包括 Scroll 和 Polygon Hermez。

Type2.5 zkEVM

Type2.5 zkEVM 之所以如此命名，是因为它们与 Type2 zkEVM 非常相似，只是它们改变了 gas 成本。 出于这个原因，Type2.5 zkEVM 有时被称为修改后的 EVM 的 gas-cost 等价物。

正方形：

2.5 型 zkEVM 由于降低了 gas 成本，因此非常便宜。

反对：

由于链上 gas 成本的变化，存在与集成 Type2.5 zkEVM 的软件创建者可用的开发工具不兼容的风险，并且这种实现可能会破坏一些已经构建的去中心化应用程序。

Type3 zkEVM

Type3 zkEVM 与其他形式的不同之处在于，协议中对操作可以调用的次数有硬性限制。 因此，这些类型的 zkEVM 有时被称为几乎 EVM 等价物。

正方形：

Type3 zk-EVM 更易于构建并大大减少验证时间以太坊区块链官方，因为它们通常消除了难以实现的功能。

反对：

大多数协议目前都避免保留为 Type3 zkEVM，直到它们可以完全实现使其成为 Type2.5 zkEVM 的功能。 因此，由于大多数应用程序需要重写，不兼容的风险更高。

在它们的早期形式中，Scroll 和 Polygon 被认为是 Type3 zkEVM。

Type4 zkEVM

Type4 zkEVM 是通过使用 Solidity 和 Vyper 等高级语言编写的智能合约代码并将代码编译为 zk-SNARK 友好的来实现的。 因此，它们被称为高级语言等价物 zkEVM。

正方形：

Type4 zkEVM 的证明时间非常快。

反对：

用solidity或vyper等高级语言编译智能合约时，存在非常高的不兼容风险。

Nethermind 的 zkSync 和 Warp 是构建和实施 Type4 zkEVM 系统的项目。

最后

自以太坊合并完成以来，我们看到扩展解决方案有所增加，以确保以太坊仍然是执行去中心化金融项目和其他去中心化应用程序的首选层。 因此，我们认为这个主题对于 web3.0 的成功至关重要。 但是，同样重要的是要注意，其中一些解决方案是实验性的，并且这个领域正在迅速发展，因此我们恳请您在做出任何投资决定之前密切关注这个领域。