最近有许多“ZK-EVM”项目发布了公告。Polygon开源了他们的ZK-EVM项目，发布了他们的ZKSync2.0计划，相对较新的Scroll最近也宣布了他们的ZK-EVM。PrivacyandScalingExplorations团队、NicolasLiochon等人的团队也在不断努力，从EVM到Starkware的ZK友好语言Cairo的alpha编译器，当然还有一些我不知道
所有这些项目的核心目标都是相同的：使用ZK-SNARK技术来制作类似以太坊交易执行的加密证明，或者更容易验证以太坊链本身，或者构建相当于以太坊提供的，但更具可扩展性的ZK-rollup。但是这些项目之间存在细微的差异，以及它们在实用性和速度之间做出的权衡
这篇文章将尝试分类不同“类型”ZK-EVM的EVM等效性，以及尝试实现每种类型的好处和成本
1型ZK-EVM力求完全且毫不妥协地与以太坊等效。他们不会改变以太坊系统的任何部分来更容易生成证明。它们不会取代哈希、状态树、交易树、预编译或任何其他共识逻辑
Cardano联创：从未为Ripple工作，相关谣言可能把自己和Vitalik搞混了:6月24日消息，针对网上有关其曾在Ripple实习的传闻，以太坊和Cardano联合创始人Charles Hoskinson澄清称，这是谣言，自己从未以任何身份为Ripple工作过。相关谣言应该是把他和Vitalik Buterin两个人搞混了。
相关谣言疑似是基于一条早期的推文（已删除）：2019年4月，Vitalik回复Coinbase联合创始人Brian Armstrong的推文时承认，早在2013年中期，当他住在加拿大时，曾试图去加州在此后更名为Ripple Labs的公司当实习生，但由于赞助美国签证的公司必须至少成立一年而未能成功。
Ripple前开发者关系总监Matt Hamilton于2023年5月1日证实，Vitalik当时确实希望能在Ripple实习。[2023/6/24 21:57:28]
优点：完美兼容
以太坊新闻周刊创始人：Vitalik 并未出售3000枚以太坊:11月15日消息，以太坊新闻周刊创始人Evan Van Ness发推称，询问Vitalik Buterin后得知，0xe692开头的钱包地址非V神所有，所以这是假新闻。
此前消息，据慢雾监测显示，以太坊创始人Vitalik Buterin地址（0xe692开头）近日在Uniswap V3上分三笔将3000枚以太坊兑换为了400万美元的USDC。[2022/11/15 13:06:16]
其目标是能够像今天一样验证以太坊区块，或者至少验证执行层端.
1型ZK-EVM是我们最终需要的，使以太坊第1层本身更具可扩展性。从长远来看，在2型或3型ZK-EVM中测试的对以太坊的修改可能会被引入到以太坊本身，但这种重新架构也有其自身的复杂性
1型ZK-EVM也是Rollup的理想选择，因为它们允许Rollup重用大量基础架构。例如，以太坊执行客户端可以按原样使用来生成和处理rollup区块，因此工具例如区块浏览器、区块生产等非常容易重用
Vitalik：提高首次读取存储和账户访问的gas可以极大降低处理攻击的时间:以太坊创始人Vitalik发推表示：EIP-2929提案提到：提高首次读取存储和账户访问的gas。这可以将出现DoS攻击时的最坏情况处理时间减少到之前的1/3，从而更加安全地维持高gas的限制。[2020/9/2]
缺点：证明时间
以太坊最初并不是围绕ZK友好性设计的，因此以太坊协议的许多部分需要大量计算才能进行ZK证明。1型ZK-EVM旨在精确复制以太坊，因此它无法缓解这些低效率。目前，以太坊区块的证明需要很多小时才能产生。这可以通过巧妙的大规模并行化证明者工程或从长远来看通过ZK-SNARKASIC来缓解
谁在建造它？
PrivacyandScalingExplorations团队ZK-EVM正在构建1型ZK-EVM。
类型2
类型2ZK-EVM力求完全等同于EVM，但不完全等同于以太坊。也就是说，它们“从内部”看起来与以太坊一模一样，但它们在外部存在一些差异，特别是在区块结构和状态树等数据结构方面
TokenBetter平台GTX（Gravitation-X）日内涨幅为289%:据TokenBetter行情显示，截至今日18:50(UTC+8)，TokenBetter平台内创新区币种GTX（Gravitation-X）日内涨幅为289%，24H最高报价0.1499USDT，现报价0.08517USDT。
Gravitation-X（GTX）随着区块链技术的发展和区块链产业数量的增长，区块链项目的财务应用出现了竞争。因此，我们必须通过创建可用的游戏模型来解决竞争问题，这是毁灭证明，缩写为 POD。
Gravitation-X 的 POD 不仅基于智能合约，还基于 DAPP 系统设置。 从开始每天都会销毁大量的代币。随着更多令牌被释放，更多将被销毁，目标是通过结合 CryptoNote 协议和智能合约等一些经过验证的最佳技术，创建一种先进区块链技术，增强可靠性，隐私性，安全性，可用性和可移植性，从而实现创建私人智能合约。[2020/8/2]
目标是与现有应用程序完全兼容，但对以太坊进行一些小的修改，以使开发更容易并更快地生成证明
Strix Levithan首席信息官质疑PlanB提出的S2F模型:加密货币分析师PlanB于去年3月提出了Stock-to-Flow（S2F）模型，用于预测比特币价格。该模型是基于稀缺资产（如黄金、白银以及比特币）的价值与它们的稀缺性密切相关的观点。据PlanB估计，比特币和黄金和白银一样稀缺，唯一不同的是它是一种数字资产，这使得它在我们的时代更加珍贵。从模型分析来看，比特币的价格似乎更有可能在未来攀升，甚至可以达到10万美元的价格。
然而Strix Levithan首席信息官Nico Cordeiro对此提出了质疑。在6月30日发布的一份报告中，他对黄金稀缺性与价格之间关系的基本假设提出了质疑，称其为“变色龙模型（A Chameleon Model）”。另一个反对该模型的观点是，它假设比特币的价格到2045年将达到2350亿美元——在Cordeiro看来，这完全没有道理。实际上，该模型可以完美地用于基准测试，但是它缺乏使其完全可靠的具体因素。而基于该模型得出的不切实际的价格预测已经引起了业界专家的大量质疑。（Zycrypto）[2020/7/2]
优点：VM级别的完美等效
2型ZK-EVM对保存诸如以太坊状态之类的数据结构进行更改。幸运的是，这些是EVM本身无法直接访问的结构，因此在以太坊上运行的应用程序几乎总是可以在2型ZK-EVMRollup上运行。你将无法按原样使用以太坊执行客户端，但可以通过一些修改来使用它们，并且仍然可以使用EVM调试工具和大多数其他开发人员基础设施
有少数例外。对于验证以太坊历史区块的Merkle证明以验证有关历史交易、收据或状态的声明的应用程序出现了一种不兼容。用不同的哈希函数替换Keccak的ZK-EVM会破坏这些证明。但是，我通常建议不要以这种方式构建应用程序，因为未来的以太坊更改甚至会在以太坊本身上破坏此类应用程序。更好的选择是让以太坊本身添加面向未来的历史访问预编译
缺点：改进但仍然很慢证明时间
2型ZK-EVM提供比1型更快的证明时间，主要是通过删除依赖于不必要的复杂和ZK不友好密码学部分的以太坊堆栈。特别是，他们可能会改变以太坊的Keccak和基于RLP的MerklePatricia树，可能还会改变区块和收据结构。2型ZK-EVM可能会使用不同的哈希函数，
这些修改显著提高了证明者的时间，但它们并不能解决所有问题。必须按原样证明EVM的缓慢性以及EVM固有的所有低效率和ZK不友好性仍然存在。一个简单的例子是内存：因为anMLOAD可以读取任何32个字节，包括“未对齐”的区块，所以不能简单地将MLOAD解释为读取一个区块；相反，它可能需要读取两个连续的区块并执行位操作来组合结果。
谁在建造它？
Scroll的ZK-EVM项目正朝着Type2ZK-EVM方向发展，PolygonHermez也是如此。也就是说，这两个项目都还没有完成。特别是，许多更复杂的预编译还没有实现。因此，目前这两个项目都被更好地考虑为Type3
谁在建造它？
Scroll和Polygon在其当前形式中都是3型ZK-EVM，尽管它们有望随着时间的推移提高兼容性。Polygon有一个独特的设计，他们正在ZK验证他们自己的称为zkASM的内部语言，并且他们使用zkASM实现来解释ZK-EVM代码。尽管有这个实现细节，但我仍将其称为真正的Type3ZK-EVM；它仍然可以验证EVM代码，它只是使用一些不同的内部逻辑来完成它
ZK-EVM类型的未来
一些类型并不比其他类型明确地“更好”或“更差”。相反，它们权衡空间上的不同点：编号较小的类型与现有基础架构的兼容性更高，但速度较慢，编号较高的类型与现有基础架构的兼容性较差，但速度更快。一般来说，探索所有这些类型的空间是健康的
此外，ZK-EVM项目可以轻松地从较高编号的类型开始，并随着时间的推移跳转到较低编号的类型。例如：
ZK-EVM可以从类型3开始，决定不包含一些特别难以ZK证明的功能。之后，他们可以随着时间的推移添加这些功能，并转向类型2
ZK-EVM可以从类型2开始，后来成为混合类型2/类型1的ZK-EVM，通过提供在完全以太坊兼容模式下运行的可能性或使用可以更快证明的修改状态树的可能性。Scroll正在考虑朝这个方向发展
通过添加处理EVM代码的能力，从类型4开始的系统可能会随着时间的推移变成类型3
如果以太坊本身采用其修改以变得更加ZK友好，那么类型2或类型3ZK-EVM可以成为类型1ZK-EVM
1型或2型ZK-EVM可以通过添加预编译来验证ZK-SNARK友好语言中的代码，从而成为3型ZK-EVM。这将使开发人员在以太坊兼容性和速度之间做出选择。这将是类型3，因为它打破了完美的EVM等效性，但出于实际目的和目的，它将具有类型1和2的很多好处。主要缺点可能是某些开发人员工具无法理解ZK-EVM的自定义预编译，尽管这可以修复：开发人员工具可以通过支持包含预编译的EVM代码等效实现的配置格式来添加通用预编译支持
就我个人而言，我希望随着时间的推移，通过ZK-EVM的改进和以太坊本身的改进相结合，使其对ZK-SNARK更加友好，一切都将成为类型1。在这样的未来，我们将有多个ZK-EVM实现，它们既可用于ZKRollup，也可用于验证以太坊链本身。
从理论上讲，以太坊不需要为L1使用单一的ZK-EVM实现进行标准化；不同的客户端可以使用不同的证明，因此我们继续从代码冗余中受益。
但是，要实现这样的未来，还需要相当长的时间。与此同时，我们将在扩展以太坊和基于以太坊的ZK-rollup的不同路径中看到许多创新
在加密行业你想抓住下一波牛市机会你得有一个优质圈子，大家就能抱团取暖，保持洞察力。如果只是你一个人，四顾茫然，发现一个人都没有，想在这个行业里面坚持下来其实是很难的。
想抱团取暖，或者有疑惑的，欢迎加入我们——公众号：Crypto悟饭
感谢阅读，喜欢的朋友可以点个赞关注哦，我们下期再见！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。