Dual-mode NIZKs: possibility and impossibility results for property transfer

DOI10.1007/978-3-030-65277-7_38zbMath1492.94058OpenAlexW3037814051MaRDI QIDQ2152070

Vivek Arte, Mihir Bellare

Publication date: 6 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-65277-7_38

zbMATH Keywords

dual-mode proof systemsnon-interactive zero-knowledge systems

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (2)

Dual-mode NIZKs: possibility and impossibility results for property transfer ⋮ Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Subtleties in the definition of IND-CCA: when and how should challenge decryption be disallowed?
• New constructions of statistical NIZKs: dual-mode DV-NIZKs and more
• Dual-mode NIZKs: possibility and impossibility results for property transfer
• Dual-mode NIZKs from obfuscation
• Reusable designated-verifier NIZKs for all NP from CDH
• Designated verifier/prover and preprocessing NIZKs from Diffie-Hellman assumptions
• Efficient pseudorandom correlation generators: silent OT extension and more
• New constructions of reusable designated-verifier NIZKs
• Multilinear Maps from Obfuscation
• Perfect Non-interactive Zero Knowledge for NP
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• Noninteractive Zero-Knowledge
• New Techniques for Noninteractive Zero-Knowledge
• Unconditional Characterizations of Non-interactive Zero-Knowledge
• Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
• Non-interactive Zaps and New Techniques for NIZK
• Construction of a Non-malleable Encryption Scheme from Any Semantically Secure One
• Theory of Cryptography
• Multi-theorem preprocessing NIZKs from lattices

This page was built for publication: Dual-mode NIZKs: possibility and impossibility results for property transfer