Another look at extraction and randomization of Groth's zk-SNARK

DOI10.1007/978-3-662-64322-8_22MaRDI QIDQ2145409zbMATH OpenOpenAlexFDO

Authors Karim Baghery, Markulf Kohlweiss, Janno Siim, Mikhail Volkhov

Publication date 17 June 2022

Full work available at URL https://doi.org/10.1007/978-3-662-64322-8_22

zbMATH Keywords

simulation extractabilityUC securityzk-SNARKs

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Simulation Extractable Versions of Groth’s zk-SNARK Revisited
• What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
• UC-secure CRS generation for SNARKs
• On subversion-resistant SNARKs
• On the (in)security of SNARKs in the presence of oracles

Cites work

• An efficient pairing-based shuffle argument
• Breaking RSA may not be equivalent to factoring
• Discrete-Log-Based Signatures May Not Be Equivalent to Discrete Log
• Efficient Non-interactive Proof Systems for Bilinear Groups
• Elliptic Curve Cryptosystems
• scientific article; zbMATH DE number 2085421 (Why is no real title available?)
• scientific article; zbMATH DE number 1842511 (Why is no real title available?)
• On the efficiency of privacy-preserving smart contract systems
• On the Non-malleability of the Fiat-Shamir Transform
• On the size of pairing-based non-interactive arguments
• Perfect Non-interactive Zero Knowledge for NP
• Quadratic span programs and succinct NIZKs without PCPs
• Randomizable Proofs and Delegatable Anonymous Credentials
• Separating succinct non-interactive arguments from all falsifiable assumptions
• Simulation Extractable Versions of Groth’s zk-SNARK Revisited
• Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
• Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
• The algebraic group model and its applications
• Universally composable two-party and multi-party secure computation

Cited in

(16)

• Composition with knowledge assumptions
• Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
• On the efficiency of privacy-preserving smart contract systems
• A unified framework for non-universal SNARKs
• Witness-succinct universally-composable SNARKs
• Spartan and bulletproofs are simulation-extractable (for free!)
• What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
• Snarky ceremonies
• Impossibilities in succinct arguments: black-box extraction and more
• Simulation Extractable Versions of Groth’s zk-SNARK Revisited
• From polynomial IOP and commitments to non-malleable zkSNARKs
• How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach
• Vector commitments with proofs of smallness: short range proofs and more
• Fully homomorphic encryption beyond IND-CCA1 security: integrity through verifiability
• The brave new world of global generic groups and UC-secure zero-overhead SNARKs
• Plonk is simulation extractable in ROM under falsifiable assumptions

Describes a project that uses

Uses Software

• GitHub

This page was built for publication: Another look at extraction and randomization of Groth's zk-SNARK

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