Lagrange Labsは現在、@generaldynamics Enterprise Supplier Portalの承認サプライヤーとなっています。 承認されたサプライヤーとして、当社の暗号認証技術は、政府および防衛のための高度なAI保証やゼロトラストデータ整合性を求めるチームに公開されています。

2/ ジェネラル・ダイナミクスは陸、海、空、サイバー、C4ISR領域にわたるミッションシステムを支えています。 このエコシステムに承認されたサプライヤーとして参加することは、運用速度で正確性、出所、安全性を検証できる防衛技術への広範なシフトを反映しています。

3/ この研究の中心には、AIの完全性のためのゼロ知識証明フレームワークであるDeepProveがあります。 DeepProveは、アクセス制御だけでなく、認可された入力に対して計算が正しく実行されたことを証明することでゼロトラストアーキテクチャを強化します。 すべての解析出力やAI推論は、それぞれの正確性の証明を持ち得ます。

4/ この暗号層は重要です。なぜなら、敵対的な干渉、偽装されたテレメトリ、破損した内部システムがすべて任務の結果を危うくする可能性があるからです。 DeepProveは仮定や手動検証を数学的な保証に置き換えます。

5/ 私たちは、安全な通信とC4ISR、地上および海軍のミッション計画、プログラムコンプライアンスの3つの主要分野で構築します • 安全な通信およびC4ISR:DeepProveは、メッセージ、センサーデータ、分析出力が検証済みの処理チェーンから発信され、改ざんされていないことを検証し、リアルタイムの意思決定に不可欠です。 ・地上および海軍の任務計画:自動計画は厳格な安全制約のもとで運用されなければなりません。DeepProveは各ミッション計画計算に対してタンパーアンド可能な証明を生成し、すべての意思決定がどのように作成されたかを説明責任ある記録として作成します。 ・プログラム準拠:プルーフはベンダーと政府インテグレーター間の監査可能なハンドオフを可能にし、プログラムライフサイクル全体にわたる処理の整合性を検証することで認定と統合を支援します。