以太坊的合并已经完成了一段时间，以太坊区块链社区正专注于网络扩容的工作，以实现更便宜的交易费用、更快的交易，以及更多的吞吐量，同时还要维护构建在该区块链上的去中心化金融(DeFi)协议和其他去中心化应用(dapp)的安全性。以太坊虚拟机(zk-evm)目前是以太坊社区中开发的最受好评的扩容技术之一。
今天的文章将讨论zk-EVM和zk-EVM领域需要注意的一些关键项目。要理解zk-evm是什么，我们首先需要理解两个关键概念：零知识聚合(zk-rollup)和以太坊虚拟机(EVM)
什么是ZK-Rollups
ZK-Rollup是在以太坊区块链之上运行的第二层扩容解决方案。zk-rollup是链外协议，它在以太坊区块链之外执行事务，然后通过链上rollup契约将事务批提交回链上。ZK-rollup处理事务、执行计算并在链下存储数据，同时在链上智能合约中持有资产。
O(1) Labs和RISC Zero提出在Optimism上??添加两项 zk-proofs 的提案:7月21日消息，O(1) Labs 和 RISC Zero 的两项提案正在 Optimism 推进，以向 OP 链添加 zk-proofs。这些提交是为了响应旨在实现安全高效的跨链通信的提案请求。Optimism 基金会正在直接联系 O(1) 实验室和 RISC Zero，以“启动该项目并更详细地讨论期望”。
据悉，Zk-proof 基础设施和工具公司 RISC Zero 建议升级 Optimism 现有的故障协议，使用零知识证明来确保 Optimism 上状态更改的正确性，减少实现最终确定的时间。孵化 Mina 协议的 O(1) Labs 提议使用 Kimchi（Mina 协议目前使用的 zk 证明系统）创建一种新的防错解决方案，以有效地证明交易的正确执行。然后，这些证明用于通过智能合约更新以太坊网络的状态。[2023/7/22 15:51:32]
从本质上说，zk-rollup在执行事务时脱链处理事务，以减少对块空间的需求，然后将结果发送到以太坊区块链。zk-rollup本质上被称为零知识，因为在交易完成后，它们会以批处理的形式发送回以太坊区块链，并证明它们是有效的。这些证明被称为短非交互知识论证(SNARK)。zk-SNARKs是用来验证数据真实性而不泄露交易的全部细节的方法。
以太坊ZK-Rollup扩容方案Taiko计划在2024年初上线主网:金色财经报道，以太坊ZK-Rollup扩容方案Taiko发文公布路线图，计划在本月推出Alpha-2测试网，其中包含无需许可的provers和部分ZK-EVM电路，并在2024年初上线主网，实现完整的ZK-EVM电路、去中心化proposers和provers。[2023/3/10 12:52:48]
zk-rollup体系结构有两个关键组件:
链上合约:zk-rollup由运行在以太坊网络上的智能合约控制。以太坊区块链作为主合约，用于存储卷出块和排序，跟踪存款，并存储roll-up状态。链上合约还充当验证者，确保zk-Rollup生成的区块。
链下虚拟机:链下虚拟机独立于以太坊虚拟机，是zk-Rollup架构中处理事务的地方。这确保了主以太坊网络上较少的块空间争夺。
Horizen在主网发布zk-SNARK跨链协议Zendoo:12月3日消息，Horizen在主网发布zk-SNARK跨链协议Zendoo，Zendoo是一种独特的互操作性协议和扩展解决方案，开发人员可以使用Zendoo构建支持zk-SNARK的自定义区块链，在不影响去中心化的情况下提供大量吞吐量。（Cointelegraph）[2021/12/3 12:47:57]
现在让我们来看看什么是以太坊虚拟机(EVM):
什么是EVM
来源:Ethereum基金会
以太坊虚拟机(EVM)是一个数据处理引擎，其功能类似于具有大量可执行项目的分布式计算机。它作为虚拟机和以太坊整个操作结构的基础。它被视为以太坊处理执行和智能合约部署的组件。每个以太坊节点运行一个EVM，在每次交易后更新EVM，以确保以太坊网络的状态在整个系统中是一致的。
动态 | ZK-pro正式被越南社会主义共和国国家邮政通信集团(VNPT)收购:据官方消息，越南社会主义共和国国家邮政通信集团(VNPT)电信广播科技发展股份有限公司全球通信启动发布会上宣布收购ZK-pro，正式成为越南第一家持牌的全牌照交易所。
未来越南电信广播科技会深耕旗下持牌合法业务，数字化交易所，数字化智慧城市、数字化支付、数字化商城、数字化银行、数字化通信领域以合规合法主体运营。
会议期间ZK-pro正式收购了新加坡海豚交易所并与胡志明市证券交易所达成深度合作关系，未来通过数字化供应链全面打通科技金融产融合结合，实现企业多渠道发展的目标。[2019/12/31]
现在我们已经了解了zk和evm的两个关键概念，让我们看看zk-evm是什么:
ZK-EVMs-深入研究
zk-evm结合了zk-rollup和evm的概念。因此，zk-evm允许开发dapp，在使用以太坊虚拟机处理交易和执行智能合约时隐私的最大化。
声音 | V神：过去三周Zk-SNARKs确实取得了巨大进步:在以色列特拉维夫举行的以太坊会议上，当被问及关于隐私技术的最新发展（特别是隐私币 Zcash 等使用的零知识证明）时，V神表示：“过去三周里，Zk-SNARKs确实取得了巨大的进步，但很多人还没有意识到这一点。”V神还提到了Plonk，一种将由Aztec Protocol推出的、创建零知识证明的新方法，这是ConsenSys支持的一个项目，项目重点是在10月份将隐私技术引入以太坊。这一技术将降低创建零知识证明的复杂性，使更多人能够更容易使用它。V神说，“这意味着成千上万的人将很容易参与进来”。此外，在DeFi方面，V神肯定DeFi潜在价值，但指出其存在明确的中心化后门和预言机问题。（Decrypt）[2019/9/16]
来源: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的成功是至关重要的。然而，同样重要的是要注意，这些解决方案中有几个还处于试验阶段，这个领域正在发展当中，所以在做出任何投资决定之前还是要多学习和关注这个领域，以做出正确的判断。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。