1.V神：不同类型 ZK-EVM 的源码未来

V神：不同类型 ZK-EVM 的未来

        近期，众多“ZK-EVM”项目相继发布公告。源码Polygon已开放了ZK-EVM项目，源码ZKSync推出了ZKSync 2.0计划，源码而较新的源码游戏sf源码Scroll也公布了ZK-EVM。此外，源码溯源码的食品Nicolas Liochon等团队在隐私和拓展探索方面持续努力，源码包括从EVM到Starkware的源码zk友好语言Cairo的alpha编译器。本文将探讨EVM等价性的源码不同分类，以及每种类型的源码优势与成本。

        包括：

        完全等效于以太坊（类型1）：这类ZK-EVM力求与以太坊完全等效，源码不改变任何部分以简化生成证明。源码它们不包括哈希、源码甘肃溯源码燕窝状态树、源码交易树或共识逻辑。源码

        完全等效EVM（类型2）：这类ZK-EVM在内部与EVM完全一致，但在外部有细微差别，陕西安卓源码如块结构和状态树。它们旨在与现有应用完全兼容，通过一些修改简化生成证明。

        类型2.5（与EVM等同，kotlin分享海报源码不包含gas费用）：通过增加特定操作的费用成本，显著改善验证时间，同时可能牺牲一些兼容性。

        几乎等同于EVM（类型3）：这类ZK-EVM牺牲部分功能以实现更快的验证时间，与大多数应用兼容，但需进行少量重写。

        相当于高级语言（类型4）：这类系统直接使用高级语言（如SOLIDITY、VYPER）编写的智能合约源代码，编译成zk-Snark友好语言。

        总体而言，这些分类代表了在编码难度与兼容性与验证时间之间权衡的不同方向。每个类型都有其适用场景，有助于推动ZK-EVM领域的发展。然而，实现类型1 ZK-EVM，通过改进ZK-EVM和以太坊本身使其更适合zk-Snark，是未来的发展目标。