行业指标下的 ParanO(1)d 可靠性
使用 Plonky2、RISC Zero 与 ethSTARK 发布的指标评估实际部署参数，并将基于猜想的评分与由有限定理支撑的上界明确分开。
研究归档
全部研究
论文、协议笔记、工程研究及其成果，按研究成果的记录日期排序。
↗
FROST-GKR：面向批量 Poseidon2b 的全局轨迹协议
三列承诺轨迹只用两次约束 sumcheck，即可归约整批 Poseidon2b 执行。
HistoryStep 为何采用两种证明类别
HistoryStep 是区块状态转换的递归证明。B64 可处理最多 64 个用户交易页面，并能在参考笔记本上满足准备时间预算；B255 将同一证明关系扩展到每区块 255 页的上限。测量没有发现第三种类别可以覆盖的有用运行区间。
区块为何必须与递归证明一同接受
早期设计先接受区块，再在后台生成对应的递归证明。因此，规范链尖可能领先于已被 HistoryStep 覆盖的链尖，节点还必须持久化并恢复另一条任务队列。正式架构只在区块与其 HistoryStep 同时就绪时接受该区块：一个原子对象、一个规范高度，不存在滞后的证明积压。
区块只证明一次，随后搜索 nonce
HistoryStep 在不含 nonce 的语义域中绑定区块头的全部语义字段；PoW 可以改变 nonce，而无需重建 State 转换证明。
从携带证明的 State 启动同步
新接入节点验证区块头与最终性边界上的一份递归转换证明，安装精确 Live State，并应用不超过十八个近期区块。
以 UTXO 代次标识取代共识隔离期
在现有数值字段中加入单调创建标识符，可使过期的槽位打开证明失效，而无需引入第二个共识根或设置槽位重用隔离期。
四条硬件路径使用同一种证明格式
PCLMUL、VPCLMUL、AVX-512 与 PMULL 执行完全相同的 GF(2¹²⁸) 运算，不改变见证布局或证明字节。
一次全局 Poseidon 遍历取代九次验证器遍历
完整组合基准表明，独立验证器遍历会把内存推高到 30 GB 以上；共享域消除了这一倍增因素。
递归验证器必须容纳自身
采用 2^23 个位置约束域的类别实现递归闭合：每份证明都以相同的认证矩阵与公共布局验证前驱。
AuthStream：约束全区块授权工作负载
流式编译以 4.7% 的开销约束了 14–16 MiB 私密授权数据；所评估的终端证明未达到实际部署的延迟预算。
证明缩小 20%，速度却下降 68%
融合两个 Merkle 关系节省了 5.94 KB，却扩大了组合后的多线性轨迹并失去并行性；证明时间从 2.68 秒退化到 4.50 秒。
一个所有者，一份授权证明
公开交易运算属于区块关系。即使一次花费包含 1,020 个输入，钱包也只证明一个私密事实——所有权。
紧凑混合打开与原始承诺的绑定
A/A′ 对抗测试把低度一致性与承诺来源区分开来；来源根与共享查询补上这条绑定链。
三项多项式承诺实验及其暴露的瓶颈
Ladder FRI 暴露了证明大小成本，FRI-Binius 暴露了来源绑定问题，BaseFold 则暴露了把验证器放进后继证明的代价。
没有符合该筛选条件的研究。