Rational Proofs with Multiple Provers
Jing Chen, Samuel McCauley, Shikha Singh · 2016
Interactive proofs model a world where a verifier delegates computation to an untrustworthy prover, verifying the prover's claims before accepting them. These proofs have applications to delegation of computation, probabilistically checkable proofs, crowdsourcing, and more.