ODE:EIP-3855 如何让合约更精简

前言

本文将深入介绍EthereumOpcode的最新成员:PUSH0

在过去,我们只能使用PUSH10x00来达成将数值0存入EVM的Stack中,而上海升级中包含诸多EIP之一的EIP-3855提案则引入了PUSH0这项新的Opcode来达成相同的效果。透过节省1Byte的指令空间,减少了智能合约编译后的Bytecode大小,进一步降低智能合约部署的成本。

而本文将会快速地带到EVM、Bytecode与Opcode的基本概念,并一步一步地带你了解PUSH0的核心意义和对现有合约的影响。

文章会从EVM、Opcode到PUSH0详细说明,若您为区块链开发人员,我们可用一句话函盖整篇文章:

EIP-3855引入新Opcode:PUSH0来取代PUSH10x00,因减少1Byte指令空间,所以减少了部署智能合约的200Gas,所有合约加总一年大约可省1,362.23ETH。

韩国关于加密资产的立法可能会把虚拟货币纳入系统监管范畴:11月27日消息,韩国监管当局就虚拟货币立法提出一项举措:把虚拟货币纳入系统监管范畴。此外,韩国监管当局已经界定了加密资产相关的权利和责任。举例来说,通过操纵市场、利用内幕信息影响加密资产的价格等不正当的方式获取利润,已被定义为非法行为。因此,韩国监管当局今后可能会把这些行为视为犯罪,处以至少一到五年的监禁和相当于所获利润三到五倍的罚款。(CoinGape)[2021/11/27 12:36:22]

EVM与Opcode概念

在介绍EIP-3855之前,我们先来简单了解Ethereum中最重要的EVM概念!

EVM

我们为了让智能合约在独立且安全的环境中执行,而从Ethereum节点中会切出一块具有储存、执行等功能的运算环境,我们将之称之为EVM虚拟机。

而这个EVM具备执行智能合约所需的堆叠、记忆体、纪录Gas费用及储存下一行指令位址等各种必要元件,以便完成开发人员要求的各种计算。

动态 | 法院撤销关于Blockvest的违约判决:Tommy和Christine Garrison夫妇提起针对Blockvest的诉讼,他们声称该项目违反了证券法,从事了非法的商业行为。两人已经对Rosegold Investments和项目背后的Master Investment Group公司提起了诉讼,并将Rasool Abdul Rahim El列为被告。Ringgold自行回应了诉讼,但两家公司未能对诉讼做出回应,并于2019年9月25日因缺乏反方意见而被追究违约责任。1月21日,法院撤销了此判决。法院文件显示,撤回的理由是所有三个实体密切相关。Ringgold是两家公司的创始人兼董事总经理,但他并非违约判决的一部分。此前消息,2018年10月,SEC叫停Blockvest的ICO。Blockvest此前宣称其ICO获得SEC的批准,并称其加密基金也获得执照和SEC的认可,而SEC则表示这完全是捏造,且违反了证券法。2019年2月,美国法官Gonzalo Curiel对Blockvest及其创始人Ringgold发出禁令,认定被告违反了证券法。(Cointelegraph)[原文链接][2020/1/23]

Bytecode与Opcode

OKEx关于上币规则调整的公告:OKEx上币规则调整为:投票上币、投资上币、流量合作上币。1.投票上币由OKEx审核团队对项目进行严格初审,通过后由所有专业投资人再次审核并选择项目进行支持,最终由公众投票决定项目能否上线。2.投资上币是指由OK资本以及五个OK专业投资人投资,且无合规性、技术安全等风险的项目将被直接推荐至OKEx并上线。3.为激励社区社群运营活跃,用户群体质量较高的项目,OKEx特推出流量合作上币,为符合要求的项目提供快速上线通道。[2018/5/24]

我们用Solidity等语言所撰写的智能合约,要先编译成一连串EVMOpcode,这一连串Opcode称为Bytecode。我们接着来进行一段简单的操作就会比较清楚!

有兴趣的读者可以透过EtherVM了解更多关于Opocde的介绍。

首先,我们先在Remix上编译下方这份简易的加法智能合约,编译完成后就可从artifacts资料夹中看到包含此智能合约Bytecode与Opcode的Json资讯档。

智能合约在线编译工具Remix

与此同时,这个智能合约也已部署到Goerli测试网中,我们可点选在Etherscan上的钮从Bytecode切换到Opcode观看模式。这时,即可得知一连串Opcode称为Bytecode。

