比推消息，以太坊贡献者 Francesco Risitano（@frisitano）提交了 EIP-8440（执行链证明）草案提案。该提案通过递归零知识证明机制，证明从头部信标块到起源信标块的所有执行有效载荷的合法性，并将其绑定至信标链。

节点可通过单一证明，从弱主观性检查点建立到最新区块头的完整执行有效性，实现常数时间链同步。