VIT:Vitalik：不同类型的 ZK-EVM

特别感谢PSE、PolygonHermez、Zksync、Scroll、MatterLabs和Starkware团队的探讨与校对。

最近，很多“ZK-EVM”项目很快相继发出公告。Polygon开源了他们的ZK-EVM的项目，ZKSync发布了ZKSync2.0的计划，而Scroll作为相对的新秀，最近也宣布了他们的ZK-EVM项目。还有PrivacyandScalingExplorations团队、NicolasLiochonetal的团队，以及Nethermind团队致力于将EVM的Solidity语言转译为StarkWare的ZK友好语言Cairo的一个Alpha编译器，这些团队都在为此不断努力，当然，还有一些项目我没有例举出来。

这些项目的核心目标是一致的：利用ZK-SNARK技术对以太坊类交易的执行生成加密证明，不是让证明更易于验证以太坊链本身，就是构建相当于以太坊所提供的一些功能，但比它更具有可扩展性的ZK-rollups。但这些项目之间也有些细微区别，并且他们在实用性和速度之间所做的权衡也有差异。这篇文章将描述不同EVM等效“类型”的分类学，以及每种类型的优势和开销。

概览

类型1：完全以太坊等效的ZK-EVM

第一类ZK-EVM力图成为完全不妥协的以太坊等效ZK-EVM。他们不会更改以太坊系统的任何部分来让它更容易生成证明：不会替换哈希、状态树、交易树、预编译或是共识中的其他逻辑，不管这些部分多么次要。

Vitalik Buterin：开发人员还不知道“Merge + surge + verge + purge + splurge”的执行顺序:金色财经报道，以太坊联合创始人“V神” Vitalik Buterin 今日在社交媒体上发文称“Merge + surge + verge + purge + splurge”不是5个阶段，而是会并行发生。在回应加密社区质疑“合并后不会立即发生所有事情”的问题时，Vitalik Buterin 进一步解释说，这一切都是同时发生，实际的部署会在单独的硬分叉进行，但是不同的团队正在并行完成工作，在某些情况下，开发人员甚至还不知道事情的执行顺序。[2022/7/26 2:38:57]

优势：完美的兼容性

ZK-EVM的目标在于，能够像目前以太坊验证区块那样——或者至少，验证执行层上面的区块。

第一类的ZK-EVM正是我们最终所需要的，能让以太坊L1本身更具有可扩展性。长期来看，在第二类和第三类的ZK-EVM中试验得出的对以太坊的修改，可能会被合理引入至以太坊上，但是这种重新架构本身具有复杂性。

第一类ZK-EVM对Rollup来说也是理想的，因为它们让Rollup可以重复利用基础设施。比如，以太坊执行层客户端可以像原来那样生成和处理Rollup的区块，所以区块浏览器、区块生成等工具可以轻松重新使用。

劣势：证明生成时间慢

以太坊原本的设计并不是ZK友好的，因此，以太坊协议中的许多部分都需要花费大量的计算来生成ZK证明。第一类ZK-EVM旨在完全复制以太坊的环境，因此，它无法缓解这些计算低效性问题。目前，以太坊区块证明需要花费多个小时才能生成。这可以通过巧妙的工程，或从长远来看，通过ZK-SNARKASIC来缓解低效性问题。

Gravity DEX开发团队成立新项目Crescent:3月11日消息，开发流动性模块Gravity DEX的B-Harvest团队分拆成立了一个名为Crescent的新项目，正在寻求完全重构和扩展Gravity DEX。Crescent由Ignite Ventures资助，并与Ignite团队合作支持Crescent项目。

Crescent已经公布了治理代币CRE分配模型，总量2亿枚，其中将向ATOM委托者（delegator）空投1亿枚，另外1亿枚作为战略储备。空投方面，5000万枚CRE可在Crescent网络启动后推出Crescent DEX（DEXdrop）时索取，具体空投数量会根据二次空投系统确定，即按UTC时间2022年1月1日00:00快照时委托数量的平方根来决定，如果参与一些治理提案，能获得通过固定乘数获得更多奖励；剩余5000万枚将在一定时期内分配给使用Crescent Boost的ATOM委托人。[2022/3/11 13:50:06]

