Subversion-resistant simulation (knowledge) sound NIZKs

DOI10.1007/978-3-030-35199-1_3zbMATH Open1454.94044OpenAlexW2949331520MaRDI QIDQ2177652FDOQ2177652

Karim Baghery

Publication date: 6 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-35199-1_3

Recommendations

• On subversion-resistant SNARKs
• NIZKs with an untrusted CRS: security in the face of parameter subversion
• A subversion-resistant SNARK
• On QA-NIZK in the BPK model
• Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs

zbMATH Keywords

NIZKzk-SNARKsubversion zero knowledgeCRS modelsimulation extractability

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (10)

• Updatable NIZKs from non-interactive zaps
• Simulation Extractable Versions of Groth’s zk-SNARK Revisited
• Witness-succinct universally-composable SNARKs
• \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
• Signatures of knowledge for Boolean circuits under standard assumptions
• Benchmarking the setup of updatable zk-SNARKs
• Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs
• Witness semantic security
• Obtaining simulation extractable NIZKs in the updatable CRS model generically
• Signatures of Knowledge for Boolean Circuits Under Standard Assumptions

This page was built for publication: Subversion-resistant simulation (knowledge) sound NIZKs

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