EIP-1013 是一份 Meta 类提案，用一张清单定义了 2019 年以太坊君士坦丁堡硬分叉的收录范围：位运算移位（EIP-145）、CREATE2（EIP-1014）、EXTCODEHASH（EIP-1052）、难度炸弹推迟与奖励下调（EIP-1234）、SSTORE 净计量（EIP-1283），主网激活高度 7280000。本文解读元提案这种文档体裁的由来与作用，以及君士坦丁堡名单后来因 EIP-1283 漏洞被一周急停的经过。

以太坊把外部算法直接插进 EVM 插槽的方式是预编译合约：地址 0x01 到 0x09 之后，0x09 位置的 BLAKE2F 压缩函数由 EIP-152 在 2019 年伊斯坦布尔升级装上车。本文讲这个插槽的输入编码、逐轮定价的 gas 规则，以及它当年为跨链验证、今天为 zk 电路 inside 电路的两种命运。