Solidity 自 0.8 起默认给每次加减乘都编译出一段溢出检查代码，一次安全检查加的安全加法约 79 gas，是原始加法 3 gas 的二十多倍。EIP-8219 提议给 EVM 加四条自带检查的算术指令 SAFEADD、SAFESUB、SAFEMUL、SAFEDIV：溢出、下溢、除零即以空返回数据回滚。本文讲清编译器的现状税、与 EIP-1051、EIP-6888 两条旧路线的分歧，以及为什么"贵所以不开安全"本身就是一种安全隐患。

EIP-8059 提议把所有 gas 参数与变量统一乘以 REBASE_FACTOR（1000），让纯计算操作未来可以按低于 1 的真实成本重新定价而不引入分数 gas。本文讲清整数计价的舍入误差、锚点与误差的算术对照，以及基础费递推与区块头编码的连带改写。

EIP-7862 提议把执行层的区块头 state_root 含义改为前一个区块的执行后状态，让验证者不再等待状态根算完就能投票，把最重的哈希工作从每笔构建的关键路径挪到槽位开头。本文拆解这个改一字段语义的方案与它在轻客户端上留下的一个槽位延迟。

EIP-7778 提议把 Gas 退款从区块 gas 用量的核算中剔除：用户端照常拿退款，区块上限按不含退款的毛用量计数，堵住靠清存储退款往一个块里塞超额计算的夹带空间。本文用提案给出的真实区块算例讲清双重账本的差别与它停在 Review 的考量。

Monad是什么？它是主打并行执行的高性能 EVM 兼容公链，官方设计目标为 1 万 TPS、300ms 出块与 600ms 最终性。本文解析其架构、主网状态与风险。

合约调用合约时，EVM 会为每一次调用新开一个帧：各自的栈、各自的内存、共享的世界状态。CALL、DELEGATECALL、STATICCALL 的区别就在于新帧里『我是谁』和『用谁家的存储』怎么填。本文拆解调用帧的资源划分、gas 传递规则、返回数据缓冲区和 revert 如何在帧间传播。

第二条 EVM 链想发明新操作码，总怕有一天以太坊主网把同一个字节给了别的用途。EIP-8163 提议在 L1 永久把 0xae 定为无效指令，把这块地划给各家 EVM 自定义扩展。本文拆解这份 Review 阶段提案。

现在的 RETURN 只会从内存里取要返回的数据，数据若存在存储或瞬态存储里，得先花 Gas 搬进内存。EIP-7877 提出 SRETURN、TRETURN、RRETURN 三条新指令，把 RETURN 改名为 MRETURN，让数据从哪来回哪去。本文讲清现状浪费在哪与方案边界。

交易在链上失败后，普通 RPC 拿不到回退原因，节点要整笔重放才能从追踪里抠出那几十字节。EIP-7889 让每次带数据的 REVERT 自动发一条日志，标准接口即可查询失败原因。本文解释现状成本与该方案的设计边界。

EIP-8125 提议新增 TMPSTORE 与 TMPLOAD 两个操作码，给合约一块能跨交易、跨区块存活但按协议日程自动清空的临时存储。本文对比它与瞬态存储、常规存储的区别，并解释两个系统账户轮换设计的用意。