Multi-prover interactive proof