GAS: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更长的峰期。

以太坊核心开发者共识会议：将为 Deneb 升级纳入与测试 EIP-4788、EIP-6987:5月7日消息，Galaxy 研究副总裁 Christine Kim 发文总结第 108 次以太坊核心开发者共识会议。其中，开发者同意考虑将 EIP-4788、EIP-6987 纳入 Deneb 进行测试。EIP-4788 将启用执行层上的共识层状态证明，以通过智能合约进行无信任验证。此前 PR #3175 正处在格式化为 EIP 的过程中，将改为 EIP-6987，即出于安全考虑，防止罚没（slashed）验证节点被选为区块提议者。开发者讨论了在 Deneb 规范中引入一个额外的变量与常量，以允许执行层具有更大的弹性，以独立于共识层调整每个区块的最大 blob 交易数。以太坊核心开发者 Tim Beiko 提醒共识层客户端团队，通过 EIP-4844 引入的新 SSZ 类型应在多大程度上与即将到来的 SSZ 升级兼容或针对当前 RLP 标准进行优化，仍然不确定。Ryan 表示，目前在 EIP-4844 中使用「flat hash」的 SSZ 类型是两头吃亏的，因为它没有为 RLP 格式化，但也没有利用完整的 SSZ 序列化的优势。开发者将在下周的 ACDE 电话会议上继续讨论这一问题。此外，信标链证明子网（attnet）的改造已于 5 月 4 日推出。开发者还在信标链 API Github 存储库上讨论了 PR #317。

考虑到最近的 MEV-Boost 漏洞攻击，中继现在在通过 gossip 上广播前会验证区块内容。该功能需要 Lighthouse 与 Prysm 客户端的自定义分叉。Lighthouse 客户端开发者 Michael Sproul 提出了一个标准查询参数，用于在所有共识层客户端中启用相同的功能。Prysm 客户端开发者 Terence Tsao 表示，在某些方面引入次功能会增加对 MEV-Boost 的依赖性，MEV-Boost 是一种用于在以太坊上赚取 MEV 的临时软件，应该弃用它以支持 PBS。[2023/5/7 14:48:23]

规范

关于代币化金库标准的EIP-4626草案将于明日定稿:3月10日消息，由Fei Protocol创始人Joey Santoro、Paradigm研究员t11s等人撰写的“EIP-4626: Tokenized Vault Standard”目前处于最后审核阶段，将于3月11日最终确定。据悉，EIP-4626允许为代表单个底层ERC-20代币份额的代币化金库实施标准API。[2022/3/10 13:49:30]

参数

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

1.移除SELFDESTRUCT的返还

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

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

以太坊EIP-1559进展更新：DoS风险仍是落地最大障碍:近日，ConsenSys高级产品经理Tim Beiko发文更新以太坊EIP-1559提案进展。文中称，EIP-1559所面临的最大落地障碍依然是DoS风险问题，但目前已经有了一些解决方案。

此外他表示：1.Besu和Nethermind客户端正同步到1559测试网，正在调试Geth共识问题，大量研发工作正在进行当中；下一步，在GethBesuNethermind测试网上有更多进展，希望通过启动一个PoW网络来测试支持EIP-1559的挖矿；2.主网就绪检查表上线；3.社区中以太坊猫牧人（Ethereum Cat Herders）已发布关于EIP-1559提案的社区调查报告；下一步，以太坊猫牧人将与钱包商和交易所进行更多的联系，以收集有关1559的反馈。4.下一步可以期待一系列EIP，用于在JSON-RPC规范中添加对1559的支持。[2020/10/19]

原理阐释

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

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

以太坊EIP 1057更新：将ProgPow作为备选方案在客户端和测试网上实现:据以太坊开发者Tim Beiko推特内容，近日，在以太坊核心开发者会议第96期中，以太坊开发社区对EIP 1057 后续步骤进行了更新，就是否采用ProgPow折衷方案已达成一致。折衷方案为在客户端和测试网上（而非主网区块）实现ProgPow，使其作为后备方案。[2020/9/21]

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-2025，遭到开发人员的反对:据EWN7月23日消息，以太坊团队正在考虑将EIP-2025作为伊斯坦布尔升级的一项改进。由于通货膨胀率将相应提高，这一举措已引起开发者相当大的争议。因此，该提案引发一系列开发人员的争论和反对。EIP-2025建议在18个月内每个区块增加0.0055 ETH，作为开发者区块奖励，保留用于资助Etherum1.X开发。此举将在规定的时间范围内增加区块奖励。 Gnosis产品研究员Eric Conner认为此举是荒谬的，社区不应该允许它发生。Spankchain首席执行官Ameen Soleimani也表示反对，因为他认为以此目的增加区块奖励将削弱以太坊作为价值储存的外观。其他批评声音包括：加密投资公司Mythos Capital创始人Ryan Adams，RealT平台运营主管David Hoffman以及SetProtocol营销部门的Anthony Sassano。[2019/7/23]

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

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

标签：GASSTOTORSTORGASGBit StoreRestore Truth TokenSTORJ

UNI热门资讯