ZK kriptografisiyle yapay zeka çıktılarını kanıtlamak şudur: → Hızlı (tam hesaplamaların tekrarı yok) → Verimli (kompakt kriptografik ispatlar) → Ölçeklenebilir (modern modellerle ölçeklendirilir) Lagrange'ın DeepProle'ı, savunma, havacılık ve ötesinde kullanılan yapay zeka sistemleri için tüm bunları mümkün kılıyor.