Lagrange Labs hiện là nhà cung cấp được phê duyệt trong Cổng thông tin Nhà cung cấp Doanh nghiệp của @generaldynamics. Là một nhà cung cấp được phê duyệt, các công nghệ xác minh mật mã của chúng tôi hiện đã được các đội ngũ tìm kiếm sự đảm bảo AI tiên tiến và tính toàn vẹn dữ liệu Zero Trust cho chính phủ và quốc phòng.

2/ General Dynamics cung cấp các hệ thống nhiệm vụ trên các lĩnh vực đất, biển, không khí, mạng và C4ISR. Việc gia nhập hệ sinh thái này với tư cách là nhà cung cấp được phê duyệt phản ánh một sự chuyển mình rộng lớn hơn về công nghệ quốc phòng có thể xác minh tính chính xác, nguồn gốc và độ an toàn với tốc độ hoạt động.

3/ Tại trung tâm của công việc này là DeepProve, khung chứng minh không biết của Lagrange cho tính toàn vẹn của AI. DeepProve củng cố các kiến trúc Zero Trust không chỉ bằng cách kiểm soát quyền truy cập, mà còn bằng cách chứng minh rằng các phép toán đã được thực hiện chính xác trên các đầu vào được ủy quyền. Mỗi đầu ra phân tích hoặc suy diễn AI có thể mang theo chứng minh tính chính xác của riêng nó.

4/ Lớp mã hóa này quan trọng vì sự can thiệp từ đối thủ, dữ liệu giả mạo và hệ thống nội bộ bị hỏng có thể đe dọa đến kết quả nhiệm vụ. DeepProve thay thế giả định và xác thực thủ công bằng sự đảm bảo toán học.

5/ Chúng tôi sẽ xây dựng trên ba lĩnh vực cốt lõi: Giao tiếp an toàn & C4ISR, lập kế hoạch nhiệm vụ trên mặt đất và hải quân, và tuân thủ chương trình • Giao tiếp an toàn & C4ISR: DeepProve xác minh rằng các tin nhắn, dữ liệu cảm biến và đầu ra phân tích xuất phát từ các chuỗi xử lý đã được xác thực và không bị can thiệp, điều này rất quan trọng cho việc ra quyết định theo thời gian thực. • Lập kế hoạch nhiệm vụ trên mặt đất & hải quân: Lập kế hoạch tự động phải hoạt động trong các ràng buộc an toàn nghiêm ngặt. DeepProve tạo ra các chứng cứ không thể bị giả mạo cho mỗi phép toán lập kế hoạch nhiệm vụ, tạo ra một hồ sơ có thể truy cứu về cách mà mỗi quyết định được đưa ra. • Tuân thủ chương trình: Các chứng cứ hỗ trợ việc cấp phép và tích hợp bằng cách cho phép các chuyển giao có thể kiểm toán giữa các nhà cung cấp và các nhà tích hợp chính phủ và bằng cách xác minh tính toàn vẹn của quá trình trong suốt vòng đời chương trình.