EOF 把智能合约字节码装进带清单的集装箱，EIP-7960 想在清单里再加一个字节：代码段类型。它让同一个容器里的不同函数段声明自己是 EVM 还是其他指令集（如 EVM64 甚至未来的 RISC-V）。本文讲类型段的设计、它服务的 64 位 EVM 设想，以及为什么版本号被改成 0x02。

EIP-3155 给 EVM 执行轨迹定了统一的 JSON 字段表：程序计数器、操作码、剩余燃料、栈深度，每一步一行。本文拆解这份格式的字段含义、它想解决的客户端差异问题、和排查交易失败时怎么用上逐行轨迹，以及它和轻量事件日志的分工。

以太坊质押存款里有一份叫所有权证明的签名：用即将激活的验证者私钥，去签一段写明提现地址的数据。它不授权发币，只证明私钥与账户归属。本文拆解这份签名防什么、为什么必须一次性签对，以及它和提现凭据的关系。

circom 是一种给零知识证明写电路的语言：信号连成约束，编译器生成 R1CS 与 wasm witness 计算器。本文拆解它的信号与约束语法、编译器产物如何接进 Groth16 或 PLONK 证明系统，以及电路开发为什么和普通编程是两种活。

零知识与聚合签名都需要把任意消息变成曲线上的点，且不能知道离散对数。EIP-3068 提议给 BN256 加一个哈希进曲线的预编译来便宜地做这件事。本文解释为什么直接哈希会坏、标准方法长什么样，以及这条停在停滞状态的提案在生态里的位置。

EIP-5806 设想一种新交易类型：让外部账户以类委托调用方式执行一段合约逻辑，一次签名完成批量操作。本文拆解它的交易结构、与 4337 和 7702 的差异，以及签名对象是交易而非授权这句话在安全模型上的含义。

有些合约必须在每条链上都长成同一个地址。ERC-2470 用一个不需要任何私钥保管人的部署方式实现这一点：工厂合约从一个反推出来的无主账户发火，地址对所有链、所有人可验证。本文拆解它的部署算式、无密钥保证从何而来，以及这类共享基础设施的失败模式。

EIP-7840 要求以太坊执行层客户端在配置文件里放一张按分叉排列的 blobSchedule 表，逐轮记录每次升级的 Blob 目标数与上限。本文拆解这张表的字段、它如何解决历史参数无法追溯的问题，以及节点运维怎么用它核对网络参数。

以太坊信标链对验证者的两条可罚没投票规则——同一目标投两票，或者两票在时间上互相包夹——写死在共识规范的几行代码里。本文拆解环绕投票的定义、它为什么比双花投票更致命，以及举报机制如何运行。

Tornado Cash 用固定面额池、承诺登记和零知识证明，让一笔提款在密码学上无法对应到任何一笔存款。它的机制简单，命运却复杂：合约开源、前端被查封、创始人受审，是隐私工具法律边界最刺眼的样本。本文只讲机制与合规事实。