以太坊的合并已经完成了一段时间，以太坊区块链社区正专注于网络扩容的工作，以实现更便宜的交易费用、更快的交易，以及更多的吞吐量，同时还要维护构建在该区块链上的去中心化金融(DeFi)协议和其他去中心化应用(dapp)的安全性。以太坊虚拟机(zk-evm)目前是以太坊社区中开发的最受好评的扩容技术之一。
今天的文章将讨论zk-EVM和zk-EVM领域需要注意的一些关键项目。要理解zk-evm是什么，我们首先需要理解两个关键概念：零知识聚合(zk-rollup)和以太坊虚拟机(EVM)
什么是ZK-Rollups
ZK-Rollup是在以太坊区块链之上运行的第二层扩容解决方案。zk-rollup是链外协议，它在以太坊区块链之外执行事务，然后通过链上rollup契约将事务批提交回链上。ZK-rollup处理事务、执行计算并在链下存储数据，同时在链上智能合约中持有资产。
从本质上说，zk-rollup在执行事务时脱链处理事务，以减少对块空间的需求，然后将结果发送到以太坊区块链。zk-rollup本质上被称为零知识，因为在交易完成后，它们会以批处理的形式发送回以太坊区块链，并证明它们是有效的。这些证明被称为短非交互知识论证(SNARK)。zk-SNARKs是用来验证数据真实性而不泄露交易的全部细节的方法。
zk-rollup体系结构有两个关键组件:
链上合约:zk-rollup由运行在以太坊网络上的智能合约控制。以太坊区块链作为主合约，用于存储卷出块和排序，跟踪存款，并存储roll-up状态。链上合约还充当验证者，确保zk-Rollup生成的区块。
链下虚拟机:链下虚拟机独立于以太坊虚拟机，是zk-Rollup架构中处理事务的地方。这确保了主以太坊网络上较少的块空间争夺。
现在让我们来看看什么是以太坊虚拟机(EVM):
什么是EVM
来源:Ethereum基金会
以太坊虚拟机(EVM)是一个数据处理引擎，其功能类似于具有大量可执行项目的分布式计算机。它作为虚拟机和以太坊整个操作结构的基础。它被视为以太坊处理执行和智能合约部署的组件。每个以太坊节点运行一个EVM，在每次交易后更新EVM，以确保以太坊网络的状态在整个系统中是一致的。
现在我们已经了解了zk和evm的两个关键概念，让我们看看zk-evm是什么:
ZK-EVMs-深入研究
zk-evm结合了zk-rollup和evm的概念。因此，zk-evm允许开发dapp，在使用以太坊虚拟机处理交易和执行智能合约时隐私的最大化。
来源:ZK7
zkEVMs的类型
关于zk-evm的执行有不同的思想流派。然而，以太坊的创始人VitalikButerin普及了zk-evm的一种分类。让我们来看看V神提出的这些分类。
来源:VitalikButerin的博客?
1型zkEVM
这些类型的zkEVMs也被称为完全等价于以太坊。这是因为evm完全等同于以太坊，除了使其更容易生成证明之外，不会对区块链进行任何更改。
优点
这些类型的zkEVms与以太坊完全兼容，可以为以太坊网络上未来的zk集成提供基础。
缺点
以太坊网络最初并不是为了与zk兼容而构建的。因此，以太坊网络可能需要大量的计算来进行zk证明。因此，这些zkevm可能会导致更长的证明时间，最终更长的时间才能完成事务。
一些构建1型zkEVM的项目是来自隐私和缩放探索团队和Taiko的应用ZKP。
2型zkEVM
Type2zkEVM实现试图完全类似于以太坊虚拟机，但与以太坊的对等物略有不同。Type2zkEVMs除了数据结构和状态树之外，类似于以太坊的区块链。
优点
Type2zkEVMs拥有一个几乎等同于EVM的虚拟机，并将确保与多个EVM调试工具和开发人员基础设施的兼容性。
缺点
类型2zkEVMs和类型1EVMs一样，验证时间较慢，因为以太坊区块链最初并不是构建为zk兼容的。然而，类型2的zkEVMS速度会快一点点。
一些构建2型zkEVMs的项目包括Scroll和PolygonHermez。
2.5zkEVM类型
2.5型zkEVMs之所以如此命名，是因为它们与2型zkEVMs非常相似，只是它们改变了Gas成本。因此，2.5型zkEVMs有时被称为evm等效，并调整了Gas成本。
优点
由于Gas成本降低，2.5型zkEVMs相当便宜。
缺点
由于链上的气体成本会发生变化，因此存在与集成2.5型zkEVMs的软件创建者可用的开发工具不兼容的风险，而且有可能破坏一些去中心化的应用程序。
3型zkEVM
3型zkEVMs不同于其他形式，因为在协议中对操作的调用次数有硬性限制。因此，这些类型的zkEVMs有时被称为几乎等同于evm。
优点
Type3zk-evm更容易构建，并且有改进证明时间的方法，因为它们通常消除了难以实现的特性。
缺点
大多数协议目前避免保持type3zkEVMs，直到它们能够完全实现使其成为type2.5zkEVMs的特性。由于大多数应用程序都需要重写，存在更高的不兼容性风险。
在它们的早期形式中，Scroll和Polygon被认为是Type3zkEVMs。
Type4zkEVM
Type4zkEVMs的实现是通过使用用高级语言(如Solidity和Vyper)编写的智能合约代码，并将代码编译为zk-SNARK友好型。因此，它们被称为高级语言等效zkEVMs。
优点
类型4zkEVMs有非常快的证明时间。
缺点
在从solidity或vyper等高级语言编译智能合约时，存在非常高的不兼容性风险。
来自Nethermind的ZKSync和Warp是构建和实现Type4zkEVM系统的项目。
结论：
自合并完成以来，我们看到了规模化解决方案的增长，以确保以太坊仍然是执行去中心化金融项目和其他去中心化应用程序的首选层。因此，我们认为这个主题对于web3的成功是至关重要的。然而，同样重要的是要注意，这些解决方案中有几个还处于试验阶段，这个领域正在发展当中，所以在做出任何投资决定之前还是要多学习和关注这个领域，以做出正确的判断。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。