将字节码附加到合约末尾

分析

这是一种专家级别的 Gas 优化技术，用于在合约中集成高度优化的、计算密集型的算法。其核心思想是，对于某些算法（如特定的哈希函数），直接用汇编甚至原始字节码编写，比用 Solidity 或 Yul 实现效率更高。

假设你有一个计算极其复杂的函数，例如一个 ZK-SNARK 友好的哈希函数（如 MiMC）。标准的做法是：

1. 将这个哈希函数部署为一个独立的库合约。

2. 你的主合约通过外部调用（call 或 delegatecall）来使用这个库。

这种方法的缺点在于外部调用的固定开销。每次 call 都会消耗 Gas：

如果你的主合约需要在一个循环中成千上万次地调用这个哈希函数，那么累积起来的外部调用开销将是一笔巨大的浪费。

此技术通过一种巧妙的方式，将独立的库合约“内联”到主合约中，从而将昂贵的外部调用（EXTCALL）替换为廉价的内部跳转（JUMP）。

实现步骤：

1. 用底层语言编写优化算法：

使用像 Huff (https://huff\.sh/\) 这样的底层汇编语言，或者直接手写 EVM 字节码，来创建这个计算密集型算法（例如 MiMC 哈希）的最高效实现。将其编译成一段纯粹的、可执行的字节码。

2. 在主合约部署时附加字节码：

在主合约的 constructor 中，使用内联汇编将第一步中生成的原始字节码，直接附加到主合约运行时字节码的末尾。这本质上是在部署时动态地将两个合约拼接成一个。

3. 实现内部跳转逻辑：

主合约需要一个函数，该函数知道被附加的子程序字节码在合约中的确切起始位置。当需要执行这个子程序时，它会：

准备好输入数据（通常放在内存中）。
使用 delegatecall(address(this), …) 对自身进行调用，并精确控制 calldata 来触发子程序的执行逻辑。或者，在更高级的实现中，直接使用内部的 JUMP 指令跳转到子程序的代码段。
执行完毕后，子程序将结果返回到内存中，主合约继续执行。

经典案例：Tornado Cash

Tornado Cash 是应用此技术的著名例子。它将 MiMC 哈希函数的汇编实现作为一个独立的合约部署，展示了这种底层优化的巨大威力。后来的开发者进一步发展了这一思想，实现了在部署时直接附加字节码，从而完全消除了外部调用的开销。

这种技术代表了 Gas 优化的极限，但其代价极高：

核心思想：将一个用底层语言编写的高效算法（子程序），作为原始字节码附加到主合约末尾，从而用廉价的内部跳转 (JUMP) 替代昂贵的外部调用 (EXTCALL)。
适用场景：仅适用于需要在一个循环中海量调用某个计算密集型算法的场景，例如在 ZK 应用中进行数千次哈希计算。
巨大优势：在上述特定场景下，可以节省巨量的 Gas，可能是所有优化技巧中效果最显著的一种。
巨大劣势：复杂度、安全风险和维护成本都达到了极限。这是一种“核武器”级别的优化，99.99% 的应用都不需要也绝对不应该使用。

本文配套代码固定到提交 8960383；Gas 数据会随编译器、优化器参数和 EVM 版本变化。