Rational Proofs against Rational Verifiers

Inasawa, K; Yasunaga, K

Yasunaga, K (reprint author), Kanazawa Univ, Inst Sci & Engn, Kanazawa, Ishikawa 9201192, Japan.

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2017; E100A (11): 2392

Abstract

Rational proofs, introduced by Azar and Micali (STOC 2012), are a variant of interactive proofs in which the prover is rational, and may deviate from ......

Full Text Link