Lagrange 正在为国防、航空航天和政府生态系统开创加密验证（Anduril, @RTX_NEWS, @generaldynamics, @LockheedMartin 等） 我们的使命是将加密技术转变为保护我们的系统的战略资产 了解更多：🧵

2/ 现代防御平台越来越多地由自主性、AI驱动的决策和软件定义的工作流程定义，这些工作流程涵盖了监视、任务规划、通信和指挥控制。 随着这些系统承担更大的责任，单靠性能已不再足够。任务系统必须能够在操作速度下证明其正确性、完整性和合规性。

3/ Anduril：构建可验证的自主用例 在*Anduril的Lattice SDK™中，Lagrange将DeepProve集成到一个自主侦察管道中。 每个阶段——接近检测、战术分类（EVADE / INTERCEPT / SURVEILLANCE）和运动计算——都会在决策的同时发出一个加密证明，证明自主性和验证可以共存，而不牺牲操作节奏。 *Anduril Lattice™和Lattice SDK™是Anduril™的财产。

4/ 雷神公司：用于传感和武器系统的密码完整性 拉格朗日现在已成为@RTX_NEWS供应商网络中的注册供应商，使DeepProve作为一种生产就绪的能力可用于任务数据和AI驱动系统的密码验证。 通过将证明附加到传感器融合、遥测和机载AI输出，DeepProve帮助验证输入未被篡改，固件未被破坏，并且安全约束得到了遵守——增强了认证并支持更安全的现场系统。

5/ 甲骨文：用于国防、航空航天和政府的可验证AI Lagrange 加入了 @Oracle 合作伙伴网络，以在 Oracle 云基础设施（OCI）主权和任务云环境中构建可验证的 AI 用例，这些环境专为国防、航空航天和政府工作负载而设计。 通过将 DeepProve 扩展到 OCI 的高保障环境，Lagrange 实现了 AI 推理、传感器来源和任务工作流程的加密验证，*而不*暴露敏感数据或专有逻辑。

6/ 洛克希德·马丁：航空航天与国防的负责任自主 拉格朗日实验室作为注册供应商加入了@LockheedMartin的供应商生态系统，支持航空航天和国防项目中的AI保障和零信任数据完整性。 DeepProve提供加密证据，证明用于航空电子、任务规划和ISR融合的AI模型在经过批准的数据和授权约束下运行——支持认证、安全审查和联盟互操作性，而不暴露敏感的遥测数据。

7/ 通用动力：零信任AI保障 拉格朗日实验室加入了@GeneralDynamics供应商生态系统，以开发加密基础设施，以支持政府、国家安全和国防应用中的AI保障和零信任数据完整性。 DeepProve将零信任原则扩展到访问控制之外，通过证明分析和AI驱动的输出在授权输入上正确执行，支持安全通信、C4ISR和地面及海军平台的自动化任务规划。

8/ Vulcan-SOF：扩展可见性与部署路径 Lagrange 加入了 Vulcan-SOF 技术门户，扩大了在特种作战生态系统中的可发现性。这确保了 DeepProve 对于评估高保障 AI 和零信任架构的团队是可见的。