AIREP：AI运行时治理中逐决策证据的协议
1. 摘要
本文提出了一种用于记录自动化AI运行时治理决策的协议。当运行时对单个输出进行发布、阻止、延迟、编辑或升级处理时，AIREP将该决策记录为单个签名对象，任何一方都可以离线检查该对象，而无需依赖生成该对象的运行时。每条记录将决策表示为在既定政策依据下的封闭动词集合中的一个动词，通过哈希而非值来引用其输入、输出和证据，并声明其证据覆盖的内容以及未覆盖的内容。记录形成SHA-256哈希链，将每条记录绑定到其位置，从而通过重新计算可检测篡改和缺失。供应商、模型和领域特定的内容被限制在单个可选命名空间中，机械中立性测试确保共享格式不包含此类内容。文中描述了一个参考实现和一套双语言一致性测试工具。还讨论了一些实现问题，并揭示了诸如跨实现规范形式对齐、新鲜度见证和多运行时链等问题。该格式供任何记录治理决策的AI运行时采用。
2. 引言
随着AI系统在关键决策中的部署日益增多，对其运行时行为的治理变得至关重要。AIREP协议旨在为AI运行时的每个决策提供可验证的证据，确保决策过程的透明性和可审计性。该协议通过记录每个决策的详细信息，包括决策类型、政策依据、输入输出引用和证据范围，使得外部方能够独立验证运行时的行为。
3. 协议设计
AIREP协议的核心是每条记录的结构。每条记录包含一个封闭的动词集合，表示决策类型，如发布、阻止、延迟、编辑或升级。记录还引用输入、输出和证据的哈希值，而不是直接存储数据，以保持轻量级和隐私保护。此外，记录明确声明证据覆盖的范围和未覆盖的部分，确保透明性。
4. 哈希链与完整性
记录通过SHA-256哈希链连接，每条记录包含前一条记录的哈希值，从而形成不可篡改的链。任何对记录的修改或删除都会导致哈希不匹配，从而被检测到。这种设计确保了记录的完整性和顺序性，使得审计过程更加可靠。
5. 中立性与扩展性
为了保持协议的通用性，AIREP将供应商、模型和领域特定的内容限制在单个可选命名空间中。通过机械中立性测试，确保共享格式不包含任何特定于实现的内容，从而支持跨平台和跨领域的互操作性。
6. 实现与一致性
文中描述了一个参考实现和一套双语言一致性测试工具，用于验证不同实现之间的兼容性。这些工具帮助开发者确保他们的实现符合协议规范，并能够与其他系统无缝协作。
7. 实现问题与挑战
尽管协议设计考虑了多种场景，但在实际实现中仍面临一些挑战。例如，跨实现的规范形式对齐可能因语言差异而复杂，新鲜度见证需要确保记录的时间戳可信，多运行时链则需要协调不同运行时的记录顺序。这些问题在文中被明确指出，并作为未来工作的方向。
8. 结论
AIREP协议为AI运行时治理提供了一种标准化、可验证的记录方式。通过哈希链和签名机制，确保了决策证据的完整性和不可否认性。该协议旨在被任何AI运行时采用，以增强AI系统的透明度和信任度。
AIREP：AI运行时治理中逐决策证据的协议
1. 摘要
本文提出了一种用于记录自动化AI运行时治理决策的协议。当运行时对单个输出进行发布、阻止、延迟、编辑或升级处理时，AIREP将该决策记录为单个签名对象，任何一方都可以离线检查该对象，而无需依赖生成该对象的运行时。每条记录将决策表示为在既定政策依据下的封闭动词集合中的一个动词，通过哈希而非值来引用其输入、输出和证据，并声明其证据覆盖的内容以及未覆盖的内容。记录形成SHA-256哈希链，将每条记录绑定到其位置，从而通过重新计算可检测篡改和缺失。供应商、模型和领域特定的内容被限制在单个可选命名空间中，机械中立性测试确保共享格式不包含此类内容。文中描述了一个参考实现和一套双语言一致性测试工具。还讨论了一些实现问题，并揭示了诸如跨实现规范形式对齐、新鲜度见证和多运行时链等问题。该格式供任何记录治理决策的AI运行时采用。
2. 引言
随着AI系统在关键决策中的部署日益增多，对其运行时行为的治理变得至关重要。AIREP协议旨在为AI运行时的每个决策提供可验证的证据，确保决策过程的透明性和可审计性。该协议通过记录每个决策的详细信息，包括决策类型、政策依据、输入输出引用和证据范围，使得外部方能够独立验证运行时的行为。
3. 协议设计
AIREP协议的核心是每条记录的结构。每条记录包含一个封闭的动词集合，表示决策类型，如发布、阻止、延迟、编辑或升级。记录还引用输入、输出和证据的哈希值，而不是直接存储数据，以保持轻量级和隐私保护。此外，记录明确声明证据覆盖的范围和未覆盖的部分，确保透明性。
4. 哈希链与完整性
记录通过SHA-256哈希链连接，每条记录包含前一条记录的哈希值，从而形成不可篡改的链。任何对记录的修改或删除都会导致哈希不匹配，从而被检测到。这种设计确保了记录的完整性和顺序性，使得审计过程更加可靠。
5. 中立性与扩展性
为了保持协议的通用性，AIREP将供应商、模型和领域特定的内容限制在单个可选命名空间中。通过机械中立性测试，确保共享格式不包含任何特定于实现的内容，从而支持跨平台和跨领域的互操作性。
6. 实现与一致性
文中描述了一个参考实现和一套双语言一致性测试工具，用于验证不同实现之间的兼容性。这些工具帮助开发者确保他们的实现符合协议规范，并能够与其他系统无缝协作。
7. 实现问题与挑战
尽管协议设计考虑了多种场景，但在实际实现中仍面临一些挑战。例如，跨实现的规范形式对齐可能因语言差异而复杂，新鲜度见证需要确保记录的时间戳可信，多运行时链则需要协调不同运行时的记录顺序。这些问题在文中被明确指出，并作为未来工作的方向。
8. 结论
AIREP协议为AI运行时治理提供了一种标准化、可验证的记录方式。通过哈希链和签名机制，确保了决策证据的完整性和不可否认性。该协议旨在被任何AI运行时采用，以增强AI系统的透明度和信任度。