EIP-3529:减少gas返还

简单总结

移除SELFDESTRUCT的gas返还,减少SSTORE的gas返还到一个较低水平,使得返还的量仍然相当大,但不会像现在高到可以被利用的地步。

原因

最初引入SSTORE和SELFDESTRUCT的gas返还是为了鼓励应用开发者写应用时能践行“良好的状态卫生”,清理不再需要的存储槽与合约。但是,结果证明这项技术带来的效率远低于预期,gas返还还带来多项未预料到的有害后果:

gas返还导致GASToken的出现。GasToken有益于把gas空间从低费用阶段转移到高费用阶段,但它也对网络有坏处,尤其是加剧状态大小膨胀(由于状态槽被有效用作“电池”来积攒gas)和低效地堵塞区块链gas使用。

gas返还加剧区块大小变化。一个区块实际消耗的gas量的理论最大值是接近名义上的gaslimit(因为返还会增加同一区块里后面交易的gas空间,尽管返还的gas最多是该笔交易消耗gas的50%)。这一点不是致命的,但影响还是相当不好,特别是返还可以被用来维持比EIP-1559使用两倍gaslimit更长的峰期。

报告:若以太坊合并后仍维持EIP-1559年均销毁2.1%,以太坊将正式进入通缩时代:8月26日消息,据欧科云链研究院报告分析,以太坊当前主网和信标链的年总发行率为4.39%,其中约88.84%的发行在主网,剩余11.16%发行在信标链上。伴随以太坊合并升级,主网/执行层的发行将归零(90%的发行量消失),加之受EIP-1559影响,目前链上已累计销毁251.1万枚ETH(占总发行量2.1%),若以太坊合并后仍维持年均销毁2.1%,那以太坊将真正意义上进入通缩时代。[2022/8/26 12:50:50]

规范

参数

对于存在block.number>=FORK_BLOCK的区块,需要作下列变更。

1.移除SELFDESTRUCT的返还

2.用SSTORE_RESET_GASACCESS_LIST_STORAGE_KEY_COST(EIP-2929EIP-2930合力下的4,800gas)取代SSTORE_CLEARS_SCHEDULE

以太坊V神提出新的分片建议:EIP-4844:金色财经报道,以太坊创始人VitalikButerin在Twitter上分享了Proto-danksharding的想法,即专注于EVM无法执行的blob携带交易的数据验证场景。Proto-danksharding将取代danksharding,这是一种分片技术,其中只有一个提议者选择进入这个或那个槽的所有交易和所有数据,而不是为每个分片选择一个单独的提议者。提议的解决方案可以是一个临时变体,因为它包括了一些分片技术的实施。同时,它导致了数据使用的增加,因为它需要一个更大的区块大小。以太坊的创始人提议每30天自动删除blob数据,以防止网络对数据和内存存储的要求过大。[2022/3/21 14:08:04]

3.把交易后的最大返还gas量减少到gas_used//NEW_MAX_REFUND_QUOTIENT

原理阐释

EIP-2200引入了返还的三种情况:

1.如果原始值是非零,新值是零,添加SSTORE_CLEARS_SCHEDULE的gas量到返还计算器

分叉监控工具计算块哈希的库没有EIP-1559支持,导致其报告的区块哈希值与区块浏览器和节点不同:以太坊开发者Tim Beiko表示,以太坊测试网Ropsten激活伦敦升级后,分叉监控工具报告的区块哈希值与区块浏览器和节点不同,但是所有字段和两组哈希都是一致的。这是一个工具问题而不是共识问题,分叉监控工具计算块哈希的库没有EIP-1559支持,因此计算是不同的。[2021/6/25 0:05:50]

2.如果原始值是零,当前值是非零,新值为零,添加SSTORE_SET_GAS-SLOAD_GAS(当前是19,900)的gas量到返还计算器

3.如果原始值是非零,当前值是一个不一样的非零值,新值等于原始值,添加SSTORE_RESET_GAS-SLOAD_GAS的gas到返还计算器

在这三种情况里,只有(1)会启动gastoken且允许区块在执行上消耗超过区块gaslimit的gas。(2)不具有这个特点,因为要获得19,900的gas返还,同一个存储槽必须在之前从零改为非零,这需要消耗20,000gas。无法从一个存储槽获得gas并用它来编辑另一个存储槽,意味着它不能被用作gastoken。另外,获得返还需要恢复存储的写入和扩展,使得返还的gas不会增加客户端处理区块的工作量。(3)是相似的:只有当同一个存储槽在之前已经消耗了5,000gas的时候才能获得4,900gas返还。

数据:部署EIP-1559的测试网已经销毁大约700ETH:以太坊客户端OpenEthereum开发者创建了一个可视化ETH费用销毁的门户网站,以监控EIP-1559被部署后,每个区块总共销毁多少ETH。数据显示,测试网已经销毁大约700 ETH。

据悉,当EIP-1559被部署时,如果存在交易,ETH将在每个区块中被烧毁。

此前消息,对于以太坊测试网进行伦敦升级的时间,Ropsten定于区块高度10399301(6月9日),Goerli定于区块高度4979794(6月16日),Rinkeby定于区块高度8813188(6月23日),主网仍定于7月14日进行升级,在第一个测试网成功分叉后,再确定主网客户端升级区块。[2021/6/16 23:41:13]

此EIP处理第一种情况。我们可以通过使用一个相似的“配对”变元来确定在何种条件下gastoken是不可用的(例如,你不可以在一个存储槽里获得比你的输入更多的gas),将每一笔返还映射到同一笔交易的同一个存储槽的前一笔支出。当一个存储槽的原始值是非零值,如果它被改为0时,有两个可能性:

