Supporting Non-membership Proofs with Bilinear-map  Accumulators

Ivan Damgård; Nikos Triandopoulos

Paper 2008/538

Supporting Non-membership Proofs with Bilinear-map Accumulators

Ivan Damgård and Nikos Triandopoulos

Abstract

In this short note, we present an extension of Nguyen's bilinear-map based accumulator scheme to support \emph{non-membership witnesses} and corresponding \emph{non-membership proofs}, i.e., cryptographic proofs that an element has not been accumulated to a given set. This complements the non-membership proofs developed by Li \emph{et al.} for the RSA accumulator, making the functionality of the bilinear-map accumulator equivalent to that of the RSA accumulator. Our non-membership extension of Nguyen's scheme makes use of the $q$-Strong Diffie-Hellman assumption the security of the original scheme is based on.

Metadata

Available format(s): PDF
Category: Public-key cryptography
Publication info: Published elsewhere. Unknown where it was published
Keywords: accumulators non-membership proofs
Contact author(s): nikos @ cs au dk
History: 2008-12-28: received
Short URL: https://ia.cr/2008/538
License: CC BY

BibTeX

@misc{cryptoeprint:2008/538,
      author = {Ivan Damgård and Nikos Triandopoulos},
      title = {Supporting Non-membership Proofs with Bilinear-map  Accumulators},
      howpublished = {Cryptology ePrint Archive, Paper 2008/538},
      year = {2008},
      note = {\url{https://eprint.iacr.org/2008/538}},
      url = {https://eprint.iacr.org/2008/538}
}