Rapidblocks 拆分证明：可跨状态存续的执行证明

针对 rapidblocks 流水线共识，作者提出将区块执行证明拆为三部分：Π_T 证明交易在输入 I(b) 与上下文 X(b) 下产生输出 O(b)，不涉及状态根；Π_in 与 Π_out 负责把输入输出绑定到状态根，属 Merkle 工作。