以太坊提出 EIP-8440 执行链证明提案：支持常数时间链同步

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

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