有关zkEVM,你需要知道的一切(一)_RES:ANIME Vault (NFTX)

近期,多个ZKR项目密集官宣最新进展和路线规划:7月19日,基于zkEVM的ZKR项目Scroll宣布发布测试网。7月20日,Polygon宣布推出Polygon——“第一个EVM等效的zkEVMZKR项目”。同日,zkSync宣布zkSync将作为第一个基于zkEVM的ZKR在100天后上线主网。作为其中的关键词,zkEVM,在推特上引发用户的热烈讨论。有人认为,这些进展标志着”L2Summer”的来临。

为什么zkEVM如此吸引关注?zkEVM是ZKR项目的关键。它能在提高性能的同时,高层次地兼容EVM,让以太坊L1上的应用不需要修改就可以直接迁移到L2。因此,zkEVM也被许多人认为是L2Rollup的“终结游戏”与“以太坊杀手的杀手”。为将zkEVM抽丝剥茧阐释清晰,Odaily星球日报将本系列由浅入深拆分为三篇:一、zkEVM的基本介绍和细分层次二、zkEVM和zkVM项目盘点三、zkEVM与zkVM项目对比分析此为第一篇。基本信息

zkEVM是一种通过零知识证明验证程序正确性的虚拟机,旨在以支持零知识技术的方式执行智能合约,是ZKR项目兼容以太坊的关键技术。

图片来源:https://www.cth.group/insights/page/zk/zkEVM由两个单词合并而来。ZK是ZeroKnowledge零知识的缩写,EVM是EthereumVirtualMachine以太坊虚拟机的缩写。ZK技术能够提高区块链的性能,但发展的主要障碍之一在于缺乏EVM兼容,EVM与以太坊智能合约语言Solidity设计之初没考虑到未来会需要适配ZK,而让以太坊适配ZK难度太大,因此需要新兴的ZKR项目来适配EVM,zkEVM作为ZKR项目连接ZK技术与以太坊生态的桥梁应运而生。

图片来源:MidenETHAmsterdam演讲实现了zkEVM的ZKR一方面可以利用ZK技术的高性能,一方面可以继承以太坊的开发者资源如经过实战测试和审计的代码库、广泛的工具、文档、以及大量的开发者,这可以让以太坊的应用、资产、用户无损、简洁、快速地转移到TPS更高、gas更低的ZKRL2上。因此ZKR也被包括V神在内的诸多专业人士认为是最有前途的L2解决方案。常见误区

zkEVM有时会和“EVM兼容”混淆。zkEVM在专业人士的讨论中往往指的是在字节码或操作码层次实现EVM兼容的ZKR项目,而EVM兼容不仅包括Solidity语言层次的兼容,还包括字节码、操作码、共识层次的兼容。如StarkNet在语言层次实现了EVM兼容,但它是zkVM不是zkEVM;而PolygonHermez、Scroll、zkSync等ZKR项目不仅能够兼容Solidity语言,还能够兼容以太坊上的大部分开发工具、协议标准、字节码,它们是实现了zkEVM的ZKR。小结下,兼容EVM的项目不一定是zkEVM,因为兼容EVM有多个层次;实现zkEVM的项目一定兼容EVM,因为真正的zkEVM是等效EVM。我们将在下面详细解释zkEVM以及EVM兼容的详细区别。兼容区别

SuningYao在《ForesightVentures:解读zk、zkVM、zkEVM的现状及未来》提到关于EVM兼容的定义。EVM兼容性:Solidity等语言层面的适配。EVM等同性:EVM字节码层面的适配。EVMSpecification适配:也就是通常所说的真正的zkEVM,大多情况下甚至是向后兼容的优化后的超集,能提供账户抽象等EVM没有提供的特性。FundamentalLabs也在《FLResearch|IncompleteGuidetoZK:WhyZKMatters?》提到EVM兼容有三个层次:语言级别:在这种状态下没有真正的zkEVM。转译器将Solidity转换为与EVM完全不同的ZK友好型VM。StarkNet采用这种方法,目前已经开发出转译器Warp可将Solidity转译为StarkNet的原生语言。字节码级别:ZK证明系统在这个zkEVM中发挥着重要作用。在这个阶段,zkEVM生成的状态根与以太坊EVM不兼容,但以太坊上的应用可以原封不动移植到zkEVM。包括PolygonHermez、Scroll采用了这种方法。zkSync原定方向为zkVM,现改为zkEVM,根据最新公告支持了以太坊绝大部分操作码,但目前处于闭源状态无法详细审核。共识层面:zkEVM相当于以太坊上的EVM,它为以太坊上的状态根生成证明。V神宣称,在以太坊路线图中,未来以太坊将集成一个共识级别的zkEVM。智能合约通过LLVMIR的中间代码进行转化,转化成Bytecode。这些Bytecode会存储在区块链上,当智能合约被调用的时候,便会将Bytecode转化成对应的Opcode,再由EVM和节点硬件来执行。

图片来源:《ForesightVentures:解读zk、zkVM、zkEVM的现状及未来》参考文献

1.《ETHEREUMVIRTUALMACHINE(EVM)》2.《ZeroKnowledgeEVMs:WhatisazkEVM?》3.《ForesightVentures:解读zk、zkVM、zkEVM的现状及未来》4.《Cipholio深度分析|漫谈ZKVM的方案及未来》5.《FLResearch|IncompleteGuidetoZK:WhyZKMatters?》

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:15ms0-3:578ms