核心观点 - Lagrange Labs已成为雷神技术公司供应商网络中的一员 其DeepProve技术将为导弹防御和火力控制系统中的AI提供可验证的加密保证 [1] 合作与市场拓展 - 公司已注册成为雷神技术公司供应商生态系统中的认可供应商 其DeepProve技术将被部署于需要验证AI决策的国防项目中 [1] - 公司此前已成为洛克希德·马丁公司供应商生态系统中的认可供应商 以解决联盟AI互操作性中的信任问题 [9] - 公司已加入甲骨文合作伙伴网络 将在甲骨云基础设施的主权和任务云解决方案上构建可验证AI用例 [11] - 公司已成功将DeepProve集成至Anduril Lattice SDK环境中 展示了自主防御系统可实时运行并生成决策正确的加密证明 [12] 技术方案与产品 - DeepProve通过为AI输出附加加密证明来解决问题 验证任务数据是在授权输入上正确处理且目标逻辑遵循了批准约束 [2] - DeepProve为关键任务系统提供可验证的完整性 证明输入数据未被篡改 模型输出遵循授权逻辑路径 且任务约束得到遵守 [3] - 该验证层创建了模型行为的持久记录 使操作员和指挥机构无需访问专有模型参数或敏感数据即可信任机载AI系统 [4] - DeepProve验证输入数据和软件更新未被篡改 降低了现场系统中输入数据损坏或固件受损的风险 [5] - DeepProve生成防篡改、可复现的证据 证明任务数据处理正确 AI子系统遵守授权约束 且上游数据流未发生篡改 这有助于项目认证和认可 [6] - 公司已在生产防御环境中生成超过1100万份零知识证明 其DeepProve具有158倍的性能优势 [7] - DeepProve是公司的旗舰产品 为国防和国家安全AI系统提供加密验证 确保AI模型完全按预期执行 且不向对手暴露操作能力 [8] 行业应用与客户 - 雷神技术公司开发了包括爱国者导弹防御系统、战斧巡航导弹以及支撑盟军防空和精确打击的先进传感器融合网络在内的关键防御平台 [2] - DeepProve技术适用于爱国者操作员决定是否交战、战斧目标系统计算影响以及融合多源情报的传感器网络等场景 以消除AI决策的模糊性 [3] - 公司为美国一级国防承包商和航空航天组织提供服务 这些客户需要超越统计置信度的加密保证 [8] - 公司与甲骨文的合作旨在将DeepProve扩展至专为国防、航空航天和政府机构设计的高保证环境 [11] 公司背景 - Lagrange Labs为国防和国家安全AI系统提供加密验证 [8] - 公司已从Founders Fund和1kx等投资者处筹集了2150万美元资金 并在企业和国防领域建立了战略合作伙伴关系 [8]