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

DOI10.1007/978-3-030-03326-2_21zbMATH Open1446.94093OpenAlexW2898277340MaRDI QIDQ1633477FDOQ1633477

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (24)

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

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)