Cryptology ePrint Archive: Report 2012/306
Efficient Threshold Zero-Knowledge with Applications to User-Centric Protocols
Marcel Keller and Gert Læssøe Mikkelsen and Andy Rupp
Abstract: In this paper, we investigate on threshold proofs, a framework for distributing the prover’s side of
interactive proofs of knowledge over multiple parties. Interactive proofs of knowledge (PoK) are widely used
primitives of cryptographic protocols, including important user-centric protocols, such as identification schemes,
electronic cash (e-cash), and anonymous credentials.
We present a security model for threshold proofs of knowledge and develop threshold versions of well-known
primitives such as range proofs, zero-knowledge proofs for preimages of homomorphisms (which generalizes PoKs
of discrete logarithms, representations, p-th roots, etc.), as well as OR statements. These building blocks are proven
secure in our model.
Furthermore, we apply the developed primitives and techniques in the context of user-centric protocols. In particular,
we construct distributed-user variants of Brands’ e-cash system and the bilinear anonymous credential scheme by
Camenisch and Lysyanskaya. Distributing the user party in such protocols has several practical advantages: First, the
security of a user can be increased by sharing secrets and computations over multiple devices owned by the user. In
this way, losing control of a single device does not result in a security breach. Second, this approach also allows
groups of users to jointly control an application (e.g., a joint e-cash account), not giving a single user full control.
The distributed versions of the protocols we propose in this paper are relatively efficient (when compared to a general
MPC approach). In comparison to the original protocols only the prover’s (or user’s) side is modified while the other
side stays untouched. In particular, it is oblivious to the other party whether it interacts with a distributed prover (or
user) or one as defined in the original protocol.
Category / Keywords: cryptographic protocols / Multiparty computation, threshold cryptography, distributed provers, \Sigma-protocols, e-cash, anonymous credentials
Publication Info: Will be published at "6th International Conference on Information-Theoretic Security (ICITS) 2012"
Date: received 31 May 2012
Contact author: gert l mikkelsen at alexandra dk
Available format(s): PDF | BibTeX Citation
Version: 20120603:213734 (All versions of this report)
Short URL: ia.cr/2012/306
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]