Designated verifier proofs and their applications

Markus Jakobsson, Kazue Sako, Russell Impagliazzo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

638 Citations (Scopus)


For many proofs of knowledge it is important that only the verifier designated by the confirmer can obtain any conviction of the cor- rectness of the proof. A good example of such a situation is for undeniable signatures, where the confirmer of a signature wants to make sure that only the intended verifier(s) in fact can be convinced about the validity or invalidity of the signature. Generally, authentication of messages and off-the-record messages are in conflict with each other. We show how, using designation of verifiers, these notions can be combined, allowing authenticated but privat con- versations to take place. Our solution guarantees that only the specified verifier can be convinced by the proof, even if he shares all his secret information with entities that want to get convinced. Our solution is based on trap-door commitments [4], allowing the desig- nated verifier to open up commitments in any way he wants. We demon- strate how a trap-door commitment scheme can be used to construct designated verifier proofs, both interactive and non-interactive. We ex- amplify the verifier designation method for the confirmation protocol for undeniable signatures.

Original languageEnglish
Title of host publicationAdvances in Cryptology - EUROCRYPT 1996 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings
EditorsUeli Maurer
PublisherSpringer Verlag
Number of pages12
ISBN (Print)354061186X, 9783540611868
Publication statusPublished - 1996
Externally publishedYes
Event15th International conference on Theory and Application of Cryptographic Techniques, EUROCRYPT 1996 - Saragossa, Spain
Duration: 1996 May 121996 May 16

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference15th International conference on Theory and Application of Cryptographic Techniques, EUROCRYPT 1996

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Designated verifier proofs and their applications'. Together they form a unique fingerprint.

Cite this