Foresight News 消息,以太坊基金会研究员 frisitano 发布一项 EIP 草案,提出“执行链证明”方案,旨在递归确认从链头回溯至创世信标区块的所有执行载荷均有效,并绑定至信标链。
草案显示,每个证明在将链扩展一个区块之前,会先验证前一个完整载荷证明。其公共输入承诺包括创世与链头信标区块根、链 ID 以及无状态输入模式版本。在传播过程中,仅广播上述两个区块根。
连续证明通过信标状态进行链接。Guest 程序复用 EIP-7732 的 envelope handler,并通过执行引擎完成验证。同一分支上的证明会包含更早证明,从而使执行层同步可从弱主观性检查点以常数时间完成。
此外,证明将通过 gossip 传播,并可能搭配由有界内存缓存提供服务的最小请求-响应协议。