谁在构建第一类ZK-EVM？

PrivacyandScalingExplorations团队正在努力构建第一类ZK-EVM。

类型2：完全EVM等效的ZK-EVM

第二类ZK-EVM力争成为完全EVM等效但也不那么以太坊等效的ZK-EVM。也就是说，“从内部来看”，他们完全就像以太坊一样，但是在外部与以太坊有一些区别，尤其是区块结构和状态树等数据结构。

它的目标在于，与现有的应用完全兼容，但它会对以太坊做一些较小的修改，让开发更容易，也让证明生成得更快。

以太坊创始人Vitalik提倡加密货币广泛采用社交恢复型钱包:1月11日消息，以太坊创始人VitalikButerin发布博文章提倡加密货币行业应采用一种社交恢复型钱包（socialrecoverywallets），这种新型智能合约钱包可更好的提升加密货币的安全保护。社交恢复型钱包工作原理主要有两部分，第一，只有一个签名密钥可用于批准交易；第二，至少有3个（或更多）监护人，其中大多数可以配合更改帐户的签名密钥。如果用户丢失了签名密钥，那么社交恢复功能就会启动。用户可以直接与监护人联系，要求他们签署一项特殊交易，以将钱包合同中注册的签名公钥更改为新的签名。目前，已实现社交恢复功能的两个主要钱包是Argent钱包和Loopring钱包。不过，这两个钱包都存在两大问题，分别是依赖中继器来解决交易，以及高交易费，但可以通过将生态系统移至第2层协议解决，例如ZKrollups。[2021/1/11 15:51:02]

优势：在虚拟机层面完全等效

第二类ZK-EVM会改变存储着如以太坊状态的数据结构。幸运的是，因为EVM本身就不能直接访问这些数据结构，所以对原本在以太坊上运行的应用程序没什么影响，它们仍能在第二类的ZK-EVMrollup上运行。你可能无法像原来那样使用以太坊执行层客户端，但你可以通过一些修改来使用客户端，并且依旧能使用EVM调试工具和大部分其他开发者基础设施。

还存在少数例外情况。当验证以太坊历史区块的默克尔树证明来验证历史交易、收据或状态的声明时，应用程序出现了不兼容。如果ZK-EVM用不同的哈希函数来替换Keccak，那就会损坏这些证明。而且，我经常建议不要这样构建应用程序，因为未来的以太坊更新甚至会影响以太坊上的应用。更好的选择是以太坊自己添加不会过时的(future-proof)历史访问预编译。

美国总统特朗普提名Dan Berkovitz为民主党CFTC专员:据ethnews消息，美国总统特朗普提名Dan Berkovitz为第五位也是最后一位商品期货交易委员会专员。迄今为止，Berkovitz对加密货币市场提出了有限的评论。 2017年10月，在CFTC发布加密货币入门之前不久，他就曾针对ICO表示：“人们可能没有意识到他们正在进入商品业务。突然之间，这是CFTC需要警惕的一个领域，这是人们需要认识到的。”[2018/4/18]

劣势：已经改进过了但还是证明时间太慢

第二类ZK-EVM能比第一类提供更快的证明生成时间，它主要通过移除部分以太坊堆栈，这部分堆栈依赖于具有不必要复杂性和ZK不友好的加密学。特别是，这些堆栈可能会更改以太坊的Keccak和基于RPL的Merklepatriciatree，也许还会更改区块和收据结构。第二类ZK-EVM则是会使用不同的哈希函数，如Poseidon。自然而然地，它会修改状态树以储存哈希码和Keccak，不需要验证哈希以处理EXTCODEHASH和EXTCODECOPY操作码。

这些修改极大地改善了证明生成的时间，但它们没有解决所有问题。这类ZK-EVM继承了EVM本身带来的低效性和ZK不友好问题，所以像原本那样基于EVM生成证明的低效情况依然存在。内存就是最简单的例子：因为?MLOAD可以读取任何32字节，包括“无序的”代码段，MLOAD也不能单纯理解为对一段代码的读取；确切地说，它可能需要读取两个连续的代码段和执行位操作来结合运行结果。

