Skip to Main content Skip to Navigation
Journal articles

Zero-Knowledge Sets With Short Proofs

Dario Catalano 1 Mario Di Raimondo 1 Dario Fiore 2 Mariagrazia Messina 3
2 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Zero knowledge sets (ZKS), introduced by Micali, Rabin, and Kilian in 2003, allow a prover to commit to a secret set S in a way such that it can later prove, non interactively, statements of the form x ∈ S (or x ∉ S), without revealing any further information (on top of what explicitly revealed by the inclusion/exclusion statements above) on S, not even its size. Later, Chase abstracted away the Micali, Rabin, and Kilian's construction by introducing an elegant new variant of commitments that they called (trapdoor) mercurial commitments. Using this primitive, it was shown how to construct zero knowledge sets from a variety of assumptions (both general and number theoretic). This paper introduces the notion of trapdoor q -mercurial commitments (ssr qTMCs), a notion of mercurial commitment that allows the sender to commit to an ordered sequence of exactly q messages, rather than to a single one. Following the previous work, it is shown how to construct ZKS from ssr qTMCs and collision resistant hash functions. Then, it is presented an efficient realization of ssr qTMCs that is secure under the so called Strong Diffie Hellman (SDH) assumption, a number theoretic conjecture recently introduced by Boneh and Boyen. Using such scheme as basic building block, it is obtained a construction of ZKS that allows for proofs that are much shorter with respect to the best previously known implementations. In particular, for an appropriate choice of the parameters, our proofs are up to 33% shorter for the case of proofs of membership, and up to 73% shorter for the case of proofs of nonmembership. Experimental tests confirm practical time performances.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01110386
Contributor : Brigitte Briot <>
Submitted on : Wednesday, January 28, 2015 - 10:05:29 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Links full text

Identifiers

Collections

Citation

Dario Catalano, Mario Di Raimondo, Dario Fiore, Mariagrazia Messina. Zero-Knowledge Sets With Short Proofs . IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.2488-2502. ⟨10.1109/TIT.2011.2112150⟩. ⟨hal-01110386⟩

Share

Metrics

Record views

256