链资讯 链资讯
Ctrl+D收藏链资讯
首页 > 加密货币 > 正文

HER:三分钟读懂 zkEVM:以太坊扩容方案的明珠_zkSync

作者:

时间:

9月1日凌晨,以太坊扩容网络Arbitrum宣布主网公测版本正式上线,与此同时Optimism则早已经向部分白名单应用开放,这标志着以太坊L2扩容方案的一支——OptimisticRollup正式登上了舞台。

我们再将目光转向L2扩容方案的另一支,ZKRollup:

zkSync于8月31日宣布推迟上线其2.0版本,基于zkEVM,zkSync2.0有望成为首个兼容EVM的ZKRollup;

8月13日,Polygon宣布以2.5亿美元收购以太坊二层扩容方案Hermez,Hermez的核心技术正是其zkEVM方案;

同样是8月13日,以太坊基金会在定期公布其支持的团队研究与开发进度的文章中表示,过去几个月已经资助组建了一个团队以进行zkEVM的研发。

我们知道,Vitalik在比较两种扩容方案时表示,短期OptimisticRollups很可能在通用的EVM计算中胜出,但最终从中长期来看,随着ZK-SNARK技术的改进,ZKRollups将在所有场景中胜出。其中所谓「ZK-SNARK技术的改进」,主要就是指zkEVM的成功。

Stargate社区发起升级 Stargate EqReward设计提案,用户将无法获取额外eqRewards:5月29日消息,跨链桥 Stargate 社区针对此前推特用户 zhouzhou 提出的Stargate 疑似存在 Bug而导致的套利问题发起升级 Stargate EqReward 设计提案,要求(1)取消给予再平衡转账的折扣,使其支付较少的协议费(保持所有转账的协议费为 6-10 bps);(2)更新 feelibrary,使分配的最大 eqReward 是该途径的最大协议费(6-10 bps),这意味着再平衡协议用户将收到 0 费用,但不会因为这样做而获得额外的奖励。上述更新不会对 Stargate 核心协议产生实质性影响。通过修改 feelibrary,只返还费用而非提供奖励,用户将无法获取额外 eqRewards,允许协议保留更多的 eqRewards,并激励 Stargate 的持续平衡。该提案于 5 月 28 日 15:13 开启,5 月 31 日 15:13 结束。目前,已有 92.6% 的支持率。[2023/5/29 9:48:16]

可见,zkEVM已经成为以太坊扩容方案皇冠上的明珠。笔者希望通过本文,可以让读者了解zkEVM的基本原理与发展现状。

孙宇晨首幅NFT肖像画在Gate NFT魔盒平台首展:据官方消息,孙宇晨肖像画已于8月31日(今天)下午两点在Gate NFT魔盒平台进行首次链上展示。此次展出的《Portrait》画作是孙宇晨的首张NFT肖像画,价值超过1200万美金,该作品由知名艺术家曾梵志创作,融合了东西方美学观点以及表现和抽象主义风格。

Gate NFT魔盒平台是中心化NFT交易平台,专注于区块链数字货币领域NFT艺术品的创意孵化与资产管理,致力于打造顶尖的NFT铸币创作、交流推广和拍卖交易场所。[2021/8/31 22:49:13]

zkEVM的作用

要弄清楚zkEVM的作用,我们还需要一些前置知识。

我们先从以太坊讲起,从本质上来讲,以太坊是一个基于交易的状态机。

从以太坊的创世纪状态开始,通过一个区块又一个区块的交易,转变成最终状态,也即以太坊当前的状态,状态中包含了所有的账户地址和其映射的账户状态。

Gate.io“天天理财”第148期USDT锁仓理财明日开启:据官方公告,Gate.io 将于3月8日(明日)中午12:00上线《Gate.io“天天理财” 第148期 USDT锁仓理财》,总额度5,000,000 USDT,锁仓期限7天。[2021/3/7 18:22:43]

source:https://ethfans.org/posts/how-does-ethereum-work-anyway

其中具体负责处理交易的就是EVM,即TheEthereumVirtualMachine。EVM作为一个堆栈机运行,程序员用高级语言例如Solidity来编写代码,随后代码被编译成EVM可以理解的EVM字节码,作为各种EVM指令执行标准的堆栈操作,最终产生一个新的状态。

现在的问题来了,我们知道ZKRollup方案需要对二层上的交易生成零知识证明,再传回一层进行验证,而要生成零知识证明,需要交易的处理过程符合zk电路证明的规范。而在EVM设计之初,显然没考虑过要支持零知识证明,这就是zkEVM的意义:一种运行在ZKRollup网络上,兼容EVM同时又对零知识证明友好的虚拟机。

两种实现策略

对于zkEVM,目前主要有两种实现策略:

直接支持EVM现有的指令集,完全兼容solidity指令集。使用这种方案的包括Hermez和以太坊基金会zkEVM。重新设计一种虚拟机,该虚拟机对零知识证明友好,同时对EVM开发工具进行适配,来保持对solidity的兼容,使用这种方案的主要是zkSync;对于第一种策略,由于完全支持了EVM现有的指令集,其使用的是和EVM一样的编译器,因此天然就对现有的生态系统和开发工具完全兼容,同时还更好的继承了以太坊的安全模型。

而对于第二种策略,由于不受原有EVM指令集的约束,可以更灵活的将代码编译成对零知识证明更友好的指令集,同时也摆脱了兼容所有EVM原有指令集所需要的艰巨而繁重的工作。

总的来说,第一种策略兼容性更好,安全性更高,但是工作量更大;第二种策略更灵活,工作量更小,但需要花费额外精力在适配上。

主要方案对比

HermezzkEVM