谁在构建第二类ZK-EVM？

Scroll的ZK-EVM项目正在构建第二类ZK-EVM，PolygonHermez也是。即使如此，还没有项目真的成为第二类ZK-EVM；尤其是很多更加复杂的预编译还没实现。所以，目前来说，这两个项目应该说属于第三类ZK-EVM。

以太坊创始人Vitalik Buterin声明将不再发表关于比特币的言论:14日中午，以太坊创始人Vitalik Buterin发布推特称，将彻底停止评论比特币问题并把重点转向以太坊技术。[2017/11/14]

类型2.5：EVM等效，除了gas开销

在最糟糕的情况下，有一种能够极大地改善证明生成时间慢的方式是，大大提高那些难以在EVM中生成ZK证明的执行所花的gas开销。这些执行可能涉及预编译、KECCAK操作码，还可能涉及调用合约的特定模式、访问内存/存储或是回滚。

更改gas开销可能会降低开发者工具的兼容性，损坏一些应用，但总体上，它的风险比“更深入地”变更EVM来说更少。开发者需要注意，不要消耗超出一个区块所容纳的gas上限，也永远都不要用硬编码gas数来进行调用。

另一种管理资源限制的方式是，只要对每个操作能被调用的次数设定硬限制就好了。这在电路中的实现很简单，但是对EVM的安全假设就不太好了。我更愿意将这种方法称作第三类ZK-EVM，而不是类型2.5。

类型3：几乎是EVM等效的

第三类ZK-EVM几乎是EVM等效的，但需要对完全等效性做一些牺牲，以进一步改善证明生成时间，并促进EVM更易于开发。

优势：易于构建，证明生成时间更快

第三类ZK-EVM也许会取消一些格外难以在ZK-EVM实现中实现的功能。预编译通常会是这类功能中最难实现的；此外，这类ZK-EVM有时也在处理合约代码、内存和堆栈方面有些许不同。

劣势：兼容性更差

第三类ZK-EVM的目标是与大部分应用程序兼容，它只需要对剩下的应用进行极少的改写。即使是这样，也需要对一些应用进行改写，因为这些应用会使用第三类ZK-EVM已经取消的预编译，或是因为它们对边缘情况有着微妙依赖性，而VM会以不同的方式处理。

谁来构建第三类ZK-EVM？

Scroll和Polygon现在的形式都属于第三类ZK-EVM，尽管他们预计会随着时间改善兼容性。Polygon的设计很独特，他们用着自己的内部语言zkASM验证ZK，并且他们会使用zkASM的实现来转译ZK-EVM代码。虽然其实现细节是这样的，但我还是愿意把它称为真正的第三类ZK-EVM。它依旧能够验证EVM代码，只是用着一些不同的内部逻辑罢了。

现在，还没有ZK-EVM团队想要成为第三类ZK-EVM；该类型仅仅是完成预编译添加这一复杂工作和项目能够转为类型2.5之前的过渡阶段。然而，通过添加新的ZK-SNARK友好的预编译，为开发者提供证明生成时间短、gas开销低的功能，第一类和第二类ZK-EVM在未来可能会自发成为第三类ZK-EVM。

类型4：高级语言等效

第四类ZK-EVM系统的工作原理是，采用高级语言编写智能合约源码），并将这些源码编译为一些明确设计成ZK-SNARK友好的其他语言。

优势：极快的证明生成时间

不将EVM的每个执行步骤的所有环节生成ZK证明，而是直接开始证明高级语言编写的代码，这样你可以避免掉很多开销。

在本文，虽然我只用了一句话来描述这种优势，但这句话不应该被解读为价值判断！从高级语言直接编译真的可以极大地减少开销，并通过让证明过程变得容易而推动去中心化。

劣势：兼容性更差

