以太坊基金会研究员:EIP-8025 执行证明在 Sepolia 测试网实现区块实时证明
相关推荐
以太坊基金会将于 10 月 6 日在 Sepolia 测试网上激活 Glamsterdam 升级
Foresight News 消息,以太坊基金会宣布,Glamsterdam 网络升级将于北京时间 2026 年 10 月 6 日 21:53:36 在 Sepolia 测试网激活(epoch 353,024,slot 11,296,768)。Hoodi 与主网激活时间尚未确定。 此次升级整合执行层 Amsterdam 与共识层 Gloas,核心改进包括:内置提议者 - 构建者分离(ePBS,EIP-7732),将区块提议与构建正式纳入协议;区块级访问列表(BALs,EIP-7928),支持并行状态读取与交易验证;调整 Gas 定价,更准确反映执行与状态增长成本(EIP-8037、EIP-8038 等)。 节点运营商需在激活前更新执行层与共识层客户端。相关客户端版本已陆续发布,详细兼容列表见官方公告。主网用户与 ETH 持有人暂无需任何操作。
以太坊社区发布「CALLSTATUS 指令」EIP 草案
Foresight News 消息,以太坊社区发布「CALLSTATUS 指令」EIP 草案。草案内容包括 CALLSTATUS 指令可返回当前帧最近一次调用或创建操作的完成状态,以三位二进制形式区分成功、回滚、异常终止及下层终止等情况。该提议旨在让合约在调用失败后仍能可靠区分故意回滚与 Gas 耗尽等异常终止,避免发送方通过 Gas 操纵伪装失败结果,并适配未来状态创建计量等变化。
Paranoid 开发者提出 EIP-8288 异构递归与认证类库方案
Foresight News 消息,Paranoid 开发者 Ignotus Nemo 于以太坊研究论坛上提出针对 EIP-8288 的递归聚合方案。其中建议考虑支持多种已批准的证明尺寸,使小规模聚合使用更小的证明。Ignotus Nemo 在 Paranoid 系统中实现了异构递归,并已在公共主网上运行大小两种状态转移证明。该方案使用有限的认证验证器类库,通过每类独立的累加器通道处理跨类延迟验证,确保递归步骤中矩阵声明的正确性。此外,其还探讨了将该机制应用于 EIP-8288 时,如何合并子类库并处理依赖关系,以及程序身份与验证器类之间的语义兼容问题。 EIP-8288 由 Vitalik Buterin 与 Thomas Coratger 于 2026 年 6 月提出,主要解决后量子签名和 STARK 证明体积大、链上验证成本高的问题。
ZeroDev 创始人:EIP-8288 拟利用内存池并行聚合证明,提升以太坊扩展能力
Foresight News 消息,ZeroDev 创始人 Derek Chiang 分享以太坊改进提案 EIP-8288(又名「递归内存池聚合」)的可视化解读。其表示,该方案将以太坊的去中心化交易内存池用作并行零知识证明集群:客户端提交签名和证明后,由内存池节点经过多轮递归聚合,逐步减少证明数量,最终由区块构建者聚合为单个区块级证明。 Chiang 称,这一设计可通过增加节点提升签名及证明处理能力,同时保持单个节点的证明传输带宽需求稳定,且无需随处理量增长而提高区块构建者的硬件要求。验证者仅需检查一个聚合证明,即可验证数千个签名和证明。此外,该方案可将不同签名方案封装为 STARK 证明,以支持包括后量子签名在内的多种密码学方案。Chiang 认为,该设计有望支持每秒数万笔后量子及隐私交易,并降低单笔交易的验证 Gas 开销。EIP-8288 目前仍处于草案阶段,上述性能为其对方案潜力的描述。 此前,Vitalik Buterin 于 10 月 19 日表示,其认为支持各类密码学方案的理想路径是 EIP-8288。
以太坊社区发布 EIP 草案「硬件和带宽建议」
Foresight News 消息,以太坊社区发布 EIP 草案「硬件和带宽建议」。其中为全节点、Attester 验证者与本地区块构建者三种角色推荐基线规格,假设在同一机器上运行执行层与共识层客户端。存储建议为 4 TB NVMe SSD;验证者建议 64 GB RAM 与更强 CPU(8 核 /16 线程,单线程约 3500、多线程约 25000 PassMark)以减少不稳定;带宽按角色区分,本地区块构建者最高(100/50 Mbps),Attester(50/25 Mbps)与全节点(50/15 Mbps),后两者带宽更低,但存在滞后风险。
以太坊基金会研究员发布 EIP 草案:提出执行链证明,支持从弱主观性检查点常数时间同步执行层
Foresight News 消息,以太坊基金会研究员 frisitano 发布 EIP 草案。草案内容包括证明用于递归确认从头部到起始信标区块的全部执行负载有效,并与信标链绑定。每份证明验证前一份完整负载证明后再延伸一区块。 公开输入承诺起始与头部信标区块根、链 ID 及无状态输入模式版本,传播时只广播这两个根。连续证明由信标状态衔接,来宾程序复用 EIP-7732 的信封处理器,并通过执行引擎验证。同一分支上较新的证明包含较早证明,因此执行层同步可从弱主观性检查点以常数时间完成。证明经 gossip 传播,至多再配一个从有界内存缓存提供服务的最小化请求响应协议。