Abstract:Interactive proofs model a world where a veri fi er 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 veri fi er 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 than untrustworthy-he may lie, but only to increase his payment. This allows the veri fi er to leverage the greed of the prover to obtain better protocols: while rational proofs are no more powerful than interactive proofs, the protocols are simpler and more e ffi cient. Azar and Micali posed as an open problem whether multiple provers are more powerful than one for rational proofs.We provide a model that extends rational proofs to allow multiple provers. In this model, a veri fi er can cross-check the answers received by asking several provers. The veri fi er can pay the provers according to the quality of their work, incentivizing them to provide correct information.We analyze rational proofs with multiple provers from a complexity- theoretic point of view. We fully characterize this model by giving tight upper and lower bounds on its power. On the way, we resolve Azar and Micali's open problem in the a ffi rmative, showing that multiple rational provers are strictly more powerful than one (under standard complexity- theoretic assumptions). We further show that the full power of rational proofs with multiple provers can be achieved using only two provers and fi ve rounds of interaction. Finally, we consider more demanding models where the veri fi er wants the provers' payment to decrease significantly when they are lying, and fully characterize the power of the model when the payment gap must be noticeable (i. e., at least 1/p where p is a polynomial).

Rational Arithmetic with a Round-Off

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

A Probabilistic Approach to Floating-Point Arithmetic

Best rational approximations of an irrational number

Simulating a coin with irrational bias using rational arithmetic

On Rational Number Reconstruction and Approximation

Rational numbers with small denominators in short intervals

Rational approximation with digit-restricted denominators

Rational Approximations to Certain Algebraic Numbers

Probabilistic error analysis of limited-precision stochastic rounding

On the precision attainable with various floating-point number systems

Extending Answer Set Programming with Rational Numbers

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars

Approximate construction of rational approximations and the effect of error autocorrection. Applications

On the Rational Degree of Boolean Functions and Applications

Rational minimax approximation via adaptive barycentric representations

Elfficient Exact Arithmetic Over Constructive Reals

Efficient Rational Proofs with Strong Utility-Gap Guarantees

Rational Proofs with Multiple Provers.

Effective irrationality measures for real and $p$-adic roots of rational numbers close to $1$, with an application to parametric families of Thue-Mahler equations