Lagrange Labs 現在已成為 @generaldynamics 企業供應商入口網站的批准供應商。 作為一個批准的供應商，我們的加密驗證技術現在對尋求先進 AI 保證和零信任數據完整性的政府和防務團隊可見。

2/ 通用動力公司在陸地、海洋、空中、網絡和C4ISR領域推動任務系統。 作為經批准的供應商加入這個生態系統，反映了向能夠在操作速度下驗證正確性、來源和安全性的防禦技術的更廣泛轉變。

3/ 本工作的核心是 DeepProve，Lagrange 的零知識證明框架，用於 AI 的完整性。 DeepProve 不僅通過控制訪問來加強零信任架構，還通過證明計算在授權輸入上正確執行來實現。 每個分析輸出或 AI 推斷都可以攜帶其自身的正確性證明。

4/ 這個加密層很重要，因為對抗性干擾、偽造的遙測和損壞的內部系統都可能危及任務結果。 DeepProve 用數學保證取代假設和手動驗證。

5/ 我們將在三個核心領域進行建設：安全通信與C4ISR、地面和海軍任務規劃，以及計劃合規性 • 安全通信與C4ISR：DeepProve 驗證消息、傳感器數據和分析輸出來自經過驗證的處理鏈，並保持未被篡改，這對於實時決策至關重要。 • 地面和海軍任務規劃：自動化規劃必須在嚴格的安全約束內運行。DeepProve 為每個任務規劃計算生成可篡改證明，創建每個決策產生過程的可追溯記錄。 • 計劃合規性：證明支持認證和整合，通過使供應商和政府整合者之間的可審計交接成為可能，並通過驗證整個計劃生命周期中的處理完整性。