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