预编译合约是以太坊协议中"不可升级的底层函数库"——它们以固定地址存在，以固定 Gas 执行原生优化的密码学原语（如椭圆曲线运算、模幂运算）。如果没有预编译合约，ZK 验证和 BLS12-381 签名聚合在 EVM 中将因 Gas 成本而不可行。

7.6.1 什么是预编译合约

预编译合约（Precompiled Contracts）是在 EVM 字节码层直接原生实现的特殊合约，部署于固定地址 0x01 至 0x0A（以及未来的扩展地址）。

与 Solidity 合约不同，它们：

• 没有字节码：直接由客户端的 Go/C++/Rust 代码执行；
• Gas 成本固定且低廉：不经过 EVM 解释循环，直接调用底层优化库；
• 不可被覆盖或部署新代码到其地址：协议层硬编码。

graph TD
    A[EVM 执行] --> B{目标地址 < 0x20?}
    B -->|是| C[路由到原生预编译实现]
    B -->|否| D[加载合约字节码并解释执行]
    C --> E[直接调用 libsecp256k1 / blst 等]
    E --> F[返回结果到 EVM 栈]
    style C fill:#ccffcc
    style D fill:#ffffcc

7.6.2 核心预编译合约详解

7.6.3 为什么需要预编译：以 ecPairing 为例

双线性配对（Bilinear Pairing）是 ZK-SNARK（如 Groth16）验证的核心数学操作。其定义：

满足双线性性质：$e(aP, bQ) = e(P, Q)^{ab}$

如果用 Solidity 纯实现配对运算，仅一个 pairing 的 EVM Gas 成本将远超区块 Gas 上限（30M）。但通过预编译 0x08，可在约 113,000 Gas 内完成 2 对点的配对验证——这使得以太坊主网能直接验证 ZK 证明。

// precompile-cost-sim.ts
// 纯内置：模拟预编译与纯 EVM 实现的 Gas 成本差距

interface PrecompileCall {
  address: number;        // 0x01 - 0x09
  baseGas: number;
  perWordGas: number;
  name: string;
}

function estimateGas(call: PrecompileCall, inputWords: number): number {
  return call.baseGas + call.perWordGas * inputWords;
}

// ECRECOVER: 3,000 gas 恢复签名
const ecrecover: PrecompileCall = { address: 0x01, baseGas: 3000, perWordGas: 0, name: 'ecrecover' };
console.log(`ECRecover 恢复 1 个签名: ${estimateGas(ecrecover, 0)} gas`);

// ecPairing: ~113,000 gas 验证 Groth16
const ecPairing: PrecompileCall = { address: 0x08, baseGas: 34000, perWordGas: 45000, name: 'ecPairing' };
console.log(`ecPairing 2 对验证: ${estimateGas(ecPairing, 2)} gas`);

// 纯 Solidity 实现估算（假设 1000 EVM 操作 per pairing step）
const pureEvmCost = 1000 * 20000; // 约 20,000,000 gas
console.log(`若纯 Solidity 实现配对: ~${pureEvmCost} gas (超出区块上限!)`);
// 输出对比：预编译 113k vs 纯实现 ~20M → 节约 ~180 倍

7.6.4 预编译在零知识 rollup 中的核心地位

ZK-Rollup（如 zkSync、StarkNet、Polygon zkEVM）的核心流程：

1. 在 L2 上执行大量交易；
2. 生成一个简洁的零知识证明（证明"这些交易正确执行后导致了这一新的状态根"）；
3. 在 L1 上调用 ecPairing 预编译验证该证明；
4. 若验证通过，则 L2 状态根被正式确认。

graph LR
    A[L2 执行 10,000 笔交易] --> B[生成 ZK 证明
    大小: ~1KB]
    B --> C[L1 合约调用 0x08 ecPairing]
    C --> D[验证通过?]
    D -->|是| E[L2 状态根写入 L1]
    D -->|否| F[证明无效，拒绝]
    C --> G[全节点无需重放 L2 交易]
    style C fill:#ccffcc
    style E fill:#ccffcc

没有 ecAdd, ecMul, ecPairing 这三个预编译，ZK-Rollup 的 L1 验证成本将高到不可行，扩容路线约半数将失去根基。

7.6.5 未来预编译：Blob 交易与 KZG 承诺

EIP-4844（Dencun 升级，2024 年 3 月）引入 Blob 交易——一种携带 125KB 临时"blob 数据"的交易类型。该数据不在 EVM 中直接访问，而是通过 KZG 多项式承诺验证：

EIP-4844 新增预编译 pointevaluation_precompile，用于在 DAS（数据可用性采样）中验证 KZG 评估证明。这是以太坊扩容路线图的核心——数据分片层的前置。

关键认知五：预编译合约不是优化，而是协议与密码学前沿之间的桥梁。当密码学研究人员发现双线性配对的效率足以支撑 ZK-SNARK 时，协议工程师通过预编译将其引入 EVM。这一设计让以太坊可以在不更改执行模型的情况下，持续吸收密码学进步——ecPairing 之于 ZK，blake2f 之于跨链，pointevaluation 之于 L2 扩容。

← 7.5 Gas 与 EIP-1559 | 前往 → 7.7 交易生命周期与 Mempool