How to Make Rational Arguments Practical and Extractable

ePrint Report: How to Make Rational Arguments Practical and Extractable

Matteo Campanelli, Chaya Ganesh, Rosario Gennaro

We investigate proof systems where security holds against rational parties instead of malicious ones. Our starting point is the notion of rational arguments}, a variant of rational proofs (Azar and Micali, STOC 2012) where security holds against rational adversaries that are also computationally bounded.


Rational arguments are an interesting primitive because they allow for sublinear verification and a more efficient protocol in general. In …

chaya eprint report malicious notion point proof report security systems