以太坊开发者提交执行链证明草案，支持从弱主观性检查点验证至链头

以太坊开发者 frisitano 提交了一份执行链证明草案，目标是证明从信标链头部区块到证明起源信标区块之间，所有执行负载都已被有效执行并与信标链绑定。草案采用递归证明结构，公共输入包括头部与起源信标区块根、链 ID 以及无状态输入模式版本。按草案设计，节点可通过单个证明，从弱主观性检查点验证至链头的有效执行。