以太坊的合并已经完成了一段时间，以太坊区块链社区正专注于网络扩容的工作，以实现更便宜的交易费用、更快的交易，以及更多的吞吐量，同时还要维护构建在该区块链上的去中心化金融(DeFi)协议和其他去中心化应用(dapp)的安全性。以太坊虚拟机(zk-evm)目前是以太坊社区中开发的最受好评的扩容技术之一。
今天的文章将讨论zk-EVM和zk-EVM领域需要注意的一些关键项目。要理解zk-evm是什么，我们首先需要理解两个关键概念：零知识聚合(zk-rollup)和以太坊虚拟机(EVM)
什么是ZK-Rollups
ZK-Rollup是在以太坊区块链之上运行的第二层扩容解决方案。zk-rollup是链外协议，它在以太坊区块链之外执行事务，然后通过链上rollup契约将事务批提交回链上。ZK-rollup处理事务、执行计算并在链下存储数据，同时在链上智能合约中持有资产。
数字资产保险企业Evertas收购加密货币挖矿保险公司Bitsure:金色财经报道，市场消息：数字资产保险企业Evertas收购加密货币挖矿保险公司Bitsure。[2023/7/19 11:02:57]
从本质上说，zk-rollup在执行事务时脱链处理事务，以减少对块空间的需求，然后将结果发送到以太坊区块链。zk-rollup本质上被称为零知识，因为在交易完成后，它们会以批处理的形式发送回以太坊区块链，并证明它们是有效的。这些证明被称为短非交互知识论证(SNARK)。zk-SNARKs是用来验证数据真实性而不泄露交易的全部细节的方法。
zk-rollup体系结构有两个关键组件:
链上合约:zk-rollup由运行在以太坊网络上的智能合约控制。以太坊区块链作为主合约，用于存储卷出块和排序，跟踪存款，并存储roll-up状态。链上合约还充当验证者，确保zk-Rollup生成的区块。
软银：已将FTX投资减记为零，此前投资不到1亿美元:11月15日消息，软银已将其FTX投资减记为零，作为众多支持过FTX的投资公司之一，软银声称“对FTX的投资不到1亿美元”，而且仅占其1000亿美元愿景基金的很小一部分，同时对整个公司的股份价值不会产生实质性减少。
不过，许多人依然质疑为何有如此多的知名投资公司在没有进行太多尽职调查的情况下就对FTX进行了大额投资，前软银首席运营官Marcelo Claure在社交媒体上声称自己在FTX这件事上“是完全失败的”，一是被FOMO情绪左右，二是没有完全搞明白自己在投资什么。（Techcrunch）[2022/11/15 13:07:14]
链下虚拟机:链下虚拟机独立于以太坊虚拟机，是zk-Rollup架构中处理事务的地方。这确保了主以太坊网络上较少的块空间争夺。
现在让我们来看看什么是以太坊虚拟机(EVM):
什么是EVM
安全团队：建议Solana钱包用户尽快转移加密资产至CEX或者硬件钱包:8月3日消息，成都链安链必应-区块链安全态势感知平台舆情监测显示，Solana生态发生大规模盗币事件，经成都链安安全团队分析，事故的原因可能是一次供应链攻击，npm package里面有后门，所以很多钱包受到影响。建议Solana钱包用户尽快转移加密资产至CEX或者硬件钱包，成都链安链必追平台正在对被盗资金进行实时监控。[2022/8/3 2:55:14]
来源:Ethereum基金会
以太坊虚拟机(EVM)是一个数据处理引擎，其功能类似于具有大量可执行项目的分布式计算机。它作为虚拟机和以太坊整个操作结构的基础。它被视为以太坊处理执行和智能合约部署的组件。每个以太坊节点运行一个EVM，在每次交易后更新EVM，以确保以太坊网络的状态在整个系统中是一致的。
现在我们已经了解了zk和evm的两个关键概念，让我们看看zk-evm是什么:
ZK-EVMs-深入研究
zk-evm结合了zk-rollup和evm的概念。因此，zk-evm允许开发dapp，在使用以太坊虚拟机处理交易和执行智能合约时隐私的最大化。
数据：ETH平均Gas费达到1年低点:7月23日消息，据Glassnode数据显示，ETH平均Gas费（7日均值）到达一年低点，为29.184GWEI。[2022/7/23 2:32:21]
来源:ZK7
zkEVMs的类型
关于zk-evm的执行有不同的思想流派。然而，以太坊的创始人VitalikButerin普及了zk-evm的一种分类。让我们来看看V神提出的这些分类。
欧洲央行执委：2023年底可就启动数字欧元的实现阶段作出决定:5月16日消息，欧洲央行执委帕内塔表示，在2023年底，我们可以就启动数字欧元的实现阶段作出决定。数字时代的公共资金必须保持货币锚的地位，数字欧元将强化货币主权。（金十）[2022/5/16 3:19:23]
来源: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的成功是至关重要的。然而，同样重要的是要注意，这些解决方案中有几个还处于试验阶段，这个领域正在发展当中，所以在做出任何投资决定之前还是要多学习和关注这个领域，以做出正确的判断。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。