Improved (almost) tightly-secure simulation-sound QA-NIZK with applications

DOI10.1007/978-3-030-03326-2_21MaRDI QIDQ1633477zbMATH OpenOpenAlexFDO

Authors Masayuki Abe, C. S. Jutla, Miyako Ohkubo, Arnab Roy

Publication date 20 December 2018

Full work available at URL https://doi.org/10.1007/978-3-030-03326-2_21

zbMATH Keywords

CCApublic-key encryptionstructure-preserving signaturestight securityQA-NIZKsimulation-soundness

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Compactly hiding linear spans. Tightly secure constant-size simulation-sound QA-NIZK proofs and applications
• Shorter QA-NIZK and SPS with tighter security
• QANIZK for adversary-dependent languages and their applications
• Shorter quasi-adaptive NIZK proofs for linear subspaces
• Shorter quasi-adaptive NIZK proofs for linear subspaces

Cited in

(24)

• Fine-grained verifier NIZK and its applications
• Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
• Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs
• Compact structure-preserving signatures with almost tight security
• Shorter quasi-adaptive NIZK proofs for linear subspaces
• Tightly CCA-secure inner product functional encryption scheme
• Updatable Trapdoor SPHFs: Modular Construction of Updatable Zero-Knowledge Arguments and More
• Almost tightly-secure re-randomizable and replayable CCA-secure public key encryption
• Pairing-free blind signatures from standard assumptions in the ROM
• Non-malleability from malleability: simulation-sound quasi-adaptive NIZK proofs and CCA2-secure encryption from homomorphic signatures
• QA-NIZK arguments of same opening for bilateral commitments
• Shorter QA-NIZK and SPS with tighter security
• QANIZK for adversary-dependent languages and their applications
• Signatures of knowledge for Boolean circuits under standard assumptions
• Compactly hiding linear spans. Tightly secure constant-size simulation-sound QA-NIZK proofs and applications
• Unbounded HIBE with tight security
• Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
• Shorter quasi-adaptive NIZK proofs for linear subspaces
• CRS-updatable asymmetric quasi-adaptive NIZK arguments
• Threshold structure-preserving signatures: strong and adaptive security under standard assumptions
• Practical round-optimal blind signatures in the ROM from standard assumptions
• On black-box extensions of non-interactive zero-knowledge arguments, and signatures directly from simulation soundness
• Short tightly secure signatures for signing a vector of group elements: a new approach
• Dual-system simulation-soundness with applications to UC-PAKE and more

This page was built for publication: Improved (almost) tightly-secure simulation-sound QA-NIZK with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633477)