Lagrange Labs hiện đã trở thành nhà cung cấp được phê duyệt trong Cổng thông tin Nhà cung cấp Doanh nghiệp của General Dynamics, cho phép các nhóm trong tổ chức khám phá và đánh giá DeepProve. General Dynamics cung cấp các hệ thống nhiệm vụ trên đất liền, trên biển, trên không, trong không gian mạng và C4ISR—các lĩnh vực phụ thuộc vào dữ liệu đáng tin cậy và tính chính xác có thể xác minh. Việc chúng tôi được đưa vào danh sách phản ánh nhu cầu ngày càng tăng đối với các công nghệ có thể chứng minh về mặt toán học tính toàn vẹn, nguồn gốc và an toàn của các quy trình làm việc trong quốc phòng được hỗ trợ bởi AI. DeepProve, khung chứng minh không biết của chúng tôi, cung cấp xác minh mật mã trên dữ liệu quốc phòng và các quy trình AI, 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. Điều này củng cố khả năng chống lại các tín hiệu giả mạo, hệ thống nội bộ bị hỏng và sự can thiệp của đối thủ. Trong các môi trường truyền thông an toàn và C4ISR, DeepProve đảm bảo rằng các tin nhắn, đầu ra cảm biến và sản phẩm 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 trong suốt vòng đời của chúng. Đối với các nền tảng trên mặt đất và hải quân, các chứng minh mật mã cung cấp một bản ghi không thể giả mạo về cách mỗi quyết định lập kế hoạch nhiệm vụ được tạo ra, xác minh việc tuân thủ các ràng buộc đã được phê duyệt mà không tiết lộ các mô hình nhạy cảm. Trên toàn bộ cơ sở công nghiệp quốc phòng, những chứng minh này hỗ trợ việc tuân thủ chương trình và tích hợp bằng cách cho phép chuyển giao nhà cung cấp có thể kiểm toán, kiểm tra tính toàn vẹn qua các giai đoạn phát triển và bằng chứng rõ ràng cho các đánh giá về chứng nhận và sẵn sàng cho nhiệm vụ. Khi các hệ thống tự động và được hỗ trợ bởi AI mở rộng trong lĩnh vực quốc phòng, DeepProve đảm bảo rằng chúng không chỉ hoạt động—mà còn có thể chứng minh rằng chúng đã hoạt động chính xác. Việc chúng tôi được liệt kê trong hệ sinh thái nhà cung cấp của General Dynamics giúp thúc đẩy tính tự chủ có trách nhiệm, an toàn và có thể xác minh cho các ứng dụng quan trọng cho nhiệm vụ.