Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference
A sampling-based verification framework for AI inference that replaces full cryptographic proofs with Merkle-tree commitments, reducing proving times from minutes to milliseconds …
