该记录文档记录了 APR-Lite 第15阶段,这是一个加密治理层,旨在保持人类对受监管环境中 AI 影响输出的决策权。第15阶段扩展了早期阶段中引入的加密栈,以通过公证记录在可验证时间点的签名治理活动的链来提供审计历史的不可否认性。第14阶段确立了指定的治理活动产生独立可验证的证明工件。第15阶段增加了第二层:嵌入这些工件的序列定期由杰出机构捕获和证明。每个检查点都是某一时刻链状态的签名声明;篡改或重建分歧历史的对手在没有相关签名材料的情况下无法提供对该伪造状态的有效证明。检查点的创建被建模为治理活动本身,并通过现有的签名机制处理,因此公证的行为本身也遵循与其他高权威行为相同的证明机制。审计验证表面扩展包括这些证明,并报告基础链接结构和叠加检查点的完整性,作为不同但相关的关切。在这种构造中,链接结构建立了记录序列的内部一致性,而检查点提供了对其随时间演变的外部不可否认性。第15阶段在工人版本 8.2.0-p15.0 的扩展历史证明管道的烟雾测试套件中获得了完全成功。更详细的处理,包括对两层证明模型及其操作范围的形式化,向合资格的请求者提供受限访问。
Narnaiezzsshaa Truong (周二) 研究了这个问题。