178
click to vote
TCC
2016
Springer
10 years 3 months ago
2016
Springer
Rational proofs, introduced by Azar and Micali (STOC 2012) are a variant of interactive proofs in which the prover is neither honest nor malicious, but rather rational. The advanta...
167
Voted
TCC
2016
Springer
10 years 3 months ago
2016
Springer
A Probabilistically Checkable Proof (PCP) allows a randomized verifier, with oracle access to a purported proof, to probabilistically verify an input statement of the form “x ...