本文详细探讨了ZK-EVM的五种类型，每种类型都有其独特的架构、优点和缺点，以及可能的解决方案。
此外文章还列举了一些实际的项目例子，以便读者更好地理解这些类型在实际应用中的表现。无论你是区块链开发者，还是对区块链技术感兴趣的读者，这篇文章都将为你提供深入且简洁的洞见。
让我们探讨一下ZK-EVM的类型，以及它的优缺点。
1.类型1：完全等同于以太坊；
2.类型2：完全等同于EVM；
3.类型2.5：部分等同于EVM；
4.类型3：几乎等同于EVM；
5.类型4：其中的高级语言等同。
特斯拉CEO马斯克正在积极寻找推特的首席执行官:金色财经报道，CNBC援引消息人士表示，特斯拉CEO马斯克正在积极寻找推特的首席执行官。[2022/12/21 21:57:05]
类型1：完全等同于以太坊
架构：完全同于以太坊且不改变以太坊系统的任何部分。
优点
完美兼容性：
能够验证以太坊区块；
帮助使以太坊L1更具可扩展性；
适用于Rollups，因为它们可以重复使用大量基础设施。
缺点
完美兼容性：
以太坊最初不是为ZK功能设计的；
以太坊的许多组件需要大量计算来生成ZK证明；
以太坊区块的证明需要很多小时才能生成。
问题的解决方案：
上海副市长：上海已有近100万家商户支持数字人民币:金色财经报道，上海市委常委、常务副市长吴清在“第四届上海金融科技国际论坛”上表示，上海数字经济核心产业增加值已经超过5500亿元，累计打造100多个重点应用场景，重大试点有序实施，创新场景更加丰富。上海有近100万家商户支持数字人民币，在人民银行金融科技创新监管工作启动以来，上海推出了19个项目，示范效应突出。[2022/12/19 21:53:45]
大规模并行化证明者；
ZK-SNARKASIC.
类型2：完全等同于EVM
架构：
数据结构与以太坊有显著区别；
与现有应用程序完全兼容；
对以太坊进行了微小修改，以便更容易开发和更快生成证明。
优点
提供比类型1更快的证明时间；
观点：FTX崩盘可能导致人们倾向于将资产转移到个人钱包中:金色财经报道，欧盟议会关于FTX倒闭和对欧盟影响的听证会正在进行。ESMA风险分析与经济学主管Steffen Kern表示，我们目前没有看到金融溢出到更广泛金融部门的重大风险。相互联系相对有限，而且该部门总体上仍然相对较小。
DG FISMA副主任Jour-Schroeder则表示，FTX 发生的事情可能导致人们倾向于将资产转移到个人钱包中，而不是将其存放在交易所，从而引发不同类型的风险。[2022/11/30 21:12:49]
数据结构不直接被EVM访问；
在以太坊上运行的应用程序：很可能可以在类型2上运行；
支持现有的EVM调试工具和其他开发基础设施。
缺点
在了解缺点之前，先了解什么是「Keccak」：
天津市对虚拟货币“挖矿”用电实行差别电价:10月12日消息，天津市发展和改革委员会近期发布关于虚拟货币“挖矿”用电实行差别电价政策通知，为整治虚拟货币“挖矿”活动，深入推进节能减排，助力实现“双碳”目标，按照国家有关电价政策要求，决定对虚拟货币“挖矿”用电实行差别电价。有关事项通知如下：
一、对虚拟货币“挖矿”用电实行差别电价，执行“淘汰类”企业电价，加价标准为每千瓦时 0.5 元。
二、将会同有关部门确定虚拟货币“挖矿”项目的名单、执行起止日期等信息，并函告各电网企业。各电网企业根据相关名单信息，及时足额收取加价电费，确保政策执行到位。
三、差别电价执行起止日期不足一个抄表周期致使电量无法计量的，执行差别电价的电量按对应抄表周期内日平均用电量乘以应执行差别电价政策的天数确定。虚拟货币“挖矿”项目挖矿用电与其他用电合并计量无法区分的，其全部电量执行差别电价政策。[2022/10/12 10:32:21]
以太坊区块链的哈希算法；
用于保护以太坊上的数据；
确保信息被转换为哈希。
类型2与验证历史区块的Merkle证明以验证有关历史交易、收据/状态的应用程序不兼容。这是因为如果哈希算法发生变化，证明将会失效。
我们可以将Keccak看作是一种语言，它使用Merkle证明如果ZK-EVM将Keccak替换为另一种哈希算法，Merkle证明将变得陌生，应用程序将无法读取和验证它们的声明。
对缺点的潜在解决方案：以太坊可以添加未来可扩展的历史访问预编译。
项目
Scroll;
PolygonHermez.
然而，这些项目尚未实现更复杂的预编译，因此，它们可以被认为是不完整的类型2。
类型2.5：部分等同于EVM
架构：
增加难以进行ZK证明的特定EVM操作的Gas成本；
预编译；
Keccak操作码；
调用合约的模式；
访问内存；
存储。
优点
显著提高最坏情况下的证明时间；
比对EVM堆栈进行更深层次的更改更安全。
缺点
开发工具的兼容性降低；
一些应用程序将无法工作。
类型3：几乎等同于EVM
架构：
在ZK-EVM实现中，删除了一些异常难以实现的功能，通常是预编译；
ZK-EVM在处理合约代码、内存或堆栈方面存在轻微差异。
优点
缩短验证时间；
让EVM更容易开发；
目标是对不太兼容的应用程序只需要最少的重写。
缺点
更多的不兼容性；
在类型3中删除的使用预编译的应用程序将需要重新编写。
项目
目前，Scroll和Polygon被认为是类型3，然而，ZK-EVM团队不应满足于成为类型3，类型3是ZK-EVM添加预编译以提高兼容性并转向类型2.5的过渡阶段。
类型4：高级语言等同
架构：
接受用高级语言编写的智能合约代码；
编译为设计为ZK-SNARK友好的语言。
优点
非常快的证明时间；
降低开销；
降低成为证明者的门槛：提高去中心化程度。
缺点
在类型4系统中，合约的地址可能与EVM中的地址不同，因为地址取决于确切的字节码；
这意味着如果类型4的ZK-EVM没有字节码，它们将无法创建地址；
在上述情况下，类型4将与依赖反事实合约的应用不兼容；
许多调试基础设施无法移植，因为它们运行在EVM字节码上。
项目
zkSync
最后，我们可以将上述的几种类型放在一起做一个比较，帮助大家一目了然的理解不同的zkEVM。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。