An Abstract Multi-Forking Lemma

Charanjit S Jutla

Paper 2024/2023

An Abstract Multi-Forking Lemma

Charanjit S Jutla, IBM T. J. Watson Research Center

Abstract

In this work we state and prove an abstract version of the multi-forking lemma of Pointcheval and Stern from EUROCRYPT'96. Earlier, Bellare and Neven had given an abstract version of forking lemma for two-collisions (CCS'06). While the original purpose of the forking lemma was to prove security of signature schemes in the random oracle methodology, the abstract forking lemma can be used to obtain security proofs for multi-signatures, group signatures, and compilation of interactive protocols under the Fiat-Shamir random-oracle methodology.

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Preprint.
Keywords: Signatures Group Signatures random oracle fiat-shamir
Contact author(s): csjutla @ us ibm com
History: 2024-12-13: approved; 2024-12-13: received; See all versions
Short URL: https://ia.cr/2024/2023
License: CC BY

BibTeX

@misc{cryptoeprint:2024/2023,
      author = {Charanjit S Jutla},
      title = {An Abstract Multi-Forking Lemma},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/2023},
      year = {2024},
      url = {https://eprint.iacr.org/2024/2023}
}