On the Portability of Generalized Schnorr Proofs

The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design. These properties are defined for any given input and also for any auxiliary verifier private state, as they are aimed at any use of the protocol as a subroutine in a bigger application. Many times, however, moving the theoretical notion to practical designs has been quite problematic. This is due to the fact that the most efficient protocols fail to provide the above ZKP properties for all possible inputs and verifier states. This situation has created various problems to protocol designers who have often either introduced imperfect protocols with mistakes or with lack of security arguments, or they have been forced to use much less efficient protocols in order to achieve the required properties. In this work we address this issue by introducing the notion of "protocol portability," a property tha...

• Type: Conference
• Year: 2009
• Where: EUROCRYPT
• Authors: Jan Camenisch, Aggelos Kiayias, Moti Yung
• Keywords: Concrete Protocol Design, Cryptography, EUROCRYPT 2009, GSP Protocols, Protocol Portability