以太坊研究提出 split proofs：执行证明可跨 slot 存续

以太坊研究（Ethereum Research）提出 split proofs 方案，将区块执行证明拆为三部分：Π_T 证明交易在区块输入上运行得到输出、不涉及状态根，Π_in 与 Π_out 负责把输入输出绑定到状态根。该方案让区块头改为承诺输入而非前状态根，使 Π_T 在输入未被触及的情况下跨 slot 保持有效。作者称区块级规则已通过小型可执行模型的性质测试，但尚未完成证明，也无仿真或实测。