Paper 2017/1029

Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge

Pyrros Chaidos and Geoffroy Couteau


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.

Available format(s)
Public-key cryptography
Publication info
Preprint. MINOR revision.
Zero-knowledge proofsNon-interactive proofs.
Contact author(s)
geoffroy couteau @ ens fr
2018-03-28: revised
2017-10-28: received
See all versions
Short URL
Creative Commons Attribution


      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},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.