What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
From MaRDI portal
Publication:6134856
DOI10.1007/978-3-031-14791-3_32zbMATH Open1518.94064OpenAlexW4294768166MaRDI QIDQ6134856FDOQ6134856
Authors: Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac 
Publication date: 25 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-14791-3_32
Recommendations
- Simulation Extractable Versions of Groth’s zk-SNARK Revisited
- Another look at extraction and randomization of Groth's zk-SNARK
- How to simulate it -- a tutorial on the simulation proof technique
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- Strongly simulation-extractable leakage-resilient NIZK
- Updatable and universal common reference strings with applications to zk-SNARKs
- Fiat-Shamir: from practice to theory
- Updatable NIZKs from non-interactive zaps
Cites Work
- SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
- Security arguments for digital signatures and blind signatures
- Efficient public-key cryptography in the presence of key leakage
- Title not available (Why is that?)
- Minimum disclosure proofs of knowledge
- Title not available (Why is that?)
- Fully Anonymous Group Signatures Without Random Oracles
- On the Non-malleability of the Fiat-Shamir Transform
- On Signatures of Knowledge
- Short pairing-based non-interactive zero-knowledge arguments
- Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
- Succinct Non-interactive Arguments via Linear Interactive Proofs
- Quadratic Span Programs and Succinct NIZKs without PCPs
- Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
- Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors
- Updatable and universal common reference strings with applications to zk-SNARKs
- The algebraic group model and its applications
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Succinct Non-Interactive Zero Knowledge Arguments from Span Programs and Linear Error-Correcting Codes
- On the Size of Pairing-Based Non-interactive Arguments
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- Interactive Oracle Proofs
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- Scalable Zero Knowledge via Cycles of Elliptic Curves
- Square Span Programs with Applications to Succinct NIZK Arguments
- Constant-Size Commitments to Polynomials and Their Applications
- Advances in cryptology -- CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16--20, 2021. Proceedings. Part III
- Key-and-argument-updatable QA-NIZKs
- Another look at extraction and randomization of Groth's zk-SNARK
- Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
Cited In (13)
- Updatable NIZKs from non-interactive zaps
- Witness-authenticated key exchange, revisited: extensions to groups, improved models, simpler constructions
- Simulation Extractable Versions of Groth’s zk-SNARK Revisited
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- Fiat-Shamir transformation of multi-round interactive proofs
- From polynomial IOP and commitments to non-malleable zkSNARKs
- How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach
- Spartan and bulletproofs are simulation-extractable (for free!)
- Witness-succinct universally-composable SNARKs
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- Benchmarking the setup of updatable zk-SNARKs
- Efficient isogeny proofs using generic techniques
- Vector commitments with proofs of smallness: short range proofs and more
This page was built for publication: What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134856)
