2 papers
cs.CC2026
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…
cs.CR2023
Correlated Pseudorandomness from the Hardness of Quasi-Abelian Decoding
Maxime Bombar, Geoffroy Couteau, Alain Couvreur +1
Secure computation often benefits from the use of correlated randomness to achieve fast, non-cryptographic online protocols. A recent paradigm put forth by Boyle …