On Round-By-Round Soundness and State Restoration Attacks

Justin Holmgren

Paper 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.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint. MINOR revision.
Keywords: Interactive Proofs Fiat-Shamir Round-By-Round Soundness State Restoration Attacks
Contact author(s): holmgren @ alum mit edu
History: 2019-11-05: received
Short URL: https://ia.cr/2019/1261
License: CC BY

BibTeX

@misc{cryptoeprint:2019/1261,
      author = {Justin Holmgren},
      title = {On Round-By-Round Soundness and State Restoration Attacks},
      howpublished = {Cryptology ePrint Archive, Paper 2019/1261},
      year = {2019},
      note = {\url{https://eprint.iacr.org/2019/1261}},
      url = {https://eprint.iacr.org/2019/1261}
}