行业指标下的 ParanO(1)d 可靠性
本文按照 Plonky2、RISC Zero 与 ethSTARK 采用的经典约定评估 ParanO(1)d 的实际部署参数，将基于猜想的评分与由有限定理支撑的界限明确区分，并用可执行的 Rust 计算固定每个公布值。每个数值只在其对应指标内比较。
01 · 最新
最新研究
HistoryStep 为何采用两种证明类别
HistoryStep 是区块状态转换的递归证明。B64 可处理最多 64 个用户交易页面，并能在参考笔记本上满足准备时间预算；B255 将同一证明关系扩展到每区块 255 页的上限。测量没有发现第三种类别可以覆盖的有用运行区间。
5 分钟阅读阅读
区块为何必须与递归证明一同接受
早期设计先接受区块，再在后台生成对应的递归证明。因此，规范链尖可能领先于已被 HistoryStep 覆盖的链尖，节点还必须持久化并恢复另一条任务队列。正式架构只在区块与其 HistoryStep 同时就绪时接受该区块：一个原子对象、一个规范高度，不存在滞后的证明积压。
3 分钟阅读阅读
区块只证明一次，随后搜索 nonce
HistoryStep 在不含 nonce 的语义域中绑定区块头的全部语义字段；PoW 可以改变 nonce，而无需重建 State 转换证明。
2 分钟阅读阅读
02 · 精选工作