区块浏览器的合约页允许直接调用函数：Read 查询不花钱，Write 会让你连钱包并广播一笔真实交易。本文按官方文档讲清读写两条通道的差别、代理合约入口怎么选、以及点发送之前必须核对的四件事。

Arbitrum Stylus 在 Nitro 栈上加了一台与 EVM 并列的 WASM 虚拟机。本文按官方文档拆解合约如何共享同一棵状态树、部署后为何必须激活、内存按页计费与栈上限、cargo stylus 的可复现验证，以及计算密集型任务 Gas 更低的真实边界。

Yul 是 Solidity 家族的低级中间语言：功能式语法贴近栈机，既是内联汇编的书写格式，也是基于 IR 的新代码生成路径的落地目标。本文讲它和 Solidity、十六进制字节码的三层关系，为什么中间表示让优化与跨方言复用成为可能，以及内联汇编块里哪些护栏依然存在。

EIP-161 之前有一小批合约留下了 nonce 为零、代码为零但存储非空的地址，各客户端对能否往这种地址部署一度各有实现。EIP-7610 把口径统一到最保守一边：任何创建遇到非零 nonce、非零代码或非空存储即整体回滚。本文复盘三不像账户的成因、四类创建路径的统一规则，以及为什么选择回滚而不是重置。

EIP-214 的 STATICCALL 让合约在禁止一切状态写操作的环境里被调用，是模拟执行与视图查询的协议层原语。本文拆解静态标志的传播、被拦下的操作清单、与 eth_call 的关系，以及它拦不住信息泄露这一常见误会。

合约浏览器页上的 Contract Creator 和创建交易是什么，怎么顺创建交易看部署者与构造函数，代理合约与工厂部署的差异，以及部署者不等于当前管理员的边界

比特币脚本里管理时间的两组指令：CLTV看nLockTime的绝对时刻，CSV看被花输出的成熟深度。本文讲清刻度约定、nSequence陷阱、HTLC组合方式与Miniscript的部署现状。

智能合约这个词比区块链更早。本文讲Nick Szabo在1994至1997年间如何从合同执行成本出发提出概念、用自动售货机作类比、在1997年发表正式论文，以及为什么这套思想在密码学货币出现前无法落地，最终被比特币与以太坊接力实现成今天的样子。

EVM Object Format（EOF）想把以太坊合约从一串无结构字节码变成带版本头、分区段、部署时校验的容器。它解决什么老问题，由哪些 EIP 组成，为什么至今停在 Stagnant 状态而非主网。

EIP-7939 给以太坊虚拟机加入了 CLZ 操作码，用来数一个 256 位数值的二进制前导零个数，随 Fusaka 升级激活。这条看似冷门的指令，服务的是链上数学库和底层算法。本文用直觉方式讲清它数的是什么、为什么值得为它花一个操作码名额。