Cryptology ePrint Archive: Report 2019/1261
On Round-By-Round Soundness and State Restoration Attacks
Justin Holmgren
Abstract: We show that the recently introduced notion of round-by-round soundness for
interactive proofs (Canetti et al.; STOC 2019) is equivalent to the notion of
soundness against state restoration attacks (Ben-Sasson, Chiesa, and Spooner;
TCC 2016). We also observe that neither notion is implied by the
random-oracle security of the Fiat-Shamir transform.
Category / Keywords: cryptographic protocols / Interactive Proofs, Fiat-Shamir, Round-By-Round Soundness, State Restoration Attacks
Date: received 30 Oct 2019
Contact author: holmgren at alum mit edu
Available format(s): PDF | BibTeX Citation
Version: 20191105:080350 (All versions of this report)
Short URL: ia.cr/2019/1261
[ Cryptology ePrint archive ]