Hermez采用的是第一种策略,其将所有EVM指令集全部翻译为中间指令。

众所周知,EVM有一些变长的指令,比如CALL,EXP,CREATE等,这些指令天生对zk电路证明不友好,利用中间指令可以更友好地表达这些指令的逻辑。中间指令在uVM中执行,uVM中使用了大量的密码学工具,来实现zk完备,并且使用了Plookup算法来提升证明及验证效率。

HermezzkEVM在实现上的另外一个亮点,是其同时使用了两套证明系统,具体来说即生成一个STARK证明,然后再用PLONK或Groth16对这个STARK证明生成一个证明并在一层进行验证,这一过程就像是对证明的证明。之所以这么做,是因为STARK虽然很优秀,但是证明规模却很大,在链上进行验证时开销也很大,而Groth16或PLONK却拥有更小的证明规模和更快的验证速度。这种两相结合,各取所长的做法,很容易让人想到非对称加密算法和对称加密算法结合使用的场景。

AppliedZKPzkEVM

AppliedZKPzkEVM和Hermez一样,采用的是第一种策略。

AppliedZKP采用数据总线的思路,将存储和计算分开。在BusMapping抽取了正确的存储数据的基础上,由Stateproof证明数据的一致性,EVMproof证明计算逻辑的正确性。

具体的过程如下:

EVM通过BusMapping读取需要的相关状态,状态由Storage,Memory,Stack三部分组成;EVM执行opcode;EVM再通过BusMapping写回新的状态;过程中Stateproof负责BusMapping读写信息的一致性和正确性,EVMproof负责EVM对opcode执行的正确性。zkSyncEVM

与Hermez和AppliedZKP不同,zkSync选取了第二种策略。zkSync的zkEVM并非EVM的复刻品,而是为了能够运行99%的Solidity合约并确保其能够在各种情况下正常工作而全新设计。与此同时,zkEVM可以用来高效的在电路中生成零知识证明。

zkSyncEVM使用TinyRAM来实现普通指令集,而对Gas消耗巨大的指令如SHA256/keccak则特殊实现其电路,最后使用递归聚合技术,将所有的证明聚合成一个,以提升效率。

soruce:https://medium.com/matter-labs/zksync-2-0-hello-ethereum-ca48588de179

zkSync同时开发了两套针对zkEVM的编译器前端:Yul和Zinc。Yul是可以针对不同后端编译成字节码的中间Solidity表示;Zinc则是基于Rust为智能合约和通用零知识证明电路开发的语言。这给予了开发者更大的选择空间。

同时,在构建自己的编译器时,zkSync选择了LLVM,这一生产工业级产品最先进的编译器框架,以确保编译器足够完备和拥有所有经典优化。

写到最后

zkEVM技术在多个优秀团队的持续努力下,已经日渐成熟,相信在半年左右的时间内就会相继落地,届时兼容EVM的ZKRollup扩容方案一定会绽现出自己的光彩。

如今的区块链技术正进入了前所未有的大争鸣时代。从公链之争,到以太坊扩容方案之争,甚至具体到一个扩容方案下,都有着不同的项目方正在前赴后继,你追我赶。笔者十分庆幸,能身处这个区块链技术最生机勃勃的大时代。

参考资料:

1.以太坊工作原理

2.zkSync2.0:HelloEthereum!

3.Episode175:zkEVM&zkPorterwithMatterLabs

4.Episode194:zkEVMwithJordi&DavidfromHermez

5.ExploringPopularzkEVMSolutions:AppliedZKP\,MatterLabs\,Hermez\,andSin7Y

6.技术解读以太坊二层扩容方案Hermez的zkEVM设计思路

7.技术解读AppliedZKP的zkEVM方案设计思路

标签:HERGATKSYzkSyncYoHerogat币百科zksync币什么时候能买

加密货币热门资讯
HOMI:HomiEx(红米交易所)关于暂停SERO、PFID、PFIDKEY充值和提现的公告_tps币行情

亲爱的用户: 由于SERO节点升级,HomiEx现已暂停SERO、PFID、PFIDKEY的充值和提现.

OMI:SUB,AMM+DEX+NFT+GAMEFI4纬一体的生态_SUPE

SUB,AMM+DEX+NFT+GAMEFI4纬一体的可持续探索的全栈生态,把密码学、游戏、仿真模型、开放式金融有机结合.

HER:Gate.io 双币宝BTC、ETH专区上线理财新品(2-18天期)_GAT

Gate.io“芝麻金融”双币宝理财服务现已推出BTC/USDT、ETH/USDT双币投资理财产品,今日BTC专区产品持仓期限2-18天,挂钩参考价格为42000-52000美元.

FEX:AOFEX关于【上线DYDX,并开展“限时充值交易,瓜分20万AQ”】活动奖励已发放的公告_SDT

尊敬的用户: 活动奖励已发放,获得奖励的用户在用户中心?-?账户资产?查询发放记录。再次恭喜所有获奖用户!活动详情:AOFEX于9月8日上线DYDX,并开展“限时充值交易,瓜分20万AQ”活动A.

UNA:BKEX Global 关于ETP专区新增LUNA3L、LUNA3S(Terra)的公告_LUNA

尊敬的用户: BKEXGlobalETP专区将于2021年9月15日15:00上线LUNA3L、LUNA3S.

加密货币:星球日报 | MicroStrategy宣布购买5,050个比特币;以太坊L2网络总锁仓量突破30亿美元,Arbitrum以22亿美元居首位(9月14日)_元宇宙

MicroStrategy宣布购买5,050个比特币,平均每枚48,099美元,目前持有约114,042个比特币官方消息,MicroStrategy以约2.429亿美元的现金额外购买了5.