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