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

ORIGIN（tx.origin）自 2016 年年中起就被反复告诫不要用于鉴权，但操作码一直留在 EVM 里。EIP-7645 提议让 ORIGIN 在所有上下文中直接返回与 SENDER 相同的值，把这块技术债一次性拆除，同时为 ERC-4337 等账户抽象路线扫清障碍。本文解释两个操作码的区别、bundler 提权风险的具体形状，以及别名化为什么不向后兼容。

ERC-4626用ERC-20份额表示用户对单一底层资产金库的权益，但convert、preview、max和实际deposit、mint、withdraw、redeem并不是同一个数。本文用数字例子解释份额汇率、舍入、费用和限额，并说明空金库通胀攻击与升级权限该怎么检查。