Lagrange Labs jest teraz zatwierdzonym dostawcą w @generaldynamics Enterprise Supplier Portal. Jako zatwierdzony dostawca, nasze technologie weryfikacji kryptograficznej są teraz widoczne dla zespołów poszukujących zaawansowanej pewności AI oraz integralności danych w modelu Zero Trust dla rządu i obrony.

2/ General Dynamics wspiera systemy misji w obszarach lądowych, morskich, powietrznych, cybernetycznych oraz C4ISR. Dołączenie do tego ekosystemu jako zatwierdzony dostawca odzwierciedla szerszy trend w kierunku technologii obronnych, które mogą weryfikować poprawność, pochodzenie i bezpieczeństwo w czasie rzeczywistym.

3/ W centrum tej pracy znajduje się DeepProve, ramy dowodów zerowej wiedzy Lagrange'a dla integralności AI. DeepProve wzmacnia architektury Zero Trust nie tylko poprzez kontrolowanie dostępu, ale także poprzez udowadnianie, że obliczenia zostały wykonane poprawnie na autoryzowanych danych wejściowych. Każdy wynik analityczny lub wnioskowanie AI może zawierać własny dowód poprawności.

4/ Ta warstwa kryptograficzna ma znaczenie, ponieważ wrogie zakłócenia, fałszywa telemetria i uszkodzone systemy wewnętrzne mogą zagrozić wynikom misji. DeepProve zastępuje założenia i ręczną walidację matematycznym zapewnieniem.

5/ Będziemy działać w trzech kluczowych obszarach: Bezpieczna komunikacja i C4ISR, planowanie misji lądowych i morskich oraz zgodność programowa • Bezpieczna komunikacja i C4ISR: DeepProve weryfikuje, że wiadomości, dane z czujników i wyniki analityczne pochodzą z zweryfikowanych łańcuchów przetwarzania i pozostają nienaruszone, co jest kluczowe dla podejmowania decyzji w czasie rzeczywistym. • Planowanie misji lądowych i morskich: Zautomatyzowane planowanie musi działać w ramach ścisłych ograniczeń bezpieczeństwa. DeepProve generuje dowody odporne na manipulacje dla każdego obliczenia planowania misji, tworząc odpowiedzialny zapis tego, jak każda decyzja została podjęta. • Zgodność programowa: Dowody wspierają akredytację i integrację, umożliwiając audytowalne przekazy między dostawcami a integratorami rządowymi oraz weryfikując integralność przetwarzania w całym cyklu życia programów.