Paper 2017/1029
Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge
Pyrros Chaidos and Geoffroy Couteau
Abstract
We propose a framework for constructing efficient designated-verifier non-interactive zero-knowledge proofs (DVNIZK) for a wide class of algebraic languages over abelian groups, under standard assumptions. The proofs obtained via our framework are proofs of knowledge, enjoy statistical, and unbounded soundness (the soundness holds even when the prover receives arbitrary feedbacks on previous proofs). Previously, no efficient DVNIZK system satisfying any of those three properties was known. Our framework allows proving arbitrary relations between cryptographic primitives such as Pedersen commitments, ElGamal encryptions, or Paillier encryptions, in an efficient way. For the latter, we further exhibit the first non-interactive zero-knowledge proof system in the standard model that is more efficient than proofs obtained via the Fiat-Shamir transform, with still-meaningful security guarantees and under standard assumptions. Our framework has numerous applications, in particular for the design of efficient privacy-preserving non-interactive authentication.
Metadata
- Available format(s)
-
PDF
- Category
- Public-key cryptography
- Publication info
- Preprint. MINOR revision.
- Keywords
- Zero-knowledge proofsNon-interactive proofs.
- Contact author(s)
- geoffroy couteau @ ens fr
- History
- 2018-03-28: revised
- 2017-10-28: received
- See all versions
- Short URL
- https://ia.cr/2017/1029
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2017/1029,
author = {Pyrros Chaidos and Geoffroy Couteau},
title = {Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge},
howpublished = {Cryptology {ePrint} Archive, Paper 2017/1029},
year = {2017},
url = {https://eprint.iacr.org/2017/1029}
}
