EIP-4758 提议把 SELFDESTRUCT 改名 SENDALL：只转走账户以太、不删代码存储、不动 nonce、删光相关退款，为 Verkle 树与无状态铺路。它停摆了，但路线约束写进了正文。

TON 的账单与事务执行阶段逐段对齐：存储、计算、动作与转发、import 费各有独立公式，单价由验证者投票写进链上配置。本文按官方文档拆解 cell 计价的去重规则、起步 gas 价结构、lumpPrice 与根格子豁免，以及入口合约必须替整条消息链预检附款的原因。

讲解链上给付与分期解锁合约的机制：给付计划由哪些参数构成、悬崖期与线性段的领取逻辑、未领取部分是退回付款方还是滚入后段、计划被终止时双方权利如何结算，以及领取方常见的三个误区。

合约字节码尾部常混着构造参数、常量与编译器元数据，分析工具却得逐字节猜测哪里是指令哪里是数据。EIP-2327 提议增加一条 BEGINDATA 操作码：它出现之后的一切字节都声明为数据，跳转器不许跳进去，静态分析器不必再猜。本文讲清这条分界线的规则、与子程序提案的渊源和被乐观汇总验证的旁支需求。

合约调用自己时，代码早就在内存里，却仍按加载新合约的标准收七百Gas。EIP-1380 提议当调用目标就是调用者本身时把费用降到40，让编译器敢用CALL而不是JUMP实现内部函数调用。本文解释这两种写法在上下文、栈深度与静态分析上的真实差异。

EIP-7907 拟把合约代码上限从 24576 字节抬到 65536 字节，并对超出部分按每 32 字节字 2 gas 计费，账户元组追加 codesize 字段以免全量迁移。本文拆解计费公式、冷热代码账与它在 EIP 仓库中的草案状态。

以太坊字节码里的跳转目标可以从栈上现取，机器码级别的自由让静态分析的代价从线性一路涨到平方乃至阶乘量级。EIP-8173 是一篇 2026 年 2 月的资料性提案，把图论、编译器、虚拟机与安全研究的零散文献拼成一张图：解释 EVM 控制流为什么先天难分析，并梳理静态控制流路线的取舍。

共识层数据每加一个字段，链上验证证明的智能合约和硬件钱包就可能跟着升级一次。EIP-7688 提议把信标链的核心数据结构批量换成渐进容器与渐进列表，让字段的增删不再撼动默克尔证明的坐标，运营上限也从类型定义挪进运行时检查。本文拆解这份 Review 状态提案的转换清单与边界。

往合约存储写数据，贵的时候一次两万 Gas，便宜的时候八百，差别取决于这个槽位当前和最初的值。EIP-2200 把这套按差额计费的规则用参数化价目表重写，同时堵上低燃料状态下的重入缝。本文讲清原值、现值、新值三态怎么决定账单，以及一次写回原值的钱为什么能退回来。

以太坊的 CALL 系列指令允许调用方指定传多少燃料，这个自由度让 Gas 改价时一批合约集体窒息。EIP-7069 为对象格式合约设计了 EXTCALL 一族新指令：去掉燃料参数、简化补贴规则、把成败布尔值换成三档状态码。本文拆解这套重构的语义清单和它搁浅的原因。