2020 年 3 月提出的 EIP-3322 想给合约账户加一个可以存取Gas 的退款计数器,用 SELFGAS、STOREGAS、USEGAS 三条指令管理,让合约在便宜时预付、昂贵时支取,把 Gas 账单从即时消费变成可平滑的库存。提案停留在 Stagnant。更大的背景是 2021 年 8 月随伦敦升级生效的 EIP-3529 反其道而行,把退款上限砍到五分之一。本文用原文规格拆解这场「Gas 期货」的设想与现实之墙。
汇总与「智能合约」相关的文章,帮助你系统了解该主题。
2020 年 3 月提出的 EIP-3322 想给合约账户加一个可以存取Gas 的退款计数器,用 SELFGAS、STOREGAS、USEGAS 三条指令管理,让合约在便宜时预付、昂贵时支取,把 Gas 账单从即时消费变成可平滑的库存。提案停留在 Stagnant。更大的背景是 2021 年 8 月随伦敦升级生效的 EIP-3529 反其道而行,把退款上限砍到五分之一。本文用原文规格拆解这场「Gas 期货」的设想与现实之墙。
按现行规则,自毁之后的合约代码与存储不再被普通交易触碰,那些数据却仍占着状态。2020 年 9 月提出的 EIP-2936 想加一条 EXTCLEAR 指令,让任何人支付 Gas 去清零已自毁合约的存储槽,并提议自毁本身不再清存储。这份 Stagnant 提案从未上线。本文对照 2024 年 3 月随坎昆升级生效的 EIP-6780 讲清自毁与存储清理的现状边界,以及它对普通用户意味着什么。
合约想读另一个合约存储里的一个映射值,现实做法只能调用对方的 view 函数,代价里混着跨合约调用、ABI 编解码等一揽子开销。2019 年 10 月提出的 EIP-2330 想加一条 EXTSLOAD 指令,让合约像读自己存储一样直接读别人的槽位,原文称成本可降十倍且更可预测。该提案处于 Stagnant 停摆状态。本文讲清这条指令的规格、编号撞车历史与对普通用户的实际含义。
以太坊上的合约只能看到直接调用自己的那一层数据,看不到整笔交易最初携带的 calldata。2021 年 4 月提出的 EIP-3508 想补上 ORIGINDATALOAD、ORIGINDATASIZE、ORIGINDATACOPY 三条指令,让调用链深处的合约直接读原始交易数据,省去逐层转传的 Gas 开销。该提案处于 Stagnant 停摆状态。本文解释多层调用下数据可见性的真实边界,以及普通用户从这一机制里能读出什么。
以太坊上存在一批历史遗留地址:没有代码、nonce 为零,存储里却有值。它们源自 EIP-161 之前的创建规则,让合约创建可能撞进一段旧存储。EIP-8253 在 2026 年 5 月提出一次性收尾:在指定分叉区块,把一份固定清单上这些账户的 nonce 直接改成 1,让任何 CREATE 或 CREATE2 在 EIP-684 前置检查阶段就失败,作为 EIP-7610 运行时存储检查路线的替代方案。本文解释幽灵地址从哪来、为什么用改 nonce 这种不规则状态转换,以及它的代价。
SELFDESTRUCT 是以太坊最古老的操作码之一,EIP-6780 在 2024 年 3 月坎昆升级后已把它削弱成基本只转钱不清仓,但极少数情形(同一笔交易里创建又自毁)下余额仍会被销毁。EIP-8246 在 2026 年 5 月提议移除剩余的这些烧币情形:账户的代码、存储与 nonce 仍在交易收尾时清空,余额全部保留。本文回顾自毁的动机与减法史、剩下特例的确切形状,以及从创世重放到约第 2500 万块只找到两笔此类销毁意味着什么。
EIP-7784 提议新增 GETCONTRACT 操作码:压入一个字节码哈希,返回部署这段字节码的合约地址,查不到则返回零。配套要求是每个存入 EVM 的合约按 keccak256(字节码) 建索引。本文讲清内容寻址为何对审计、白名单与代码复用有用,规范里那些排除条款(自毁合约、空账户哈希)的意义,以及给全量合约建哈希索引的代价。
Sui 合约读的链上时间来自创世建在 0x6 的唯一共享对象 Clock,时间戳随每次共识提交推进,读它的交易必须走共识。本文按 Sui 官方文档拆解这份时间的更新节奏、快路径分界与纪元时间戳的粗粒度替代。
脚本less 脚本用密码学协议代替脚本语言:适配器签名、脚本less 原子交换、MuSig 聚合,让多条件支付在链上只呈现为一笔普通转账。比特币与门限签名的许多现代方案都走这条路。本文解释它与传统脚本路线的分工、几个代表构造,以及各自的工程前提。
Chia 系的脚本系统 CLVM 是 LISP 家族的最小方言:程序和资金一起被执行,没有账户、没有全局状态、没有区块高度可查,输出是一份条件清单告诉节点这笔花费是否合法。本文讲它的求值哲学、条件系统与 EVM 的本质分野,以及 puzzle 加 solution 的花费模型。