Multi-prover interactive proof
Redirect to:
Interactive proof system#MIP