当下必须证明过去
Parano1d 已将当前状态有效性的依据从不断累积的执行历史移到了当下本身。从创世区块到当前状态的整条有效性路径，都由一条可执行的端到端后量子可靠性定理支撑，并达到 NIST Category 1 的资源阈值。
01 · 最新
最新研究
Parano1d 达到 NIST PQC Category 1
一项可执行的端到端定理覆盖完整的递归状态证明、并行量子预言机访问、Poseidon2b 相干响应成本以及 NIST 的全部 MAXDEPTH 取值。
19 分钟阅读阅读
Parano1d 的 FS-FRI 安全性：Block–Tiwari 分析
按照 Block–Tiwari 方法对 Parano1d 实际部署的递归 State 证明进行精确分析，在 128 位目标下得到 127 位可证明安全性和 127 位基于猜想的安全性。
13 分钟阅读阅读
FROST-GKR：统一证明多次 Poseidon2b 计算的全局轨迹协议
FROST-GKR 把 59 次 Poseidon2b 置换计算合并到一条执行轨迹中。该轨迹仅承诺三列见证，并把约束 sumcheck 从 472 个减至 2 个。
7 分钟阅读阅读
区块为何必须与递归证明一同接受
早期设计先接受区块，再在后台生成对应的递归证明。因此，规范链尖可能领先于已被 HistoryStep 覆盖的链尖，节点还必须持久化并恢复另一条任务队列。正式架构只在区块与其 HistoryStep 同时就绪时接受该区块：一个原子对象、一个规范高度，不存在滞后的证明积压。
3 分钟阅读阅读
区块只证明一次，随后搜索 nonce
HistoryStep 在不含 nonce 的语义域中绑定区块头的全部语义字段；PoW 可以改变 nonce，而无需重建 State 转换证明。
2 分钟阅读阅读
02 · 精选工作