摘要

  • draft-mih-scitt-checkpointed-local-log-01 让生产者用 Merkle Mountain Range 检查点承诺本地私有记录；一致性证明只能说明当前展示的分支延续了自己的前序状态。
  • 要发现两条各自合法的分叉，必须有独立且理解检查点语义的见证者，保存同一日志身份上一次被接受的状态。普通 SCITT 登记证明收录，不自动证明连续性。

如果一个自动决策系统为每次行动都签名，审计者很容易得到一种安全感：签名全部有效，记录也按顺序排列，历史应该完整。

问题在于，签名回答的是“谁签了这些字节”，而不是“这些字节是否构成当时唯一存在的集合”。生产者可以在提交审计前删掉一项，也可以向两个审计者展示不同集合。

Checkpointed Local Log（CLL）提供一个折中方案。记录仍留在生产者内部，其摘要依次加入 Merkle Mountain Range；生产者周期性签发很小的检查点，承诺当前日志长度和累加器。外部见证者只接收承诺，不必拿到私有记录。

这能约束篡改，却没有神奇地消除生产者制造两套历史的能力。

一致性只验证所见分支

检查点包含 log_size、commitment、prev_size 和 prev_commitment。配合一致性证明，验证者可以确认新的承诺扩展了旧承诺，已经纳入该分支的条目没有被删除、重排或重写。

生产者仍可维护 A、B 两条分支。A2 正确延续 A1，B2 也正确延续 B1。只收到 A 的人看见一条自洽链，只收到 B 的人同样如此。离线证明不会拿当前分支去比较一个从未交给它的状态。

缺失的能力是外部记忆。理解 CLL 的见证者要以“生产者身份 + 日志标识”为键，保存自己上次接受的检查点。下一次提交声明的前序大小与前序承诺必须和该状态一致。不一致时，草案要求拒绝登记或副署，并把差异视为日志变异证据，而不是可以重试的临时错误。

这一点改变了控制设计。连续性不是某个签名字段的属性，而是另一方保存先前状态、执行比较并有权拒绝的结果。

被 SCITT 收录，不等于被验证为连续

CLL 可以直接复用 RFC 9943。检查点作为 Signed Statement 登记，Transparency Service 返回 RFC 9942 的 COSE Receipt。该回执证明服务在自己的密钥之下收录了这个对象；只有回执实际携带签名时间声明时，它才同时提供时间证据。

一个不了解 CLL 的服务也能正常收录检查点。它的回执依然有效，但不表示服务把这次提交的前序状态和自己上次接受的状态做过比较。只有保存历史并执行这一步的 checkpoint-aware witness，才能赋予连续性含义。

因此，“已登记到透明度服务”不是完整的控制说明。运营者还需要知道服务是否执行 CLL 前序比较、以哪个日志身份索引状态、保存多久、遇到冲突是否强制拒绝。

直接副署同样不能跳过比较。修订 01 还主动收回了一项尚未成熟的机制：本地测试 stub 副署被移入未来工作，因为现有实现没有生成原先设想的 RFC 9338 结构。私有 JSON 标记不能伪装成独立见证。

生产者自己的“见证者”只是副本

草案要求生产者列明自己依赖哪些见证者。由生产者本人运营的见证者被称为 replica。副本有助于可用性，却没有把关键记忆移出能够制造两条分支的同一控制面。

多个独立见证者可以提高作恶成本，因为生产者必须把验证者可能查询的每个见证者隔离在各自分支上。但“多个”只有在行政控制、密钥和查询路径真正独立时才有意义。几个由同一团队运营的端点可能仍是一条权力边界。

覆盖范围也必须可见。最近一次被见证检查点之后追加的条目，与未见证日志中的条目一样弱。昨天的回执不能给今天的尾部涂上绿色。生产者一旦选择发布，就要声明最大检查点间隔；这让缺失检查点成为可检测事件，但回填窗口仍包括声明周期与见证延迟。

见证者只看见历史的形状

见证者收到承诺，不保存条目本身。它可以支持三类判断：某条目在某个位置被纳入；后一个检查点一致地延续前一个；一个给定区间在该检查点下没有漏项。

它无法独立检索某条记录。生产者或其他保管者仍要交付原始字节与纳入证明。如果某个归档分段已不可恢复，检查点最多说明那里曾有条目，不能复原内容。修订 01 建议诚实回答“保留期已过”，而不是声称条目从未存在。

被完美见证的错误记录依旧是错误记录。见证不证明内容真实、签名者有权行动、自动化实际执行、结果被外部观察，也不证明这是生产者唯一的日志，或所有被创建的记录都已加入。它约束的是一个已承诺历史的内部形状。

修订 01 还规定了线上表示：commitment 必须携带按确定性 CBOR 编码的 MMR 峰列表。实现可以在内部维护折叠后的 bagged root 做快速比较，但折叠算法没有被依赖文档标准化，因此不得把它放入线上承诺字段。该文本声称多个实现已在编码上收敛，但冻结资料没有独立互操作报告。更重要的是，这仍是个人提交的 Internet-Draft，没有工作组采纳或正式 IETF 地位。

来源