火星财经消息，以太坊贡献者 Francesco Risitano (@frisitano) 提交了 EIP-8440 (执行链证明) 草案提案。该提案通过递归零知识证明机制，证明从头部信标块到起源信标块的所有执行有效载荷的合法性，并将其绑定至信标链。节点可通过单一证明，从弱主观性检查点建立到最新区块头的完整执行有效性，实现常数时间链同步。