$ETH$
💡不同 ZK-EVM 类型的简化细分：
📍类型 1：完全等价于以太坊
- 旨在准确反映以太坊，但由于以太坊的非 ZK 友好设计，证明交易非常耗时。
📍类型 2：完全 EVM 等效
- 与类型 1 类似，但修改了某些结构以加快证明生成速度，牺牲了以太坊的完全兼容性。
📍类型 2.5：相当于 EVM，但调整了 Gas 成本。
- 增加复杂操作的天然气成本以加快证明速度，但可能会导致轻微的不兼容性。
📍类型 3：几乎与 EVM 等效
- 牺牲一些功能以加快证明生成速度，随着时间的推移提高兼容性。
📍类型 4：相当于高级语言
- 将高级代码直接转换为 ZK-SNARK 友好语言，以实现非常快速的证明，但可能缺乏与现有基于 EVM 的应用程序的完全兼容性。
ZK-EVM 的目标是向 Type 1 发展，以实现完美的以太坊兼容性，从而允许各种路径来扩展以太坊和 ZK-rollups。不同的项目正在探索这些类型，随着时间的推移，它们之间可能会发生变化。
2024 年将是激动人心的一年，大部分零知识证明已经完成并来到主网，解决了 Web3 中的一些问题。
