以太坊的合并已经完成了一段时间，以太坊区块链社区正专注于网络扩容的工作，以实现更便宜的交易费用、更快的交易，以及更多的吞吐量，同时还要维护构建在该区块链上的去中心化金融(DeFi)协议和其他去中心化应用(dapp)的安全性。以太坊虚拟机(zk-evm)目前是以太坊社区中开发的最受好评的扩容技术之一。
今天的文章将讨论zk-EVM和zk-EVM领域需要注意的一些关键项目。要理解zk-evm是什么，我们首先需要理解两个关键概念：零知识聚合(zk-rollup)和以太坊虚拟机(EVM)
什么是ZK-Rollups
ZK-Rollup是在以太坊区块链之上运行的第二层扩容解决方案。zk-rollup是链外协议，它在以太坊区块链之外执行事务，然后通过链上rollup契约将事务批提交回链上。ZK-rollup处理事务、执行计算并在链下存储数据，同时在链上智能合约中持有资产。
Opside ZK-RaaS现已支持ETH/BSC/Polygon测试网等L1选项:8月14日消息，据官方消息，ZK-RaaS平台OpsideOpside 宣布发布Rollup LaunchBase Alpha版本，现已上线测试网。
该版本中，Rollup L1主链选项新增支持 ETH/BSC/Polygon 测试网，并提供多种 DA / shared sequencer 等模块化组件。此外，Rollup LaunchBase还支持添加多种Infra as a Service选项供项目方进行初期选择，包括Dex as a Service, Oracle as a Service, NFTmarket as a Service, DID as a Service等，可选项涵盖 iZUMi、Star Protocol、Space ID、Supraoracle等。[2023/8/14 16:24:42]
从本质上说，zk-rollup在执行事务时脱链处理事务，以减少对块空间的需求，然后将结果发送到以太坊区块链。zk-rollup本质上被称为零知识，因为在交易完成后，它们会以批处理的形式发送回以太坊区块链，并证明它们是有效的。这些证明被称为短非交互知识论证(SNARK)。zk-SNARKs是用来验证数据真实性而不泄露交易的全部细节的方法。
zk-Rollup项目INTMAX完成500万美元种子轮融资:4月13日消息，用于各种网络服务和金融的无状态zk-Rollup项目INTMAX的开发公司Ryodan Systems AG宣布完成了500万美元的种子轮融资。HashKey Capital、Bitscale Capital、B Dash Ventures、SNZ、Scroll、Mask Network和Alchemy Ventures等参投。
INTMAX路线图显示，将于2023年二季度在以太坊主网上发布其Alpha测试版。2023年第四季度INTMAX主网正式发布。任何验证者/矿工都可以参与网络。[2023/4/14 14:02:33]
zk-rollup体系结构有两个关键组件:
链上合约:zk-rollup由运行在以太坊网络上的智能合约控制。以太坊区块链作为主合约，用于存储卷出块和排序，跟踪存款，并存储roll-up状态。链上合约还充当验证者，确保zk-Rollup生成的区块。
Taiko 已上线 ZK-EVM alpha-2 测试网:3月23日消息，基于 zkRollup 的以太坊二层网络 Taiko 已上线 ZK-EVM alpha-2 测试网“Askja”，向所有开发人员开放以部署智能合约，部分集成了 ZKP 有效性证明，证明者现在无需许可即可生成证明，此外还启用协议经济学，对证明者进行真实奖励以补偿他们的资源消耗，对应的 L1 是以太坊测试网 Sepolia，并部署 Uniswap V2 分叉以支持兑换。[2023/3/23 13:21:25]
链下虚拟机:链下虚拟机独立于以太坊虚拟机，是zk-Rollup架构中处理事务的地方。这确保了主以太坊网络上较少的块空间争夺。
现在让我们来看看什么是以太坊虚拟机(EVM):
什么是EVM
Cardano生态项目dcSpark联创：今年将推出ZK-Rollup L2:金色财经报道，Cardano生态项目dcSpark联合创始人兼首席技术官Sebastien Guillemot在社交媒体发布2023年计划，包括推出零知识证明Rollup Layer 2、和Paima Studios合作推出一个Layer2GameFi项目、以及实现EVM侧链Milkomeda的去中心化等。
据此前报道，EVM侧链Milkomeda在今年八月交易量突破了750万笔。dcSpark去年还推出了首版Flint钱包并在Plutus平台上创建并运行了5个智能合约。[2023/1/2 22:20:49]
来源:Ethereum基金会
以太坊虚拟机(EVM)是一个数据处理引擎，其功能类似于具有大量可执行项目的分布式计算机。它作为虚拟机和以太坊整个操作结构的基础。它被视为以太坊处理执行和智能合约部署的组件。每个以太坊节点运行一个EVM，在每次交易后更新EVM，以确保以太坊网络的状态在整个系统中是一致的。
Qtum创始人：Qtum正在为GameFi等开发zk-rollup layer2解决方案:1月3日消息，Qtum创始人Patrick Dai表示，Qtum正在为GameFi和SocialFi以及元宇宙区块链基础设施开发zk-rollup layer2解决方案。零知识证明是实现Web3去信任的最佳扩容解决方案之一。 Qtum TPS 可以达到1万，交易费用可以是1-2美分。[2022/1/3 8:21:32]
现在我们已经了解了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的成功是至关重要的。然而，同样重要的是要注意，这些解决方案中有几个还处于试验阶段，这个领域正在发展当中，所以在做出任何投资决定之前还是要多学习和关注这个领域，以做出正确的判断。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。