DeepProve: Cryptographically Proving AI Inferences for Enhanced Trust

TL;DR;

DeepProve is a zkML system designed to provide cryptographic proofs for AI inferences, ensuring verifiable AI outputs at scale. It addresses the dangers of relying on institutional reputation for AI trust by allowing developers to prove that a model produced a specific output with a specific input, without revealing the model itself. DeepProve achieves significant speed improvements through the Lagrange Prover Network (LPN) and DARA, a double auction system for coordinating proof requests, ultimately enhancing the trustworthiness of AI decisions.