Progress on provable inference for large language models
Anthropic presents FlashProve, a zkSNARK-based system for cryptographic proofs of inference, letting providers prove responses came from a committed model, to support verification and compliance.