摘要
- wire version 3 强制携带 witnesses:首个见证包含已签名的 not-before 脉冲、DER 证书以及可选的紧邻后继脉冲;低版本不得携带该结构。
- 经典签名提供可重复的纵深认证,真正面向后量子时间定位的论证则依赖 SHA-512 链连续性,以及外部保管者证明该值确实属于当时发布的链。
- 草案自身仍有互操作矛盾:第 4、5 节规定版本 3,第 6 节却仍要求拒绝 1 和 2 之外的任何版本。
这是一次文档修订,不是标准通过
2026 年 9 月 6 日,Hessa Alhemeiri 等作者提交了 Wathīqa: Post-Quantum Evidence Record Syntax 01 版。Datatracker 将其列为活跃的个人 Internet-Draft,目标状态为 Experimental。它没有 IETF stream、负责的区域主任或工作组共识。因此,本文评估的是提案中的机制与边界,不主张 IETF 已采纳、产品已部署或行业已经形成互操作。
00 版已试图在算法失效之前续接证据记录,可以加入 not-after 收据和可选见证,但它明确承认 not-before 信标值没有认证。那个缺口已经有独立报道。01 版值得另写一篇,是因为它真正改变了证据对象:版本 3 把孤立时间值替换成一套可复核的脉冲、证书和后继关系,并把见证纳入续接链哈希。
这项修改也让三个常被合并的事实重新分开。看起来像时间的数据没有证明发布者;有效签名没有证明对象在公开序列中的历史位置;内部一致的哈希关系没有证明独立观察者在当时见过这条链。
版本 3 究竟认证了什么
版本 3 必须存在 witnesses,缺少便拒绝;更低版本则不得带入。第一个元素是 not-before 见证,包含来源、完整脉冲字节、DER 编码证书和可选后继脉冲,之后还可加入其他独立信标。证据记录的链哈希承诺整个见证数组的确定性 CBOR 编码,因此以后更换任何见证都会改变下一次续接的输入。
验证过程比字段名称更重要。验证者重新计算脉冲输出,对 DER 证书做 SHA-512 得到 certId,确认该证书与本地固定的证书一致,再核验脉冲签名和绑定 not-before 的字段。若输出不可复现、证书不在信任钉选中或签名失败,即使编码外观正确也不能得到认证锚点。
于是,原先没有责任主体的数值变成一项可重演的密码学陈述:固定私钥的持有者签过这些字段。保存完整脉冲和证书使未来重验成为可能;将见证数组写入续接哈希防止悄然替换。但这个结果必须保持狭窄。它尚未证明外部世界在所声称的时间看到过该脉冲。
后继脉冲增加的是哪一层证据
可选后继并非装饰性冗余。它必须使用下一序号、属于同一条链、独立通过认证,并向后承诺首枚脉冲。满足这些条件时,CHAIN_CONFIRMED 表示紧邻连续性。没有后继时,AUTHENTICATED_NO_SUCCESSOR 表示第一枚脉冲已认证但缺少前向证明;这不是失败,而是更小的事实。
结构或密码学失败归入 INVALID。旧版记录可以保留 LEGACY_UNAUTHENTICATED,不能因为新验证器上线就被追溯性地升级。数据库和界面若只保留一个“已验证”布尔值,就会抹掉签名身份、后继连续性与历史公开观察之间的责任边界。
即使一对脉冲内部完全正确,它也可能在多年后由仍掌握经典私钥的人生成,或在密钥泄露后伪造。序号、签名和向后承诺可以彼此吻合,却未必属于当年的公开流。这正是草案要求证明该值进入“实际发布脉冲链”的原因,并提出独立持有副本、实时获取或档案三种证据路径。
合格的档案收据不能只有一个状态位。它应记录来源、链标识、脉冲序号、精确字节或摘要、观察或获取时间、获取方式、保管主体和留存政策。若证据记录生产者、信标运营者和唯一档案保管者属于同一控制面,所谓外部佐证便失去制度上的独立性。
经典签名与后量子连续性各司其职
01 版把 RSA 脉冲签名称为可重复的经典纵深防御,这个表述是准确的。它能在今天认证脉冲,也能在续接时再次核验;但它不应被营销语言扩张成长期证据的后量子根基。
更持久的定位论证依靠 SHA-512 的原像与第二原像安全假设:后一脉冲对前一脉冲作出承诺。链外观察把这种内部关系连接到公开历史。FIPS 204 和 FIPS 205 规定的 ML-DSA 与 SLH-DSA 可保护新的续接操作,却不能倒推证明任意旧值曾在多年以前公开发布。
因此,运营记录应逐项展示依赖:脉冲签名、证书授权、紧邻后继、实际发布链位置、续接完整性与本地采用决定。笼统的“量子安全时间戳”标签恰好隐藏了领导者最需要治理的分界。
版本规则出现自我冲突
第 4、5 节引入 wire_v = 3 并描述见证处理;第 6 节却保留旧规则:字段缺失表示版本 1,允许版本 2,其余值全部拒绝。严格实现第 6 节的解析器会在验证见证之前就把新版记录挡在门外。
这不是措辞瑕疵,而是入口行为冲突。两个实现可能依据不同规范段落,对同一组字节给出完全相反的决定。文本修正并配套正反测试向量之前,一个私有解析器成功读取样例,不能证明 wire version 3 已互操作。
草案提到的 ASN.1 模块不在本次审阅文本中;两种媒体类型仍是登记请求,而非 IANA 已完成登记的证明。实验部署至少应钉住草案版本、外部模块哈希和临时标识符,不能只写“支持 Wathīqa”。
分析边界
本文没有运行实现、访问实际信标、复现测试向量,也没有独立核实草案所述的证书轮换事件和实现状态。我们不主张采用、部署、性能、市场使用或安全事件已经得到验证。个人草案可能改变、到期或被取代。
它仍然提供一个有价值的设计信号:文档内部可以保存脉冲及其密码学关系,却无法自行制造独立历史。外部档案不是密码学之后的行政附件,而是让时间陈述能够被另一机构质疑和复核的权威持有者。
来源
- Datatracker 当前记录
- Datatracker 历史
- FIPS 204 — ML-DSA
- FIPS 205 — SLH-DSA
- NIST IR 8213 草案
- Heng Lu — Minimum Initial Specification
- Heng Lu — On Reality Layers
- Heng Lu — Running Code Is Primary
- 00 版公告
- 01 版公告
- 00 版全文
- 01 版全文
- RFC 4998 — Evidence Record Syntax
- RFC 6962 — Certificate Transparency
- RFC 9169 — CBOR 序列
会员简报
档案背景详情
使用相应会员等级登录,即可解锁完整简报与来源注释。
仅限 Strategic Circle
Strategic Circle
所有读者均可浏览。加入并登录后可解锁档案简报。
加入 Strategic Circle仅限 Leadership Alliance
Leadership Alliance
符合条件的 IP 资产所有者和管理层可登录查看 Leadership Alliance 简报。
加入 Leadership Alliance
