以太坊研究者提出Rapidblocks拆分执行证明方案

cskiraly 在 Ethereum Research 发文提出 split proofs，把一个区块的执行证明拆成三部分：Π_T 只证明交易在给定输入和上下文下产生输出、不绑定状态根，Π_in 和 Π_out 负责把输入输出关联到状态根。区块头改为承诺输入而非前状态根，因此只要输入未变，证明可跨 slot 保持有效；新的 input rule 取代此前的 Hist rule，被跳过的区块只会连带影响读到其修改值的区块。作者说明这是想法阶段的帖子：区块级规则通过了小型可执行模型的属性测试，投票模型通过了小实例的有界检查，但尚无证明、仿真或测量，并列出了证明延迟、数据体积、安全性等开放问题。