مع تشفير ZK، إثبات مخرجات الذكاء الاصطناعي هو: → سريع (لا إعادة تشغيل للحسابات الكاملة) → الكفاءة (براهين تشفير مضغوطة) → قابل للتوسع (يتناسب مع النماذج الحديثة) يجعل DeepProve من لاغرانج كل هذا ممكنا لأنظمة الذكاء الاصطناعي المستخدمة في الدفاع والطيران وما بعدها.