EIP-196 在拜占庭升级中把 alt_bn128 曲线上的点加法和标量乘法做成 0x6 与 0x7 两个预编译合约,让以太坊能在区块Gas预算内验证 zkSNARK。本文拆解这两个地址的输入编码、曲线参数与它为什么必须做成预编译。
汇总与「加密货币百科」相关的文章,帮助你系统了解该主题。
EIP-196 在拜占庭升级中把 alt_bn128 曲线上的点加法和标量乘法做成 0x6 与 0x7 两个预编译合约,让以太坊能在区块Gas预算内验证 zkSNARK。本文拆解这两个地址的输入编码、曲线参数与它为什么必须做成预编译。
EIP-8383 提议把共识层节点必须提供历史区块的最短窗口从 33024 个纪元降到 8192 个纪元,约对应 36 天的可追溯范围。提案的理由是原窗口按最坏情形的弱主观性算出,而检查点同步实际只需要一个数量级更短的安全边界。2026 年 8 月起草,处于草案阶段。
EIP-8372 在 EIP-8037 的双轨计费思路上做校准:给状态 Gas 一个按比例放大的原始上限,再在计算区块用量前归一化,使状态增长目标始终对应五成归一化状态 Gas 利用率。提案给 CPSB 与状态上限比例两个参数,分母定为一百。2026 年 8 月起草,处于草案阶段。
EIP-3026 提议为 BW6-761 曲线增加七个预编译地址(0x1e 到 0x24),覆盖两条群上的点加、标量乘、多倍乘与配对,用于在以太坊上直接验证一层组合的 zkSNARK。提案引用 EY 与 Inria 的组合友好曲线研究,指出 BW6-761 验 Groth16 证明比 CP6-782 路线快约三十倍。提案 2020 年提出,已停滞。
EIP-1895 想把 MNT4 曲线的加法、标量乘与配对运算做成 EVM 预编译,让以太坊能在链上直接验证以 MNT4 为聚合曲线的零知识证明。提案的理论基础是 2014 年的椭圆曲线循环论文:两条曲线互为对方的验证器,递归验证成本不再随深度膨胀。提案 2018 年提出,已停滞。
EIP-6404 提出把以太坊交易从 RLP 序列化迁移到 SSZ,让交易获得与共识数据一致的默克尔化结构,用统一格式的树证明来索引和验证交易字段。提案 2023 年 1 月起草,仍是草案。本文解释两种序列化路线的分工、交易树化解锁的字段证明能力,以及为什么规范坚持可从树字节还原原始 RLP。
EIP-3978 针对 EVM 的一个记账细节:调用帧回滚时,此前写存储、发日志、建合约累积的 Gas 退款被整帧作废。提案给每个调用帧加一本 revert_gas_refund 分账,失败时按真实状态修改成本重新计回。提案 2021 年提出,处于停滞状态。本文讲这笔账的成因、分账公式与它没写完的部分。
EIP-6888 提出给 EVM 增加 carry 与 overflow 两面状态标志,配套两条按标志跳转的新操作码,把溢出与除零检查从每条合约的显式检查变成虚拟机层的事后核对。提案 2023 年提出,处于停滞状态。本文解释标志的触发规则、JUMPC 与 JUMPO 两条指令、以及它与编译器默认检查两条路线的分工。
EIP-1344 给 EVM 加了 CHAINID 操作码,编码 0x46,零栈参数,把 EIP-155 定义的链唯一编号直接推上栈顶,成本为基础费档。它 2019 年随伊斯坦布尔升级在第 9069000 块生效。本文讲它与 EIP-155 签名链号的分工、合约里的三类用法、以及提案安全段落点出的失效场景。
EIP-2384 用假块号给以太坊难度炸弹续命:把 bomb 基准相对家园分叉往后挪 400 万个区块,换算成当时约 13 秒的出块节奏大约 611 天。提案随缪尔冰川分叉在第 9200000 块激活,是难度炸弹家族里唯一一次赶在旧计划到期前完成的单独紧急分叉。本文拆它的延迟机制、算术口径与历史位置。