Interactive Proofs of Proximity for Model Evaluation

Geoffroy Couteau, Nikolas Melissaris, Tamara Paris

We study interactive proofs of proximity (IPPs) for model evaluation, where a resource-limited verifier interacts with an untrusted prover, typically the model owner, to certify st…