Cryptographic Accumulators: New Definitions, Enhanced Security, and Delegatable Proofs - Télécom Paris Access content directly
Conference Papers Year : 2024

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.
Fichier principal
Vignette du fichier
main.pdf (400.42 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence

Dates and versions

hal-04618343 , version 1 (20-06-2024)

Licence

Identifiers

  • HAL Id : hal-04618343 , version 1

Cite

Anaïs Barthoulot, Olivier Blazy, Sébastien Canard. Cryptographic Accumulators: New Definitions, Enhanced Security, and Delegatable Proofs. AFRICACRYPT 2024 - 15th International Conference on Cryptology, Jul 2024, Douala, Cameroon. In press. ⟨hal-04618343⟩
0 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More