核心观点 - 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]

公司业务进展 - Lagrange Labs已成为洛克希德·马丁供应商生态系统中的注册供应商 实现DeepProve在国防和航空航天项目中的直接集成 [1] - 公司宣布成功加入Oracle合作伙伴网络 在Oracle云基础设施主权和任务云解决方案上构建可验证AI用例 [8] - DeepProve已成功集成到Anduril Lattice SDK环境中 展示自主防御系统能够实时运行并具有可证明的正确性 [9] 技术解决方案 - DeepProve解决情报共享悖论 在不暴露机密数据或专有模型的情况下 使情报合作伙伴信任AI驱动分析 [1] - 该技术使北约 联合特遣部队和多机构行动仅交换经过验证的结果和真实性密码学证明 合作伙伴可获得数学确定性 [2] - 对于航空航天和国防系统 DeepProve为每次推理生成防篡改可复现记录 使认证者和审计员能够验证正确性而无需侵入式数据访问 [4] 技术性能与成就 - Lagrange已在生产防御环境中生成超过1100万个零知识证明 DeepProve具有158倍性能优势 [5] - DeepProve是世界最快的zkML系统 提供1000倍性能优势 并支持GPT-2 LLAMA和Gemma3等先进模型的推理证明 [7] - 公司在新加坡谷歌零知识活动中宣布 其平台已成功生成谷歌Gemma3大语言模型推理的全球首个密码学证明 [11] 公司背景与融资 - Lagrange Labs为国防和国家安全AI系统提供密码学验证 服务美国一级国防承包商和航空航天组织 [6] - 公司已筹集2150万美元资金 投资者包括Founders Fund和1kx 并与企业和国防合作伙伴建立战略伙伴关系 [7]