Subversion-resistant simulation (knowledge) sound NIZKs

DOI10.1007/978-3-030-35199-1_3MaRDI QIDQ2177652zbMATH OpenOpenAlexFDO

Authors Karim Baghery

Publication date 6 May 2020

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

zbMATH Keywords

NIZKzk-SNARKsubversion zero knowledgeCRS modelsimulation extractability

Mathematics Subject Classification ID

Cryptography (94A60)

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

Cited in

(17)

• NIZKs with an untrusted CRS: security in the face of parameter subversion
• Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs
• \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
• Non-interactive zaps of knowledge
• Benchmarking the setup of updatable zk-SNARKs
• Signatures of Knowledge for Boolean Circuits Under Standard Assumptions
• Witness-succinct universally-composable SNARKs
• Signatures of knowledge for Boolean circuits under standard assumptions
• Subversion-zero-knowledge SNARKs
• On QA-NIZK in the BPK model
• Witness semantic security
• Simulation Extractable Versions of Groth’s zk-SNARK Revisited
• A subversion-resistant SNARK
• Obtaining simulation extractable NIZKs in the updatable CRS model generically
• NIZKs with maliciously chosen CRS: subversion advice-ZK and accountable soundness
• On black-box extensions of non-interactive zero-knowledge arguments, and signatures directly from simulation soundness
• Updatable NIZKs from non-interactive zaps

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)