协议实践
ONETHICS ①
验证当下。了解自己的权利。保存证明。为后来者建设。
PARANO1D LAB / 全部文章
全部研究
论文、协议笔记、工程研究及其成果，按研究成果的记录日期排序。
全部主题
文章数: 23
→
应用研究
Live Agents：无需信任远程 API 的自主参与
每位参与者通过自己的 Agent Core 检查资金与权限，并与其他智能体交换可验证的回执。有效性由本地检查确定，无需相信区块浏览器或托管 API。
安全研究
九月安全报告
新论文涉及 Poseidon2b 结式、矩阵后门、递归 Fiat-Shamir 和安全性界。逐项核对主网固定参数。
协议架构
Parano1d v2：从现存价值到有效权利
具备后量子保护的证明原生智能合约：让程序约束的权利在交互历史被裁剪后，依然保持可验证。
协议设计
Parano1d v2：区块容量与共识
两类区块、一个合约核心、30 秒目标间隔。把计算预算写成可以直接用于工程设计的网络规格。
协议经济
Parano1d v2：NOID 的发行与状态经济
高度推进发行，占用率为活跃存储定价。重新审视原有发行时钟，同时保留精简 State 的经济价值。
架构随笔
跨越时间的去中心化
网络不应仅仅因为逐渐变老，就变得越来越不去中心化。
安全性分析
Poseidon2b 是安全的！
安全性属于具体实例。先固定 GF(2^128)、四字状态、矩阵、8+58 轮与前馈压缩模式，再逐项套用公开攻击。
协议架构
当下必须证明过去
区块链能否在不从创世区块开始重放全部执行历史的情况下，验证当前状态？
安全性分析
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 覆盖的链尖，节点还必须持久化并恢复另一条任务队列。
协议研究
区块只证明一次，随后搜索 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 则暴露了把验证器放进下一份递归证明的代价。