TY - GEN
T1 - Cryptographic Accumulators
T2 - 15th International Conference on Cryptology in Africa, AFRICACRYPT 2024
AU - Barthoulot, Anaïs
AU - Blazy, Olivier
AU - Canard, Sébastien
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
PY - 2024/1/1
Y1 - 2024/1/1
N2 - 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.
AB - 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.
KW - Cryptographic accumulators
KW - Dual pairing vector spaces
KW - Security reductions
U2 - 10.1007/978-3-031-64381-1_5
DO - 10.1007/978-3-031-64381-1_5
M3 - Conference contribution
AN - SCOPUS:85200409635
SN - 9783031643804
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 94
EP - 119
BT - Progress in Cryptology - AFRICACRYPT 2024 - 15th International Conference on Cryptology in Africa, 2024, Proceedings
A2 - Vaudenay, Serge
A2 - Petit, Christophe
A2 - Petit, Christophe
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 10 July 2024 through 12 July 2024
ER -