从不可编程到可编程：FIP-0030 把 WASM 化的 FVM 换成旧执行层的机制拆解。内置 actor 与用户 actor 的分工、32 位内存与禁用浮点线程 SIMD 的保守取舍、FEVM 经运行时仿真兼容 Solidity，以及从 Machine 到 Invocation Container 的执行栈。

EVM 规定 JUMP 与 JUMPI 只能落在不处于 PUSH 立即数之中的 0x5b 字节上，为此每个被跳转的代码都要先做一次线性扫描。EIP-7921 提议取消这层歧义检查。本文讲清这条校验从哪来、它挡住什么又拖累什么，以及为什么这份提案停留在 Stagnant。

EIP-7705 提议给 EVM 增加 NONREENTRANT 与 REENTRANT 两条操作码，用协议级开关代替合约里逐手写下的重入锁。本文讲清这两条操作码各自做什么、标志位的作用域与回滚语义，以及这份 2024 年提出、目前处于停滞状态的提案距离主网还有多远。

以太坊虚拟机给执行栈设了 1024 项上限，每项 32 字节；调用不是复用同一张栈而是新开栈帧，配合 EIP-150 留下的每层最多带走 63/64 剩余 Gas 的规则，共同约束递归与嵌套深度。本文讲这张栈的结构、越界会发生什么，以及它和比特币脚本一千项栈上限的设计对照。