以太坊的一个执行客户端里其实住着两台机器：负责取块、管状态、调度消息的执行引擎，和负责逐条跑字节码的虚拟机。把这两层用一套标准接口拆开，是 EVMC 的全部野心——任何按标准实现的虚拟机，都能插进任何按标准实现的引擎，研究性的新虚拟机不必复刻一整套节点软件。EIP-2003 是这套接口里最省力的一格：只要预编译合同部分。
预编译为什么会成为独立模块
编号极低的地址段里住着一批不写字节码的”合同”：哈希、配对、模幂这些加密原语直接在客户端代码里实现。它们不碰账户状态、不进状态树、没有存储，行为完全由输入决定。EIP-2003 注意到一个事实：正因为预编译几乎不需要访问世界状态，把它们从整个虚拟机里单独剥出来做成模块，成本极低而收益可观——密码学团队优化一条曲线的验签，只需要交付一个符合规范的动态库，不必碰客户端的共识与状态代码，两边按各自的节奏发版。
模块的接头规则
规范基于 EVMC 第六版接口：模块要在能力查询里声明自己提供预编译能力；引擎调用其执行函数时，模块必须先校验三件事——请求必须是调用类消息、目标地址落在预编译地址范围内、没有附带任何待执行代码，任何一条不满足就返回拒绝。通过后，模块读取输入、按各预编译的价目算出 Gas 成本、扣减调用方给定预算，预算不够则返回耗尽状态并允许退还部分燃料（规范特意写明截至成文时不存在需要部分退费的预编译）。最关键的一条禁令是：引擎不保证提供上下文对象，所以模块绝不许读取世界状态——这正是预编译行为可预测、可跨实现一致的根源。
一致性怎么保证
配套的工具链里有一个专门跑一致性测试的可执行文件，任何模块过不了同一套用例就进不来。这套思路在系统软件里很常见：行为标准先于实现存在，实现用测试证明忠诚。对以太坊而言，它意味着同一笔调用模幂的合同交易，在不同客户端上花一样的钱、得一样的结果，而这恰恰是无许可网络最便宜的保险。
现状与边界
提案停在 Stagnant（停滞），以 EIP 官网当前标签为准。EVMC 本身一直活着，各实现之间的集成主要服务于独立虚拟机与研究性预编译，EIP-2003 划出的”预编译即模块”边界更多是接口设计层面的遗产。
快速问答
问：EVMC 和 EIP 是同一层东西吗？ 答：不是。EIP 是改协议的提案体系，EVMC 是客户端内部的接口约定，两者独立演进，接口标准不直接改变共识。 问：预编译在状态树里长什么样？ 答：它们没有代码也没有存储，地址看起来像账户但查询代码为空，节点执行到这些地址时走的是内置函数。 问：模块返回拒绝和合约里的失败回滚一样吗？ 答：层次不同。拒绝发生在引擎与模块的接口层，是”我不处理这笔”；回滚发生在执行层，是”处理了但不行”。
一个类比
把这件事翻译进硬件世界：CPU 与协处理器之间要有明确的指令边界，协处理器不许偷看主处理器的寄存器，否则任何”可插拔加速卡”都成了系统级变量。EIP-2003 对预编译的禁令就是这条边界的协议版本——先保证插上去的东西掀不翻桌子，再谈它跑多快。
一条判断线
评估任何”插件化”提案，先问接口边界上允许插件看到什么：看不到状态的插件才是安全的插件，能看状态的一切便利都要拿一致性去换。
风险提示：本文仅为工程机制科普，不构成任何投资建议。
发表评论
还没有评论，来说两句吧。
评论区为展示样式，提交不会被处理。