当下必须证明过去
区块链能否在不从创世区块开始重放全部执行历史的情况下，验证当前状态？
研究归档
全部研究
论文、协议笔记、工程研究及其成果，按研究成果的记录日期排序。
↗
跨越时间的去中心化
网络不应仅仅因为逐渐变老，就变得越来越不去中心化。
Poseidon2b 是安全的！
安全性属于具体实例。先固定 GF(2^128)、四字状态、矩阵、8+58 轮与前馈压缩模式，再逐项套用公开攻击。
ONETHICS ①
运行自己的验证器。不要让共享 State 无谓膨胀。保存真正与你有关的证明。
Parano1d 达到 NIST PQC Category 1
一项可执行的端到端定理覆盖完整的递归状态证明、并行量子预言机访问、Poseidon2b 相干响应成本以及 NIST 的全部 MAXDEPTH 取值。
Parano1d 的 FS-FRI 安全性：Block–Tiwari 分析
按照 Block–Tiwari 方法对 Parano1d 实际部署的递归 State 证明进行精确分析，在 128 位目标下得到 127 位可证明安全性和 127 位基于猜想的安全性。
FROST-GKR：统一证明多次 Poseidon2b 计算的全局轨迹协议
FROST-GKR 把 59 次 Poseidon2b 置换计算合并到一条执行轨迹中。该轨迹仅承诺三列见证，并把约束 sumcheck 从 472 个减至 2 个。
区块为何必须与递归证明一同接受
早期设计先接受区块，再在后台生成对应的递归证明。因此，规范链尖可能领先于已被 HistoryStep 覆盖的链尖，节点还必须持久化并恢复另一条任务队列。正式架构只在区块与其 HistoryStep 同时就绪时接受该区块：一个原子对象、一个规范高度，不存在滞后的证明积压。
区块只证明一次，随后搜索 nonce
HistoryStep 在不含 nonce 的语义域中绑定区块头的全部语义字段；PoW 可以改变 nonce，而无需重建 State 转换证明。
从携带证明的 State 启动同步
新接入节点验证区块头与最终性边界上的一份递归转换证明，安装精确 Live State，并应用不超过十八个近期区块。
以 UTXO 代次标识取代共识隔离期
在现有数值字段中加入单调创建标识符，可使过期的槽位打开证明失效，而无需引入第二个共识根或设置槽位重用隔离期。
四条硬件路径使用同一种证明格式
PCLMUL、VPCLMUL、AVX-512 与 PMULL 执行相同的 GF(2¹²⁸) 算术，不改变见证数据布局或证明字节。
一次全局 Poseidon 遍历取代九次验证器遍历
三组 Link 与六组 Block 共用一次有序的非规则 66 层 Poseidon2b 遍历，不再生成九条独立验证器轨迹。
AuthStream：约束全区块授权工作负载
在早期 255 份授权布局中，流式编译以 4.7% 的开销约束了 14–16 MiB 私密输入；其终端证明未达到实际部署的延迟预算。
证明缩小 20%，速度却下降 68%
融合两个 Merkle 关系节省了 5.94 KB，却扩大了组合后的多线性轨迹并失去并行性；证明时间从 2.68 秒退化到 4.50 秒。
一个所有者，一份授权证明
一个所有者为一笔完整逻辑支出生成一份见证隐藏授权证明封装，HistoryStep 则证明透明的 State 转换。
紧凑混合打开与原始承诺的绑定
Poseidon2b 来源 cap、经过认证的张量折叠与一组共享查询，把每份紧凑 FRI 打开证明连接到其承诺列。
三项多项式承诺实验及其暴露的瓶颈
Ladder FRI 暴露了证明大小成本，FRI-Binius 暴露了来源绑定问题，BaseFold 则暴露了把验证器放进下一份递归证明的代价。
没有符合该筛选条件的研究。