Lagrange 正在為國防、航空航天和政府生態系統開創加密驗證的先河（Anduril, @RTX_NEWS, @generaldynamics, @LockheedMartin 等） 我們的使命是將加密技術轉變為保護我們的系統的戰略資產 了解更多：🧵

2/ 現代防禦平台越來越多地由自主性、AI 驅動的決策和在監視、任務規劃、通信和指揮控制中的軟體定義工作流程所定義。 隨著這些系統承擔更大的責任，僅僅依賴性能已經不再足夠。任務系統必須能夠在操作速度下證明其正確性、完整性和合規性。

3/ Anduril：建立可驗證的自主用例 在*Anduril的Lattice SDK™中，Lagrange將DeepProve整合到自主偵察管道中。 每個階段——接近檢測、戰術分類（EVADE / INTERCEPT / SURVEILLANCE）和運動計算——都會在決策的同時發出一個加密證明，展示自主性和驗證可以共存，而不會犧牲操作節奏。 *Anduril Lattice™和Lattice SDK™是Anduril™的財產

4/ 雷神公司：感測與武器系統的加密完整性 Lagrange 現在已成為 @RTX_NEWS 供應商網絡中的註冊供應商，使 DeepProve 成為可用於任務數據和 AI 驅動系統的生產就緒加密驗證能力。 通過將證明附加到感測器融合、遙測和機載 AI 輸出，DeepProve 幫助驗證輸入未被篡改、韌體未被破壞，並且安全約束得到了遵守——加強了認證並支持更安全的現場系統。

5/ Oracle：可驗證的 AI 用於國防、航空航天和政府 Lagrange 加入了 @Oracle 夥伴網絡，以在 Oracle Cloud Infrastructure (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 和零信任架構的團隊是可見的。