一个用Vyper或Solidity编写的“正常”应用程序能够被编译出来，并且它“可以运行”，但在很多重要情况下，很多应用会变得不“正常”：

第四类ZK-EVM的系统中的合约地址与EVM中的可能不一样，因为CREATE2合约地址取决于具体的字节码。这破坏了依赖于尚未部署的“反事实合约”的应用、ERC-4337钱包、EIP-2470单例和许多其他应用程序。

手动编写的EVM字节码更难投入使用。很多应用程序为了效率，会使用手动编写部分EVM字节码。尽管有很多种方式可以实现对这类有限制的EVM字节码的支持，可以在无需完全成为第三类ZK-EVM的情况下将这些用例应用起来，但第四类ZK-EVM的系统可能不会支持这种手动编写的字节码。

很多调试基础设施无法继续生存，因为这种基础设施都基于EVM字节码运行。尽管如此，但我们可以通过“传统”高级语言或中间语言更轻松地访问调试基础设施，以减轻这种劣势。

开发者应该留心这些问题。

谁在构建第四类ZK-EVM？

ZKSync系统就是第四类ZK-EVM，虽然它可能会随着时间提高EVM字节码的兼容性。Nethermind的Warp项目正在构建从Solidity语言转译为StarkWareCairo语言的编译器，这个编译器将会把StarkNet变成真正的第四类ZK-EVM系统。

各个ZK-EVM类型的未来

并不是说这些类型比其它类型“更好”或“更差”。相反，相较之下他们各有不同：从类型1至类型4，编号较低的ZK-EVM类型和现有的基础设施更加兼容，但运行得更慢；而编号较高的ZK-EVM类型则和现有的基础设施不那么兼容，但运行得更快。总之，对所有ZK-EVM类型的探索有益于该领域的健康发展。

另外，ZK-EVM项目可以随着时间的推移，轻松地从编号高的ZK-EVM开始，然后转为编号低的类型。例如：

ZK-EVM可以在一开始作为第三类ZK-EVM投入使用，不去加入一些特别难以生成ZK证明的功能。之后，他们可以随着时间的推移而加入那些功能，继而转变为第二类。

一开始作为第二类别的ZK-EVM，通过在完全兼容以太坊的模式下运行，或使用在修改后能更快生成证明的状态树，这类ZK-EVM可以在之后变成第二类和第一类ZK-EVM的混合类型。Scroll就正在考虑向这个方向发展。

一些一开始属于第四类系统的ZK-EVM项目，可以通过之后添加EVM代码处理的功能，继而随着时间变成第三类ZK-EVM。

如果以太坊自身为了变得更加ZK友好而采用一些修改，那么第二类和第三类可以成为第一类ZK-EVM。

第一类或第二类ZK-EVM可以通过增加验证ZK-SNARK友好语言代码的预编译，变成第三类ZK-EVM。这为开发者在以太坊兼容性和运行速度之间提供了一个选择。这可以算是第三类ZK-EVM，因为它会破坏完美的EVM等效，但出于实际意图和目的，它可能还会具有很多第一类和第二类ZK-EVM的优势。它不好的地方可能是，一些开发者工具无法理解ZK-EVM的自编译，虽然这点也可以修复：开发者工具可以通过支持包括EVM代码等效的预编译实现在内的配置格式，以此增加通用的预编译支持。

就个人而言，通过结合ZK-EVM中的改进与让以太坊变得更加ZK-SNARK友好的改进，我希望这些项目全部慢慢变成第一类ZK-EVM。在这样的未来里，我们也会有多种ZK-EVM实现，可以用于ZKrollup，也能用来验证以太坊链本身。理论上，以太坊没有必要标准化单个ZK-EVM的实现来供L1使用；不同客户端可以使用不同的证明，我们才能继续从代码冗余中获益。

不论如何，我们还需要一些时间来迎接这种未来。同时，我们也会在扩容以太坊和开发基于以太坊ZKrollup的不同赛道上看到大量创新。

标签：以太坊VITROLLROL以太坊交易TAVITT价格roll币在哪换AgrolifeCoin

以太坊价格今日行情热门资讯