这里就只截取这份合约部份的Opcode。

部份Bytecode与Opcode对照表

现在我们有了EVM、Bytecode、Opcode的概念后,那EIP-3855到底要改进什么问题呢?

前面的例子中,我们了解到若想要将一个零的值推到Stack中,这个动作会被编译成「PUSH0x00」(两个Byte,分别是0x60及0x00,其中0x00代表零的值,所以0x6000整整占了2个Byte的Storage空间!

1ByteBytecode空间需要支付200Gas的费用。

另外,执行1个PUSH1的操作需支付3Gas,而PUSH0也是,所以PUSH0主要是减少编译后的程序码大小,但实际上执行时的Gas消耗和PUSH1是一样的。

我们来看一下以下关于Push10x00指令在2020年的统计数据:

Push10x00指令占了2020年全年度智能合约Bytecode的4.57%之多,它被如此常用,以致于几乎所有的智能合约中都可看到它的身影!

这时,如果我们新增一个Opcode来做和PUSH10x00完全一样的事,是否就可以再减少1个200Gas的空间消耗?

答案是可以的!EIP-3855即将会在这一次的上海升级中在Opcode中引入一条PUSH0新指令,而这个新指令的编号是0x5F!

会选择0x5F做为PUSH0的原因,除了0x5F在上海升级前没有被使用外,而且它也刚好是在PUSH1指令的前一个编号!是一个连续且有意义的指令空间。

0x5F及0x60的Opcode指令编号,图片来源:https://ethervm.io/

EIP-3855带来的改变

将0x6000指令瘦身至0x5F有一个最重要的改变,就是部署合约时的Gas费用变便宜了!程式码中每个使用到PUSH10x00的地方都可以因为这个改变而省下200Gas!

那我们一样以2020全年度使用340,557,331次0x6000指令来计算,大约需耗费340,557,331x200Gas=68,111,466,200Gas。接着若以1Gas需支付20GWei来计算,也就是可以为整个网路省下整整约1,362.23ETH,而且各个Ethereum节点也可省下不少储存空间。

此外,对于开发人员来说,也可减少使用一些特殊优化手段来减少PUSH10x00的200Gas开销,例如使用DUP指令等。使用0x5F代表着可减少开发人员进行各种优化成本与风险,也利于估算智能合约的Gas费用。

结论

带来的改变有以下两点。

EIP-3855将减少部署智能合约时的Bytecode大小此外,EIP-3855也可减少过去开发人员在进行各种优化上的成本与风险本文介绍了Ethereum的EVM及Opcode的概念,并且深入探讨了EIP-3855改进的重要意义与影响。一旦这次的上海升级完成,就可减少开发人员部署合约时所需的储存空间费用,而EIP-3855提案和新的特性,也将吸引更多的开发者加入到以太坊的生态中。感谢您阅读本文!

参考资料

中文以太坊虛擬機https://ethereum.org/zh/developers/docs/evm/英文EIP-3855提案https://eips.ethereum.org/EIPS/eip-3855EIP-3855英文討論區https://ethereum-magicians.org/t/eip-3855-push0-instruction/7014EVMCodes列表https://www.evm.codes/EthereumVirtualMachineOpcodeshttps://ethervm.io/PDF-ethereum-evm-illustratedhttps://takenobu-hs.github.io/downloads/ethereum_evm_illustrated.pdf关于EIP-3855常见问题

1、EIP-3855提案通过后是否可提升TPS?

TPS增长量不大,因为实际在主网上部署合约的交易并不多,假设在一个区块内有10笔部署合约交易的状况,若每个合约部署只「一次性」省约25个PUSH0,所以TPS可提升的有限。

2、一般Solidity开发人员如何应用此EIP-3855提案?

一般Solidity开发人员要等到上海升级完成才能享受到程式码大小变小的好处,EIP-3855主要是让Solidity编译器将所有PUSH10x00改为PUSH0,以节省空间、减少gas等好处。

2020年「PUSH」系列指令數量統計表

此表格参考EIP-3855中作者之一HugoDelacruz所統計的2020全年度EthereumOpcode数量表格,并进行延伸计算。

表格链接:https://mirror.xyz/0x347c9872A2a1dE370D798f9FE96341A9A0E05af8/mmOWhqg5WUkVD54iS210GPcX728x1kz2XZp94mOMtcE

?

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

链链资讯

[0:0ms0-3:612ms