How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach
From MaRDI portal
Publication:6582228
DOI10.1007/978-3-031-48621-0_17MaRDI QIDQ6582228
Mahak Pancholi, Markulf Kohlweiss, Akira Takahashi
Publication date: 2 August 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- Transparent SNARKs from DARK compilers
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
- Another look at extraction and randomization of Groth's zk-SNARK
- Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
- Zether: towards privacy in a smart contract world
- Scalable zero knowledge with no trusted setup
- Strengthening zero-knowledge protocols using signatures
- On the Non-malleability of the Fiat-Shamir Transform
- Non-Malleable Zero Knowledge: Black-Box Constructions and Definitional Relationships
- Constant-Size Commitments to Polynomials and Their Applications
- Interactive Oracle Proofs
- New and improved constructions of non-malleable cryptographic protocols
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- On Signatures of Knowledge
- Witness-succinct universally-composable SNARKs
- Spartan and bulletproofs are simulation-extractable (for free!)
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
- Universally composable \(\varSigma \)-protocols in the global random-oracle model
- How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach
Related Items (2)
How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach ⋮ Simulation-extractable KZG polynomial commitments and applications to HyperPlonk
This page was built for publication: How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6582228)
