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.
Type de document :
Article dans une revue
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.2488-2502. 〈10.1109/TIT.2011.2112150〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01110386
Contributeur : Brigitte Briot <>
Soumis le : mercredi 28 janvier 2015 - 10:05:29
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

138