前言：为什么“合并”是我们删掉一些东西的最后机会，以及为什么我们应该这样做
到2020年，我们对如何设计智能合约和区块链协议的理解已经远超2013-15年。因此，如果我们在2021年从头开始搭建以太坊，我们就不会引入很多早期添加的功能了。然而从一条正在运行的、拥有活跃生态的区块链中移除功能，远比在一个新系统中不添加它们要难得多。
有些“缺陷功能”是无害的。有些可以安全而缓慢地移除或改进。还有些已经深深地嵌入到了太多的应用中，以至于根本改不动。另一方面，也有一些功能要么已经被移除，要么已经被改进，要么即将被移除。
但是还有一些中间情况：有些功能过于复杂，对生态的发展造成了中等程度的伤害，我们可以移除它们，但是需要冒一点风险。如果我们移除这些功能，可能会有少量的应用被破坏。但是不移除的话，它们会继续拖累生态。
就跟别的“长痛短痛”抉择情形一样，人们很容易低估短痛带来的长期收益。特别是在我们的情况中，由于解决复杂情况的代码已经写好了，所以感觉保留它们不需要付出任何成本。但实际上有两个重要的成本要考虑：
为协议开发新实现的成本
若要改变功能B，但B会跟没必要存在的复杂功能A交互，可能会产生“交互bug”
马斯克关注以太坊创始人Vitalik Buterin推特账号:6月21日消息，据Big Tech Alert监测信息，埃隆·马斯克（Elon Musk）5小时前于推特新增关注以太坊联合创始人Vitalik Buterin的账号。[2023/6/21 21:51:37]
以重新设计状态树为例：若以太坊的状态越是遵循一些简单的恒常性质，那么替换更高效的双层十六进制Patricia树就会越容易。然而在现实情况中，因为SELFDESTRUCT操作码可以在单笔事务中不受限制地删除大量存储插槽，这给改良状态树带来了很大的困难。另一个例子是2300gas津贴机制使gas重新定价变得更复杂。
"合并"可能是我们扯掉一些痛苦绷带的最后机会，这篇文章就是解释这样做的理由。
合并是进行最后一轮不兼容更新的一个非常自然的时间节点，有以下几个理由：
合并后构建的客户端很可能不处理PoW链，而是专门验证PoS信标链。因此，如果在合并时或合并前去除不必要的复杂功能，客户端最容易从中受益，因为它们根本不需要实现这些功能。(从技术上讲，即使是在合并前建立的客户端也可以设计成只处理最近1-2个硬分叉之后的数据，但是“PoS信标链作为一条独立的链而不需要处理PoW链上过于久远的数据”的说法更容易让人接受)
VitalikButerin等人发布Ethereum“账户抽象”提案ERC4337:9月29日，Ethereum创始人Vitalik Buterin联合KristofGazso、yoav.eth、DrorTirosh、NamraPatel、TomaszK.Stanczak等人发布账户抽象提案ERC4337，可在不改变以太坊共识层协议的情况下实现验证逻辑，该提案的开发者内测版本将于近期上线。
注：“账户抽象”是以太坊社区中讨论的改进提案之一，以实现交易不需要从私钥控制的EOA账户发起，而是可以直接从智能合约发起，具体的用例包括智能合约钱包、Tornado.Cash这类隐私保护工具等。[2021/9/29 17:15:22]
以太坊已经发生了很大的改变，社区对这将是“以太坊的一次重大升级”达成了共识。特别是“在分片和合并完成之前会出现快速的进化，但合并之后就会趋于稳定”的观点也得到了社区的一致认可。
必要的向后不兼容的改变已经发生了。
这篇文章将介绍一些可以考虑删除的功能的例子。
功能列表
2300gas津贴
这是什么？当一个合约调用另一个合约时，被调用的合约会得到2300gas用于执行非常有限的操作
Vitalik：未来2到3年，以太坊将更便宜、生态系统更有趣:7月24日，“2021世界区块链大会·杭州”在杭州未来科技城学术交流中心开幕。
在今天上午的开幕式上，以太坊创始人Vitalik Buterin受邀出席并发表主题演讲《以太坊进入2.0之后，会发生什么？》。他讲到，以太坊的基本技术愿景是试图在短期内快速改进，并在长期内稳定下来。因为从长远来看，我认为区块链确实需要安定下来，变得更加稳定，确实需要向用户做出更多的保证，保证事情不会发生变化，这样用户才能感到安全并在此基础上做出发展。但在短期内，这些技术都已经被开发出来了。我认为在未来的2到3年里，我们会看到使用以太坊会变得更加便宜，我们将会看到更多不同种类的应用使用以太坊，以太坊生态系统将变得更加有趣。[2021/7/24 1:12:54]
为何引入？最初是为了让智能合约钱包在收钱时能自动生成一条日志。后来还被用于实现“守卫”功能以防止合约收到ETH。
有何问题？
由于它设置的是固定的gas数量，因此只要gas价格可以调整，人们就没有办法确定这些gas到底能支持什么类型的计算。
它并没有很好地满足设计意图，有两个原因。首先，很多用户仍然在使用外部账户，而外部账户并不会生成日志。其次，SELFDESTRUCT操作码绕过了津贴机制。从长远来看，通过账户抽象化，外部账户的作用将被弱化，并且SELFDESTRUCT操作码可能将被移除，但是在这两件事完成之前，它都只是一个不充分的解决方式。
VitalikButerin提议使用Flashbots系统实现“账户抽象”:3月11日消息，以太坊联合创始人 Vitalik Buterin 在研究机构 Flashbots 的 GitHub 仓库中提议利用 Flashbots 作为“账户抽象”的一种实现方式。“账户抽象”是以太坊社区中讨论的改进提案之一，以实现交易不需要从私钥控制的 EOA 账户发起，而是可以直接从智能合约发起，具体的用例包括智能合约钱包、Tornado.Cash 这类隐私保护工具等。Vitalik Buterin 认为 Flashbots 可以解决这个问题，通过搭建一个插件将其变成智能合约钱包的中继器以实现。他表示该方案不需要对以太坊底层协议进行很多改动。
Flashbots是由五位区块链行业人士发起成立的开放研究机构，旨在针对以太坊及各智能合约公链所面对的 MEV 问题进行研究，并实施解决方案。[2021/3/11 18:35:51]
如何移除？有两种可能——要么将2300改成0）要么不限制数量
移除有何副作用？
如果我们移除子执行，那么这将需要在合约调用中添加一个笨拙的二分处置，即0gas解释为0，任何其他数字解释为“发送所有的gas”。它还会破坏反接收守卫功能和日志记录。
Vitalik最推崇作家大为·格雷伯去世:Vitalik Buterin最推崇作家、《债：第一个5000年》作者大为·格雷伯于9月2日去世，大卫?格雷伯认为唯有全面历史地理解了债及其与暴力之间的关系，我们方能开始正确估量我们刚刚到来的新纪元。大为·格雷伯曾深入研究了虚拟货币的历史，认为虚拟信用货币早在农耕帝国时代就是主导货币形式，利息货币的习惯同时也起源于苏美尔，利息率固定为20%，2000年来一直保持稳定。在中世纪（公园600-1500年）虚拟信用货币回归，而当今时代（1971以后）则是债的帝国。值得一提的是，占领华尔街运动也是大为·格雷伯组织的。[2020/9/4]
如果我们在执行中允许子执行获得全部的gas，那么通过调用发送ETH会变成一个需要信任的操作，恶意合约可能会借此扰乱一些应用。不过，Solidity文档已经建议大家用withdrawal模式代替transfer，这样就不会有任何风险了。
如何消除顾虑？
让所有的ETH转账，无论是来自调用还是SELFDESTRUCT，都生成一条日志，这样钱包就不需要生成日志了
增加一条规则，对于提供0gas的调用，可看做是一个“可以生成日志的STATICCALL”。这样就复制了在gas津贴的执行环境里实际做到的功能。
剩余Gas额度可见性
这是什么？GAS操作码允许合约查看当前的执行环境中还剩多少gas可用。CALL允许调用者为子上下文提供固定数量的gas。
为何引入？反对让CALL将父环境中剩余的全部gas都交给子环境的最主要原因是避免“不可信任的调用”：即发送者不信任接受者的调用。一个简单的例子是发送ETH给参与方的金融机制。另一个例子是M-of-N外部价格信息的输入机制，通过调用一些合约，在获得所有合约回复后取中位数作为输出。
有何问题？
其实绝大多数不可信任调用的用例都可以通过其他方式绕过去。对于转账，Solidity文档已经建议大家用withdrawal模式代替transfer。M-of-N外部价格信息的输入机制可以很容易地通过为每一个外部输入单独创建一笔交易实现。
这会让gas重定价变得很难做，当操作码的gas消耗量发生变化，固定gas数量的调用可能会不够用。
如何移除？
让CALL可以自动将父环境的所有可用gas额度都交给子环境。GAS操作码只需简单地返回交易的初始gas数量。
移除有何副作用？
我们知道的“不可信任调用的合法用例”主要是第三方赞助调用。第三方发布一笔事务，事务中包含你希望的调用，当调用发生后，可以自动地向你扣费。这对用户没有任何ETH的智能合约钱包、混币者的隐私保护以及其他一些用例都很有用。我们需要一个有限gas数量的调用以确保最终的支付语句真正被调用，而不会因为gas不足而被回退。
如何消除顾虑？
矿工可以直接充当中介，如果交易最终没有付钱给他们，他们就可以直接丢弃事务。参见PhilDaian的工作，他创建了一个由第三方机器人构成的生态，矿工可以自动产生“安全”的批量交易。
在协议内增加一个明确的“第三方付款人”的交易类型。参见EIP2711的例子。
还请注意，如果我们想要走得更远，我们还需要调整63/64规则使得如果子调用失败，父调用也彻底失败。这可能会破坏更多的用例，但它将确保当gas消耗量发生变化时只会引起一种类型的行为变化。
SELFDESTRUCT
请看这篇文章。
Gas退款
这是什么？调用SELFDESTRUCT销毁一个合约，或者将一个存储槽设置为零，会退回15000-25000gas。退款会在事务执行的最后触发，并抵扣发送者需要支付的费用。
为何引入？激励应用开发者践行“良好的状态卫生”，清除不再需要的存储插槽和合约。
有何问题？
在实践中，几乎没有人真正践行良好的状态卫生。这是因为激励不够高，不值得为此增加代码的复杂度甚至带来安全风险。
退费机制使得GasToken兴起。GasToken有利于将低费率时期的gas调配到高费率时期使用，但是它不利于网络，特别是加重了状态规模的膨胀，并使低效的gas使用方法阻塞了区块链。
它加剧了区块大小的波动，使一个区块实际上的理论最大gas消耗量几乎是字面意义上区块Gas上限的两倍。这并不致命，但仍然不可取，特别是考虑到，在EIP-1559实施后，退款机制可以使网络的实际Gas使用量长期维持高水平，阻碍1559机制的运行。
如何移除？只要把退款功能从协议中完全删除。
移除有何副作用？
我们可以相当确信，没有任何应用会因此无法使用，因为退款只在执行结束后触发，所以取消退款并不会改变任何执行的可用gas数量。
GasToken将变得毫无用处
在gas价格反常时，应用失去了降低费用的能力。好在这个功能目前最主要的用户是defi的套利机器人，而套利机器人之间的gas价格竞争是一种零和活动，不过还不清楚移除这个它们用于竞争的武器会造成什么全局性的不利影响。
如何消除顾虑？
Gastoken在他们的网站上已经警告过，未来的协议变更可能会使GasToken无效，所以用户不会觉得惊讶
我们可以提前公布变更时间
其他候选功能
相比上面列举的，我对移除以下功能会带来多少价值缺乏信心，不过还是值得列出一个清单。
RIPEMD160预编译：这是一个非标准的哈希函数，很少有项目使用。我们可以用链上部署的合约进行替换，对于真正需要高效验证的项目，可以直接使用ZK-SNARK。
动态跳转：使用变量作为跳转目标会使代码的分析和操作变得更加困难。去掉动态跳转，只允许相对偏移的静态跳转，并且为子程序提供一些专用的指针方案可以解决这个问题。然而，这将是一个底层的改变，可能会破坏许多自定义的合约，所以其收益/成本比似乎不如这个列表中的其他项目。
MODEXP预编译：对于大整数计算来说，这显然是一个错误的“基本元件”，并且其gas消耗的计算方案也相当复杂。更好的选择是：(i)用预编译的ADD、MUL和MOD作为替代的基本原语，并用这些预编译的指令编写用于替代MODEXP的实现，或者(ii)将EVM384扩展到更多的长度
原文链接:https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/evm_feature_removing作者:Vitalik翻译&校对:戡乱&阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。