Rapidblocks with split proofs: execution proofs that outlive their state
Ethereum Research 提出"拆分证明"方案,将区块执行证明拆为三部分:Π_T 证明交易在输入上运行得到输出且不涉及状态根,Π_in 与 Π_out 负责把输入输出绑定到状态根。区块头改为承诺输入而非前状态根,使证明可跨 slot 保持有效,只要输入仍是最新。该设计让区块共识与状态根共识分轨推进,目前仅通过小型可执行模型的性质测试与有界模型检查,尚无证明、仿真或实测。