区块链的安全不靠信任某台服务器，而靠一套同样输入必得同样输出的确定性执行：每个全节点独立重放每一笔交易，核对彼此的状态是否一致。本文解释这个约定如何塑造了合约的能力边界，以及它的代价。

除了铭文和侧链资产，比特币生态还有 Stacks 这条以 Clarity 合约管理 NFT 的路线。本文解读 SIP-009 的四个标准函数、Clarity 原生代币原语，以及它与 Ordinals 记录方式的本质差异。

智能合约运行时访问的“内存”并非持久存储，而是一块执行结束即蒸发的临时工作区，且其计费采用先贵后廉的二次方扩张模型。本文从字节码指令、Gas 计费公式和实际影响三方面讲清 EVM 内存模型，并说明它和存储（storage）在费用与生命周期上的天壤之别。

以太坊对部署到链上的合约代码设了一条上限：24576 字节，由 EIP-170 在 2016 年 11 月的 Spurious Dragon 升级中引入。本文讲这条限制防的是什么攻击、为什么在创建时检查、大型项目如何用库和代理模式绕开限制，以及这个上限至今没有大幅上调的原因。

教你在区块浏览器核对 ERC-20 合约的 mint、pause、owner 等管理员函数：函数是否存在、权限当前归谁（单签、多签或已 renounce）、公告是否已在链上生效，并说明代理合约场景的查法。

伦敦升级引入 EIP-2929 后，SLOAD 与状态访问类指令按冷热分价：账户本轮第一次访问的槽位收冷价，重复访问只收热价。本文拆解这套定价与无状态化的关系、访问列表如何预加热、以及智能合约存储布局的省钱设计。

可升级合约换了实现，额度记录却没换。本文讲清代理模式与存储分离下授权的生命周期，以及撤销的两种方式在 Gas、Nonce 与生效速度上的差异。

ERC-1155 原生不提供供应量查询函数，ERC-5615 把社区已有的 totalSupply 与 exists 写法标准化。本文解释这两个函数各自回答什么问题，以及为什么供应量算数还需要按事件统计转账。

ERC-1155 允许一次调用转移多种代币，但按标准规则，批量转账要么全部成功、要么整体回滚。本文按规范逐条解释批量转移的强制回滚条件、数组顺序规则，以及接收合约拒收时整单失败的现象。

CREATE2 让合约地址只由部署者、盐值和初始化代码哈希决定，部署前即可预言、跨环境可核对。本文解释地址公式、验证用途，以及“目标地址已有代码则创建失败”与“地址相同不代表代码相同”两个要点。