公司业务进展 - 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]