以太坊研究者提出 rapidblocks 拆分证明方案

以太坊研究者 cskiraly 在 Ethereum Research 提出名为 rapidblocks 的"拆分证明"（split proofs）方案：把区块执行证明拆成三部分——Π_T 证明交易在给定输入上运行得到输出、不涉及状态根，Π_in 与 Π_out 再把输入输出绑定到状态根；区块头改为承诺输入而非前状态根，使证明可跨 slot 保持有效，只要输入仍是最新。该设计让区块共识与状态根共识分轨推进。 作者称这只是一篇想法帖：区块级规则仅在小规模可执行模型中通过性质测试，带输入规则的投票仅在小实例上有界模型检查中未发现安全性违规（Apalache 检查了四轮三个 slot，以及 a=2、五轮的后续证明轮），设计本身尚未被证明，也没有仿真或实测，文末列出的开放问题仍然存在。 方案沿用前一篇帖子的参数：slot τ、网络界 Δ=τ/4、窗口 L、从区块头投票到区块体投票的轮数 a、投票节奏 m，工作取值为 τ=2 秒、Δ=0.5 秒、L=4、a=1、m=1。

AI 根据报道生成 · 10 小时前更新