Lagrange Labs è ora un fornitore approvato all'interno del portale fornitori dell'@generaldynamics Enterprise Supplier Portal. Come fornitore approvato, le nostre tecnologie di verifica crittografica sono ora visibili ai team che cercano un'assicurazione avanzata sull'AI e l'integrità dei dati Zero Trust per il governo e la difesa.

2/ General Dynamics alimenta i sistemi di missione in tutti i domini: terra, mare, aria, cyberspazio e C4ISR. Entrare in questo ecosistema come fornitore approvato riflette un cambiamento più ampio verso le tecnologie di difesa che possono verificare la correttezza, la provenienza e la sicurezza a velocità operativa.

3/ Al centro di questo lavoro c'è DeepProve, il framework di proof a conoscenza zero di Lagrange per l'integrità dell'AI. DeepProve rafforza le architetture Zero Trust non solo controllando l'accesso, ma dimostrando che i calcoli sono stati eseguiti correttamente su input autorizzati. Ogni output analitico o inferenza AI può portare la propria prova di correttezza.

4/ Questo strato crittografico è importante perché l'interferenza avversaria, la telemetria falsificata e i sistemi interni corrotti possono compromettere i risultati della missione. DeepProve sostituisce l'assunzione e la validazione manuale con una garanzia matematica.

5/ Costruiremo in tre aree principali: comunicazioni sicure e C4ISR, pianificazione delle missioni terrestri e navali, e conformità ai programmi • Comunicazioni sicure e C4ISR: DeepProve verifica che i messaggi, i dati dei sensori e le uscite analitiche provengano da catene di elaborazione validate e rimangano intatti, critico per il processo decisionale in tempo reale. • Pianificazione delle missioni terrestri e navali: La pianificazione automatizzata deve operare entro rigorosi vincoli di sicurezza. DeepProve genera prove a prova di manomissione per ogni calcolo di pianificazione delle missioni, creando un registro responsabile di come è stata presa ogni decisione. • Conformità ai programmi: Le prove supportano l'accreditamento e l'integrazione consentendo passaggi auditabili tra fornitori e integratori governativi e verificando l'integrità del processo durante i cicli di vita dei programmi.