Paper 2013/691
Non-Malleability from Malleability: Simulation-Sound Quasi-Adaptive NIZK Proofs and CCA2-Secure Encryption from Homomorphic Signatures
Benoit Libert, Thomas Peters, Marc Joye, and Moti Yung
Abstract
Verifiability is central to building protocols and systems with integrity. Initially, efficient methods employed the Fiat-Shamir
heuristics. Since 2008, the Groth-Sahai techniques have been the most efficient in constructing non-interactive witness indistinguishable and zero-knowledge proofs for algebraic relations. For the important task of proving membership in linear subspaces, Jutla and Roy (Asiacrypt 2013) gave significantly more efficient proofs in the quasi-adaptive setting (QA-NIZK). For membership of the row space of a
Metadata
- Available format(s)
-
PDF
- Category
- Public-key cryptography
- Publication info
- Preprint. MINOR revision.
- Keywords
- NIZK proofssimulation-soundnesschosen-ciphertext securityhomomorphic cryptography
- Contact author(s)
- benoit libert @ technicolor com
- History
- 2013-10-28: received
- Short URL
- https://ia.cr/2013/691
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2013/691, author = {Benoit Libert and Thomas Peters and Marc Joye and Moti Yung}, title = {Non-Malleability from Malleability: Simulation-Sound Quasi-Adaptive {NIZK} Proofs and {CCA2}-Secure Encryption from Homomorphic Signatures}, howpublished = {Cryptology {ePrint} Archive, Paper 2013/691}, year = {2013}, url = {https://eprint.iacr.org/2013/691} }