Paper 2024/2023 Original: eprint.iacr.org/2024/2023 ↗
An Abstract Multi-Forking Lemma
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.
- History
- 2024-12-13: last updated
- 2024-12-13: published
- Short URL
- https://ia.cr/2024/2023
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}