Lagrange Labs 现在已成为 @LockheedMartin 供应商生态系统中的注册供应商，使 Lagrange 能够支持航空航天和国防项目中的 AI 保障和零信任数据完整性倡议。 了解更多：🧵

2/ 洛克希德·马丁公司负责F-35闪电II、F-16战隼和C-130大力神，越来越多地依赖于机器学习来进行航空电子、任务规划和ISR分析。 随着AI嵌入这些系统，验证AI行为的能力现在变得至关重要。

3/ Lagrange 的 DeepProve 为每个 AI 模型输出附加了一个加密证明。 这将假设替换为确定性。 DeepProve 证明了： • 使用的模型经过授权，未被更改的输入 • 输出遵循批准的安全边界 • 推理路径是可重现和可审计的 • 没有暴露参数或敏感遥测

4/ 这为AI保障和零信任数据完整性解锁了新的可能性： • 航空电子与飞行关键系统：对于航空电子和操作员在环工作流程，必须以机器速度验证正确性。DeepProve确保每个模型操作都可以被证明，而不是猜测。 • 任务规划：任务规划工具必须显示输出是使用经过批准的逻辑和约束生成的。DeepProve生成防篡改记录，增强认证、验证和认可。 • ISR融合：ISR系统依赖于敏感的多源数据。DeepProve在证明输出正确生成的同时保持机密性，这对情报工作流程至关重要。 • 联合行动：联合任务需要信任而不共享机密遥测。DeepProve使合作伙伴能够交换经过验证的结果，而不是原始数据，维护安全性同时实现互操作性。 • 事后审查与生命周期可追溯性：DeepProve在测试期间验证正确性，将证明绑定到部署中的输出，并提供可重复的证据用于事后审查。这从开发→部署→审计创建了持续的操作完整性。