rapidblocks 提出拆分证明执行设计
热点事件持续更新
rapidblocks 提出拆分证明执行设计
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
cskiraly 在 ethresear.ch 发帖，针对 rapidblocks 流水线共识提出「拆分证明」（split proofs）设计：把区块执行证明拆成三部分——Π_T 证明交易在输入 I(b) 与上下文 X(b) 下产生输出 O(b)，不涉及状态根；Π_in 与 Π_out 负责把输入输出绑定到状态根，属 Merkle 工作。 作者称这是想法帖：区块级规则在小型可执行模型中通过属性测试，投票模型在输入抽象为时隙依赖后通过小实例的有界检查，但均未被证明，也尚无该设计本身的模拟或测量。参数沿用前帖：时隙 τ=2 秒、网络界 Δ=τ/4=0.5 秒、窗口 L=4、从区块头投票到体投票的轮数 a=1、投票节奏 m=1。Apalache 在两个小实例中未发现安全性违规。
AI 根据报道生成 · 3 小时前更新
最新进展10月14日 15:58
Rapidblocks 拆分证明：可跨状态存续的执行证明报道时间线
沿着报道，了解事件的不同侧面。
10月14日
- ethresear.ch · 全部Rapidblocks 拆分证明：可跨状态存续的执行证明
针对 rapidblocks 流水线共识，作者提出将区块执行证明拆为三部分：Π_T 证明交易在输入 I(b) 与上下文 X(b) 下产生输出 O(b)，不涉及状态根；Π_in 与 Π_out 负责把输入输出绑定到状态根，属 Merkle 工作。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月14日 17:00
- 近 24 小时变化
- –
02.557.510
17:0018:0019:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。