Ethermine反对在当前状态下采用EIP-1559:Ethermine矿池母公司Bitfly官方发推文称:“我们一直在观察社区内部的情况,并想声明Ethermine反对在当前状态下采用EIP-1559,因为我们认为以太坊的未来可能会面临风险。为什么?在过去的几年中,区块奖励已经从5 ETH下降到2 ETH,但是,我们越接近向以太坊2.0过渡,这种变化的风险就越大,因为对矿工来说质押的更少了。”[2021/1/20 16:33:36]

1.这可能是存储槽第一次被设置为零。在这种情况下,我们可以把这个时间与SSTORE_RESET_GASACCESS_LIST_STORAGE_KEY_COST第一次读取和编辑存储槽的最小开销进行配对。

2.这可能是存储槽第二次被设置为零或被设置为零后的情况。在这种情况下,我们可以把这个事件与最近一次数值从零改为其他值,且SSTORE_CLEARS_SCHEDULE的gas从返还中被移除的变元进行配对。

对于第二次或之后的情况,SSTORE_CLEARS_SCHEDULE?的值是什么并不重要,因为那个gas大小的返还是与相同大小的清除返还相匹配的。这就只剩下第一种情况了。为了确保存储槽上消耗的gas总量为正,我们需要SSTORE_CLEARS_SCHEDULE<=SSTORE_RESET_GASACCESS_LIST_STORAGE_KEY_COST。因此,此EIP只把SSTORE_CLEARS_SCHEDULE减少到那两项开销的总和。

此EIP的另一个原因是,清除还未被读取的数据(通常是“无用”数据)是不会有净返还的,但清除被读取过的数据(通常是“有用”数据)还继续会有净返还。

向后兼容性

返还当前仅在交易执行后应用,因此无法对执行中任何特定可用的调用框架造成影响。因此,清除它们将不会破坏任何代码的执行,尽管它将使得一些应用变得经济上不可行。

Gastoken会变得没有价值。DeFi套利机器人今天经常不是使用已有的gastoken方案就是一个定制的,以减少链上的开销,这得益于重写它们的代码以清除对那些不再有用的gas存储机制的调用。

然而,完全保留在new=original=0!=current?里的返还,以及保留在其他nonzero->zero情况里的一些返还能确保一些接收(和值得)更好的gas开销待遇的关键用例能持续获益。例如,zero->nonzero->zero的存储设置模式保持只需消耗大约100gas。这些模式包括两个重要实例:

?反重入锁(通常在一个子调用开始前从0变为1,当子调用结束时再变回0)

?ERC20授权与发送(当代币转移得到授权,"授权值"会从零变成非零,然后在代币转移过程中恢复到零)

对清除存储激励的影响

对之前关于移除返还的EIP(EIP-3298和EIP-3403)的批评是这些EIP完全消除了把一个值设为零的激励,相当于鼓励用户不要完全清除一个存储槽(即使他们想这么做),哪怕他们想再次使用该存储槽的几率是最小的。

举一个例子,如果你有一个单位的ERC20代币,且你要送出或卖出你的所有余额,你可以只给出0.999999个单位,把剩余的留下。如果你想在未来重新放入更多该种代币到同一个账户,你仅需要为SSTORE支付5,000gas(2,100用于读取2,900用于非零变为非零的设置)而不是22,100(20,000用于零到非零值的设置)。今天,这部分的gas会被清除存储获得的15,000gas返还所抵消,因此,如果你有超过15000/17100=87.7%的把握会再使用这个存储槽,你才会有动力这样做;按照EIP3298或EIP3403的设定,抵消激励这部分是不存在的,因此,如果你再次使用该存储槽的可能性是大于0的,设为非零值会更好。

对于剩下的4,800gas返还,如果你觉得再次使用某个存储槽的几率大于4800/17100=28.1%,你才有保持该存储槽为非零的动力。这并不是完美的,但它可能高于一般人在清除了他们的全部余额后在同一个地址重新获得同一代币的几率。

gas返还的上限是所消耗gas量的1/5,这意味着这种返还仅够用于增加处理一个区块所需的存储写入操作量最多为25%,限制了利用这个机制进行以存储写入为重点的拒绝服务攻击。

测试用例

EIP-2929的gas开销

注意,“热”和“冷”存储槽之间是有区别的。这个表展示了EIP-2929下的值,假定所有变动过的存储槽都已经是“热”状态(区别是一次性消耗2,100gas)。

减少了的返还后

如果通过把SSTORE_CLEARS_SCHEDULE从15,000变为4,800(以及去除selfdestruct的返还),减少了部分的返还,下面是是一个对比表。

安全考虑

返还对于事务执行时不可见的,因此这不会对事务执行逻辑产生任何影响。

如果我们不计算后来重置回零的零到非零的SSTORE,在一个区块里执行的最大gas消耗量受到gaslimit的限制。不计算这些事可以的,因为如果这样的SSTORE被重置了,存储不会被扩展,客户端实际上不需要调整默克尔树;gas消耗是可以返还的,但客户端对这些操作码的处理通常也会被取消。如果new_value=original_value,客户端应该保证不会进行存储写入;这是自以太坊创世以来的一次谨慎优化,但它现在变得更重要了。

来源|?eips.ethereum.org

作者|VitalikButerin&MartinSwende

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

银河链

币赢BKEX Global 关于上线AQUAGOAT的公告

尊敬的用户:??? BKEXGlobal即将上线AQUAGOAT,详情如下:上线交易对:AQUAGOAT/USDT??币种类型:BEP20充值功能开放时间:2021年5月15日16:30交易功能开放时间:2021年5月15日17:00.

[0:15ms0-0:836ms