Authors
Pyrros Chaidos, Jens Groth
Publication date
2015/3/17
Book
IACR International Workshop on Public Key Cryptography
Pages
650-670
Publisher
Springer Berlin Heidelberg
Description
Damgård, Fazio and Nicolosi (TCC 2006) gave a transformation of Sigma-protocols, 3-move honest verifier zero-knowledge proofs, into efficient non-interactive zero-knowledge arguments for a designated verifier. Their transformation uses additively homomorphic encryption to encrypt the verifier’s challenge, which the prover uses to compute an encrypted answer. The transformation does not rely on the random oracle model but proving soundness requires a complexity leveraging assumption.
We propose an alternative instantiation of their transformation and show that it achieves culpable soundness without complexity leveraging. This improves upon an earlier result by Ventre and Visconti (Africacrypt 2009), who used a different construction which achieved weak culpable soundness.
We demonstrate how our construction can be used to prove validity of encrypted votes in a referendum …
Total citations
2016201720182019202020212022202332466552
Scholar articles
P Chaidos, J Groth - IACR International Workshop on Public Key …, 2015