Lagrange Labs 现在是通用动力公司企业供应商门户的批准供应商，使组织内的团队能够发现和评估 DeepProve。通用动力公司在陆地、海洋、空中、网络和 C4ISR 等领域提供任务系统，这些领域依赖于可信的数据和可验证的正确性。我们的加入反映了对能够在数学上证明 AI 驱动的国防工作流程的完整性、来源和安全性的技术的日益需求。 DeepProve，我们的零知识证明框架，提供国防数据和 AI 管道的加密验证，证明计算是在授权输入上正确执行的。这增强了对伪造遥测、内部系统损坏和对抗干扰的抵御能力。 在安全通信和 C4ISR 环境中，DeepProve 确保消息、传感器输出和分析产品来自经过验证的处理链，并在其生命周期内保持未被篡改。对于地面和海军平台，加密证明提供了一个篡改证据记录，记录每个任务规划决策是如何生成的，验证遵循批准的约束而不暴露敏感模型。 在国防工业基础中，这些证明通过启用可审计的供应商交接、开发阶段的完整性检查以及认证和任务准备审查的明确证据，支持程序合规性和集成。 随着自主和 AI 支持的系统在国防领域的扩展，DeepProve 确保它们不仅能正常运行——它们可以证明它们正常运行。我们在通用动力公司供应商生态系统中的上市有助于推动任务关键应用的可追溯、安全和可验证的自主性。