Paper 2024/657
Cryptographic Accumulators: New Definitions, Enhanced Security, and Delegatable Proofs
Abstract
Cryptographic accumulators, introduced in 1993 by Benaloh and De Mare, represent a set with a concise value and offer proofs of (non-)membership. Accumulators have evolved, becoming essential in anonymous credentials, e-cash, and blockchain applications. Various properties like dynamic and universal emerged for specific needs, leading to multiple accumulator definitions. In 2015, Derler, Hanser, and Slamanig proposed a unified model, but new properties, including zero-knowledge security, have arisen since. We offer a new definition of accumulators, based on Derler et al.’s, that is suitable for all properties. We also introduce a new security property, unforgeability of private evaluation, to protect accumulator from forgery and we verify this property in Barthoulot, Blazy, and Canard’s recent accumulator. Finally we provide discussions on security properties of accumulators and on the delegatable (non-)membership proofs property.
Metadata
- Available format(s)
-
PDF
- Category
- Public-key cryptography
- Publication info
- Published elsewhere. Major revision. Africacrypt 2024
- Keywords
- Cryptographic accumulatorsDual pairing vector spacesSecurity reductions
- Contact author(s)
-
anais barthoulot @ lirmm fr
olivier blazy @ polytechnique edu
sebastien canard @ telecom-paris fr - History
- 2024-05-02: last of 2 revisions
- 2024-04-29: received
- See all versions
- Short URL
- https://ia.cr/2024/657
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/657,
author = {Anaïs Barthoulot and Olivier Blazy and Sébastien Canard},
title = {Cryptographic Accumulators: New Definitions, Enhanced Security, and Delegatable Proofs},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/657},
year = {2024},
url = {https://eprint.iacr.org/2024/657}
}
