Interactive Proofs of Proximity for Model Evaluation
This formulation separates sampling the input distribution from querying the model and evaluating its output; distinguishes real audit data from generated data; distinguishes real audit data from generated data (chosen-randomness, or gray-box, access to the sampler); and allows the prover and verifier to use different...