Lagrange Labs 现在是 @generaldynamics 企业供应商门户中的批准供应商。 作为一个批准的供应商，我们的加密验证技术现在对寻求先进 AI 保障和零信任数据完整性的政府和国防团队可见。

2/ 通用动力在陆地、海洋、空中、网络和C4ISR领域推动任务系统。 作为经过批准的供应商加入这个生态系统，反映了向能够在操作速度下验证正确性、来源和安全性的防御技术的更广泛转变。

3/ 本文的核心是 DeepProve，Lagrange 的零知识证明框架，用于确保 AI 的完整性。 DeepProve 不仅通过控制访问来增强零信任架构，还通过证明在授权输入上正确执行了计算。 每个分析输出或 AI 推理都可以携带其自身的正确性证明。

4/ 这个加密层很重要，因为对抗性干扰、伪造的遥测和被破坏的内部系统都可能危及任务结果。 DeepProve 用数学保证取代了假设和手动验证。

5/ 我们将专注于三个核心领域：安全通信与C4ISR、地面和海军任务规划，以及项目合规性 • 安全通信与C4ISR：DeepProve 验证消息、传感器数据和分析输出是否来自经过验证的处理链，并保持未被篡改，这对实时决策至关重要。 • 地面和海军任务规划：自动化规划必须在严格的安全约束内进行。DeepProve 为每个任务规划计算生成防篡改证明，创建每个决策产生过程的可追溯记录。 • 项目合规性：证明支持认证和集成，通过使供应商与政府集成商之间的可审计交接成为可能，并通过验证整个项目生命周期中的处理完整性。