Paper 2026/1171
Forensic categories: a framework for SQIsign-like primitives
, IBM Research Europe, Zurich, Switzerland, IBM Research Europe, Zurich, Switzerland, IBM Research India, Bangalore, India, ENS de Lyon, CNRS, UMPA, UMR 5669, Lyon, FranceAbstract
Using the language of categories, we introduce a novel framework abstracting the key algorithmic features of the Deuring correspondence between supersingular elliptic curves and quaternion orders and of the post-quantum signature scheme SQIsign based on it. We then show how to construct an interactive identification scheme and digital signature within this framework, and also instantiate more advanced primitives, such as a chameleon hash function. We present two distinct instantiations of the framework based on isogenies of supersingular elliptic curves: the first recovers (one-dimensional) SQIsign, while the second leads to the recently published SQInstructor.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- Isogeny-based cryptographyApplications of categoriesSQIsignChameleon hash function
- Contact author(s)
-
andrea basso @ ibm com
iacr-papers @ defeo lu
sikhar patranabis @ ibm com
ilinca radulescu @ ens-lyon fr
benjamin wesolowski @ ens-lyon fr - History
- 2026-06-08: approved
- 2026-06-04: received
- See all versions
- Short URL
- https://ia.cr/2026/1171
- License
-
CC BY-SA
BibTeX
@misc{cryptoeprint:2026/1171,
author = {Andrea Basso and Luca De Feo and Sikhar Patranabis and Ilinca Radulescu and Benjamin Wesolowski},
title = {Forensic categories: a framework for {SQIsign}-like primitives},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/1171},
year = {2026},
url = {https://eprint.iacr.org/2026/1171}
}
