军大力推动将其纳入其

rabbirh0001@gm

范围和移动目标。 没有冠中。 遗留代码仍然需要支持 在采用之前，以太坊主网和其他 EVM 链之间存在暂时分歧。 我们认为以下 EOF 功能应在 2024 年部署。我们建议尽快确定范围并承诺实施。后续部署应该考虑其他任何事情。我们的建议： EIP-3540：EOF - EVM 对象格式 v1：引入代码和数据容器，并向以太坊字节码添加结构和版本控制。 EIP-3670：EOF - 代码验证：拒绝部署时不遵循 EOF 格式的任何合约。实施更结构化的代码并禁用无效和未定义的指令。 EIP-663：无限的 SWAP 和 DUP 指令：这解决了 Solidity 中的“堆栈太深”问题，JUMPDEST 分析

作为即时值可能会产生副作用。evm langs 非常  电报号码数据 想要。 EIP-4200：EOF - 静态相对跳转：更好的静态分析，没有不确定的跳转。更好的 aot 编译。相对跳转更有利于代码的可重用性。 EIP-4750：EOF - 功能：需要解决可以使用动态跳转但不能使用静态跳转的子例程。它还允许部分代码加载，这与 Verkle 配合良好并增加了合约大小限制。 EIP-5450：EOF - 堆栈验证：验证代码和堆栈要求。删除除 CALLF 之外的所有指令的运行时堆栈下溢和溢出检查 (EIP-4750) EIP-7480：EOF - 数据部分访问指令：允许访问字节码的数据部分。 EIP-7069：改进的 CALL 指令：能够从 CALL 中删除 Gas 可观察性，从而使将来更容易重新定价 Gas。虽然独立于 EOF，但我们认为这是引入它的好机会。 我们对 EIP-6206 不太确定：EOF-JUMPF 和非返回函数。


\
虽然它允许在 EOF 函数中进行尾部调用优化，但我们仍然需要看到语言分析其有用性。如果我们没有，我们认为可以将其从范围中删除并包含在后续 EOF 更新中。 我们将上述工作预算为 1 人全职工作 1-2 个月。如果这意味着保持势头，我们愿意进一步缩小上述范围。 关于遗留字节码的注释： 虽然我们可以禁止新的遗留/非 EOF 字节码，但无法弃用现有的遗留字节码，它实际上充当 EOF“v0”。遗留字节码仍然需要 EOF 后的 JUMPDEST 分析，并且仍然需要特殊的代码处理以将其分段为 Verkle Tries 中的块。 据我们所知，如果不访问源代码，就无法验证从非 EOF 字节码到 EOF 的转换，但我们愿意研究促进这种转换的机制。 或者，我们愿意探索强制状