原文作者：cookies 原文编译：深潮 TechFlow
本文详细探讨了 ZK-EVM 的五种类型，每种类型都有其独特的架构、优点和缺点，以及可能的解决方案。
此外文章还列举了一些实际的项目例子，以便读者更好地理解这些类型在实际应用中的表现。无论你是区块链开发者，还是对区块链技术感兴趣的读者，这篇文章都将为你提供深入且简洁的洞见。
让我们探讨一下 ZK-EVM 的类型，以及它的优缺点。
1.类型 1 ：完全等同于以太坊；
2.类型 2 ：完全等同于 EVM；
3.类型 2.5 ：部分等同于 EVM；
4.类型 3 ：几乎等同于 EVM；
5.类型 4 ：其中的高级语言等同。
WeWork创始人新地产公司Flow正考虑在沙特阿拉伯推出:4月2日消息，WeWork 前首席执行官 Adam Neumann 创立的房地产公司 Flow 正考虑在沙特阿拉伯推出。周五在佛罗里达州迈阿密海滩举行的一次会议上，Neumann 接受了 a16z 两位创始人 Marc Andreessen 和 Ben Horowitz 的采访，谈到了他们对 Neumann 新公司 Flow 的 3.5 亿美元投资，以及他们对这个石油大国的共同热情。Horowitz 称赞沙特阿拉伯是一个“创业国家”。
此前报道，由 WeWork 前首席执行官 Adam Neumann 创立的房地产公司 Flow 计划推出一个数字钱包。Flow 的发言人 Davidson Goldin 表示，该数字钱包不能用于为 Flow 管理的公寓支付租金，但可以像其他钱包一样用于外部购买，而 Flow 的 Token 化奖励计划可能涉及加密货币。[2023/4/2 13:40:04]
美参议员正在推进由SBF支持的《数字商品消费者保护法》:金色财经报道，阿肯色州共和党人John Boozman在周四晚间发布声明表示，承诺将继续推进《数字商品消费者保护法》。此外，美国参议院农业委员会主席Debbie Stabenow也表示，美国和监管机构将敲定该法案，为委员会投票做准备。
据悉，FTX首席执行官Samuel Bankman-Fried（SBF）一直被称为《数字商品消费者保护法》最强有力的行业支持者，该法案将授予美国商品期货交易委员会(Commodity Futures Trading Commission)对加密货币市场和交易所更多的权力。
此前报道，美国证券交易委员会（SEC）主席Gary Gensler表示，SBF在推动参议院农业委员会目前正在审议的《数字商品消费者保护法》方面的作用破坏了SEC的权威。（the block）[2022/11/11 12:49:45]
架构：完全同于以太坊且不改变以太坊系统的任何部分。
芯片制造商英伟达的加密采矿芯片收入继续下降:金色财经报道，芯片巨头英伟达（Nvidia）表示，截至7月31日的2023财年第二季度，其加密货币采矿处理器（CMP）的销售额“很少”，低于一年前的2.66亿美元。英伟达曾用同样的术语来描述上一季度的CMP销售额，它当时指出CMP拖累了其“OEM和其他”业务部门的收入。
英伟达首席财务官称，“OEM和其他”业务部门第二季度的整体收入比去年同期下降了66%，至1.4亿美元，主要是受笔记本OEM销售下降的影响。“OEM和其他”业务部门只贡献了第二季度总收入的约2%。
根据FactSet的数据，Nvidia第二季度总收入为67亿美元，符合市场平均预期。8月初，Nvidia称其预计收入为67亿美元，远低于之前81亿美元的预期，主要原因是游戏收入减少。（CoinDesk）[2022/8/25 12:46:48]
完美兼容性：
高盛策略师：美联储可能长时间维持紧缩政策:金色财经消息，高盛集团（Goldman Sachs）的策略师称，在通胀持续高企的情况下，美联储可能会继续保持鹰派。以Cecilia Mariotti为首的策略师表示，投资者似乎对央行改变鹰派政策变得更加乐观，在之前的周期中，政策制定者为应对经济疲软而温和地改变路线。?
但这一次，高盛策略师表示，市场可能低估了持续通胀压力的风险，这可能会使央行在更长的时间内维持紧缩政策。（彭博社）[2022/7/27 2:40:33]
能够验证以太坊区块；
帮助使以太坊 L1 更具可扩展性；
适用于 Rollups，因为它们可以重复使用大量基础设施。
以太坊最初不是为 ZK 功能设计的；
以太坊的许多组件需要大量计算来生成 ZK 证明（ZKP）；
以太坊区块的证明需要很多小时才能生成 。
问题的解决方案：
大规模并行化证明者 ；
ZK-SNARK ASIC.
数据结构（区块结构和状态树）与以太坊有显著区别；
与现有应用程序完全兼容；
对以太坊进行了微小修改，以便更容易开发和更快生成证明。
提供比类型 1 更快的证明时间；
数据结构不直接被 EVM 访问；
在以太坊上运行的应用程序：很可能可以在类型 2 上运行；
支持现有的 EVM 调试工具和其他开发基础设施。
在了解缺点之前，先了解什么是「Keccak」：
以太坊区块链的哈希算法；
用于保护以太坊上的数据；
确保信息被转换为哈希。
类型 2 与验证历史区块的 Merkle 证明以验证有关历史交易、收据 / 状态的应用程序不兼容。这是因为如果哈希算法发生变化（不再是 Keccak），证明将会失效。
我们可以将 Keccak 看作是一种语言，它使用 Merkle 证明（字母）如果 ZK-EVM 将 Keccak 替换为另一种哈希算法（例如 Poseidon），Merkle 证明将变得陌生，应用程序将无法读取和验证它们的声明。
对缺点的潜在解决方案：以太坊可以添加未来可扩展的历史访问预编译。
Scroll;
Polygon Hermez.
然而，这些项目尚未实现更复杂的预编译，因此，它们可以被认为是不完整的类型 2 。
增加难以进行 ZK 证明的特定 EVM 操作的 Gas 成本；
预编译；
Keccak 操作码；
调用合约的模式；
访问内存；
存储。
显著提高最坏情况下的证明时间；
比对 EVM 堆栈进行更深层次的更改更安全。
开发工具的兼容性降低；
一些应用程序将无法工作。
在 ZK-EVM 实现中，删除了一些异常难以实现的功能，通常是预编译；
ZK-EVM 在处理合约代码、内存或堆栈方面存在轻微差异。
缩短验证时间 ；
让 EVM 更容易开发；
目标是对不太兼容的应用程序只需要最少的重写。
更多的不兼容性；
在类型 3 中删除的使用预编译的应用程序将需要重新编写。
目前，Scroll 和 Polygon 被认为是类型 3 ，然而，ZK-EVM 团队不应满足于成为类型 3 ，类型 3 是 ZK-EVM 添加预编译以提高兼容性并转向类型 2.5 的过渡阶段。
接受用高级语言（如 Solidity、Vyper）编写的智能合约代码；
编译为设计为 ZK-SNARK 友好的语言。
非常快的证明时间；
降低开销（成本、时间和计算工作量）；
降低成为证明者的门槛：提高去中心化程度。
在类型 4 系统中，合约的地址可能与 EVM 中的地址不同，因为地址取决于确切的字节码；
这意味着如果类型 4 的 ZK-EVM 没有字节码，它们将无法创建地址；
在上述情况下，类型 4 将与依赖反事实合约的应用不兼容；
许多调试基础设施无法移植，因为它们运行在 EVM 字节码上。
zkSync
最后，我们可以将上述的几种类型放在一起做一个比较，帮助大家一目了然的理解不同的 zkEVM。
深潮TechFlow
个人专栏
阅读更多
金色财经
金色荐读
Block unicorn
金色财经 善欧巴
区块链骑士
Foresight News
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。