以太坊的合并已经完成了一段时间，以太坊区块链社区正专注于网络扩容的工作，以实现更便宜的交易费用、更快的交易，以及更多的吞吐量，同时还要维护构建在该区块链上的去中心化金融(DeFi)协议和其他去中心化应用(dapp)的安全性。以太坊虚拟机(zk-evm)目前是以太坊社区中开发的最受好评的扩容技术之一。
今天的文章将讨论zk-EVM和zk-EVM领域需要注意的一些关键项目。要理解zk-evm是什么，我们首先需要理解两个关键概念：零知识聚合(zk-rollup)和以太坊虚拟机(EVM)
什么是ZK-Rollups
ZK-Rollup是在以太坊区块链之上运行的第二层扩容解决方案。zk-rollup是链外协议，它在以太坊区块链之外执行事务，然后通过链上rollup契约将事务批提交回链上。ZK-rollup处理事务、执行计算并在链下存储数据，同时在链上智能合约中持有资产。
V神：未来10年zk-SNARKs将与区块链一样重要:5月21日消息，在黑山举办的 EDCON 2023 大会上，以太坊联合创始人 Vitalik Buterin 表示，未来 10 年，zk-SNARKs 将与区块链一样重要。
以太坊社区大会（EDCON）于 2023 年 5 月 19 日至 23 日在黑山波德戈里察举行，本次会议演讲嘉宾包括了以太坊联合创始人 Vitalik Buterin、以太坊核心开发者 Tim Beiko、以太坊基金会 Devcon 团队负责人 Skylar Weaver 与以太坊基金会研究员 Vlad Zamfir、Piper Merriam、Andy Guzman 等。EDCON 是一个非营利性的年度全球以太坊会议，每年在不同国家 / 地区举办，致力于通过促进全球以太坊社区的交流和互动来服务于以太坊生态系统。[2023/5/21 15:17:04]
从本质上说，zk-rollup在执行事务时脱链处理事务，以减少对块空间的需求，然后将结果发送到以太坊区块链。zk-rollup本质上被称为零知识，因为在交易完成后，它们会以批处理的形式发送回以太坊区块链，并证明它们是有效的。这些证明被称为短非交互知识论证(SNARK)。zk-SNARKs是用来验证数据真实性而不泄露交易的全部细节的方法。
Charles Hoskinson：Cardano对ZK-rollups有一个“美丽计划”:4月15日消息，Input Output首席执行官Charles Hoskinson在最近AMA活动中被问到为什么Cardano区块链没有涉及ZK-rollups，他回应称Cardano对ZK-rollups有一个“美丽计划”，应该会与Midnight有很大关系，更多细节将在后续公布。Midnight是隐私为中心的Cardano侧链，专注于保护敏感的商业和个人数据、开发者和个人数据，分析认为虽然Charles Hoskinson没有详细说明Cardano区块链将如何使用ZK-rollups，但提及Midnight可能与安全验证链上数据有关。（cryptoslate）[2023/4/16 14:06:00]
zk-rollup体系结构有两个关键组件:
ZK-PORT平台第一期优质IDO项目已初步确认:据官方消息，经过筛选和优化，ZK-PORT平台第一期上线的优质IDO项目已初步确定：MIRL、 Reign of terror、 YOM。据悉，ZKPORT是Poriot的IDO平台。[2022/5/18 3:23:55]
链上合约:zk-rollup由运行在以太坊网络上的智能合约控制。以太坊区块链作为主合约，用于存储卷出块和排序，跟踪存款，并存储roll-up状态。链上合约还充当验证者，确保zk-Rollup生成的区块。
链下虚拟机:链下虚拟机独立于以太坊虚拟机，是zk-Rollup架构中处理事务的地方。这确保了主以太坊网络上较少的块空间争夺。
现在让我们来看看什么是以太坊虚拟机(EVM):
什么是EVM
蓝狐：Uniswap V3可能涉及ZK-Rollup的扩展方案等:蓝狐笔记创办人蓝狐今天发言表示：Uniswap的V3可能涉及到的，大家可以了解下
1.限价订单模式；
2.ZK-Rollup的扩展方案；
3.集成ZK-SNARk以及防止抢先交易；
4.UNI代币持有人的费用分配。[2020/9/24]
来源:Ethereum基金会
以太坊虚拟机(EVM)是一个数据处理引擎，其功能类似于具有大量可执行项目的分布式计算机。它作为虚拟机和以太坊整个操作结构的基础。它被视为以太坊处理执行和智能合约部署的组件。每个以太坊节点运行一个EVM，在每次交易后更新EVM，以确保以太坊网络的状态在整个系统中是一致的。
现在我们已经了解了zk和evm的两个关键概念，让我们看看zk-evm是什么:
ZK-EVMs-深入研究
zk-evm结合了zk-rollup和evm的概念。因此，zk-evm允许开发dapp，在使用以太坊虚拟机处理交易和执行智能合约时隐私的最大化。
ETH 2.0项目负责人称阶段0预计很快推出 V神明确反对zk-STARKS应用:ETH 2.0项目负责人Danny Ryan近日在reddit上解答ETH 2.0有关进展和功能时表示，ETH 2.0的开发当前集中在“信标链”的构建上，这是ETH 2.0的基础。但是阶段1的开发正在逐步进行，该阶段引入了用于与信标链连接的“分片”的分片链，并且阶段0发布预计将很快推出。此外，Ryan还表示，团队的目标是让整个以太坊社区参与进来，并与尽可能多的客户建立联系。
而针对有人提出的量子保护隐私保护技术“ zk-STARKS”的“ Etherium 3.0”的想法，Vitalik Buterin本人在reddit上明确表示不支持。V神称，目前，希望以太坊的基本结构在ETH 2.0发布后不会改变。（注：zk-STARKS是一种区块链隐私解决方案，该方案能够将大量信息压缩成名为starks的小样本并使用零知识来保护信息的隐私。）（Coinpost）[2020/6/1]
来源: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的成功是至关重要的。然而，同样重要的是要注意，这些解决方案中有几个还处于试验阶段，这个领域正在发展当中，所以在做出任何投资决定之前还是要多学习和关注这个领域，以做出正确的判断。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。