Witness semantic security

DOI10.1007/978-3-031-58740-5_6MaRDI QIDQ6637541FDOQ6637541

Authors: Paul Lou, Nathan Manohar, Amit Sahai 

Publication date: 13 November 2024

Recommendations

• Statistical ZAP arguments
• Non-interactive Zaps and New Techniques for NIZK
• Towards malicious security of private coin honest verifier zero knowledge for NP via witness encryption
• Witness authenticating NIZKs and applications
• scientific article; zbMATH DE number 1842511

zbMATH Keywords

non-interactive zero-knowledgecommon reference string model

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Probabilistic encryption
• Trapdoors for hard lattices and new cryptographic constructions
• The knowledge complexity of interactive proof-systems
• Definitions and properties of zero-knowledge proof systems
• Non-interactive Zaps and New Techniques for NIZK
• Advances in Cryptology - CRYPTO 2003
• Cryptography in the Multi-string Model
• Updatable and universal common reference strings with applications to zk-SNARKs
• NIZKs with an untrusted CRS: security in the face of parameter subversion
• Marlin: preprocessing zkSNARKs with universal and updatable SRS
• How to Generate and Use Universal Samplers
• On the existence of extractable one-way functions
• A subversion-resistant SNARK
• Subversion-zero-knowledge SNARKs
• Statistical ZAP arguments
• Statistical Zaps and new oblivious transfer protocols
• Towards non-interactive witness hiding
• Non-interactive distributional indistinguishability (NIDI) and non-malleable commitments
• Towards accountability in CRS generation
• Secure MPC: laziness leads to GOD
• Weak zero-knowledge beyond the black-box barrier
• ZAPs and non-interactive witness indistinguishability from indistinguishability obfuscation
• Updateable Inner Product Argument with Logarithmic Verifier and Applications
• Indistinguishability obfuscation from well-founded assumptions
• Subversion-resistant simulation (knowledge) sound NIZKs

Cited In (1)

• A map of witness maps: new definitions and connections

This page was built for publication: Witness semantic security

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