@article{Chen2016RationalPW,
title={Rational Proofs with Multiple Provers},
author={J. Chen and Samuel McCauley and Shikha Singh},
journal={Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science},
year={2016}
}

Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science

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. In some of these applications, the verifier may pay the prover based on the quality of his work. Rational proofs, introduced by Azar and Micali (2012), are an interactive proof model in which the prover is rational rather… Expand