Paper 2025/2121 Original: eprint.iacr.org/2025/2121 ↗
Generic and Algebraic Computation Models: When AGM Proofs Transfer to the GGM
Abstract
The Fuchsbauer, Kiltz, and Loss (CRYPTO 2018) claim that (some) hardness results in the algebraic group model imply the same hardness results in the generic group model was recently called into question by Katz, Zhang, and Zhou (ASIACRYPT 2022). The latter gave an interpretation of the claim under which it is incorrect. We give an alternate interpretation under which it is correct, using natural frameworks for capturing generic and algebraic models for arbitrary algebraic structures. Most algebraic analyses in the literature can be captured by our frameworks, making the claim correct for them.
Metadata
- Available format(s)
PDF- Category
- Foundations
- Publication info
- Preprint.
- History
- 2025-11-20: last updated
- 2025-11-20: published
- Short URL
- https://ia.cr/2025/2121
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2025/2121,
author = {Joseph Jaeger and Deep Inder Mohan},
title = {Generic and Algebraic Computation Models: When AGM Proofs Transfer to the GGM},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/2121},
year = {2025},
url = {https://eprint.iacr.org/2025/2121}
}