ZK暗号技術では、AIの出力を証明することは次の通りです: → 高速(完全な計算の再実行なし) → 効率的(コンパクトな暗号証明) → スケーラブル(現代モデルにスケール) ラグランジュのDeepProveは、これらすべてを防衛、航空宇宙、そしてそれ以外の分野で使うAIシステムに可能にしています。