6.EIP-4200: EOF - Static relative jumps

　　优化 EOF，节省 gas.

　　引入了三个新的 EVM 跳转指令（RJUMP、RJUMPI 和 RJUMPV），它们将目标编码为带符号的立即值。这些在大多数（但不是全部）用例中都很有用，并且可以降低成本。

　　7.EIP-4750: EOF - Functions

　　优化 EOF，节省 gas.

　　引入了两个新的操作码 CALLF 和 RETF 来调用这样的函数并从中返回。此外，还引入了 JUMPF 指令来执行到函数的跳转。不允许使用动态跳转指令。

　　EIP-4200 引入了静态跳转指令，它消除了大多数动态跳转用例的需要，但并不是所有的事情都可以用它们来解决。

　　该 EIP 旨在消除动态跳转的需要并禁止动态跳转，因为它提供了最重要的功能：调用函数和从函数返回。

　　此外，它旨在通过对每个给定函数的输入和输出数量进行编码并隔离每个函数的堆栈（即函数无法读取调用者/被调用者的堆栈）来提高分析机会。

　　8.EIP-4895: Beacon CHAIN push withdrawals as operations

　　本次上海升级的核心: 支持验证者通过新的「系统级」操作类型从信标链提款到 EVM。

　　此 EIP 将引入一个系统级「操作」来支持从信标链「推」到 EVM 取款。目前有约 1400 万枚 ETH 任被质押在信标链中。此提款操的运行将意味着以太坊信标链质押提款功能将被激活。

　　目的：这个 EIP 为信标链上的验证者提款提供了一种进入 EVM 的方法, 从而实现质押 ETH 的提款操作。实现方式是基于信标链共识信息，系统无条件地直接控制指定地址的 ETH 余额。在此方法下不产生 gas 费消耗，且无需再用 gas 来防止 DOS 攻击。总而言之，EIP-4895 的目的就是实现质押提款功能。

　　9.EIP-5450: EOF - Stack Validation

　　EOF 优化

　　引入代码段的扩展验证，以保证在执行验证合约期间不会发生堆栈下溢。

　　当前现有的 EVM 实现对每条执行的指令执行大量有效性检查，例如检查堆栈溢出/下溢、是否有足够的 GAS 等。此更改旨在通过在部署时验证来最大程度地减少运行时所需的此类检查的数量-没有异常情况发生的时间，并防止在可能发生的地方部署代码。

　　特别是，这种扩展的代码验证消除了对每条执行的指令进行 EVM 堆栈下溢检查的需要。它还会阻止部署可静态证明需要超过 1024 个堆栈项的代码，但在某些情况下仍有可能超过该限制，因此无法完全消除溢出检查。

　　ETH 上海升级 解锁质押方案

　　流失限制系数（Churn Limit Quotient）

　　根据社区的最新提案，验证者可进行部分提款和全部提款，且出于安全性考虑，提款数额和验证者的退出速率会受到限制。提款的每个 Epoch 最大可提取数量被设定为 512 笔，按照现有的验证者数量，他们可 4 天（验证者总数/（512*225）提取一次奖励。按当前验证者近 33.9 ETH 的平均余额来算，以太坊市场每天最大面临的平均抛售压力为 23 万枚 ETH，4 天累计数额为 92.1 万枚。 (责任编辑：admin)