  Motivated by the fact that input distributions are often unknown in advance,
distribution-free property testing considers a setting in which the algorithmic
task is to accept functions $f : [n] \to \{0,1\}$ having a certain property
$\Pi$ and reject functions that are $\epsilon$-far from $\Pi$, where the
distance is measured according to an arbitrary and unknown input distribution
$D \sim [n]$. As usual in property testing, the tester is required to do so
while making only a sublinear number of input queries, but as the distribution
is unknown, we also allow a sublinear number of samples from the distribution
$D$.
  In this work we initiate the study of distribution-free interactive proofs of
proximity (df-IPP) in which the distribution-free testing algorithm is assisted
by an all powerful but untrusted prover. Our main result is a df-IPP for any
problem $\Pi \in NC$, with $\tilde{O}(\sqrt{n})$ communication, sample, query,
and verification complexities, for any proximity parameter
$\epsilon>1/\sqrt{n}$. For such proximity parameters, this result matches the
parameters of the best-known general purpose IPPs in the standard uniform
setting, and is optimal under reasonable cryptographic assumptions.
  For general values of the proximity parameter $\epsilon$, our
distribution-free IPP has optimal query complexity $O(1/\epsilon)$ but the
communication complexity is $\tilde{O}(\epsilon \cdot n + 1/\epsilon)$, which
is worse than what is known for uniform IPPs when $\epsilon<1/\sqrt{n}$. With
the aim of improving on this gap, we further show that for IPPs over
specialised, but large distribution families, such as sufficiently smooth
distributions and product distributions, the communication complexity can be
reduced to $\epsilon\cdot n\cdot(1/\epsilon)^{o(1)}$ (keeping the query
complexity roughly the same as before) to match the communication complexity of
the uniform case.
