Simulation Extractable Versions of Groth’s zk-SNARK Revisited
From MaRDI portal
Publication:6488034
Recommendations
- Another look at extraction and randomization of Groth's zk-SNARK
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- Subversion-resistant simulation (knowledge) sound NIZKs
- On subversion-resistant SNARKs
Cites work
Cited in
(12)- Continuously non-malleable codes against bounded-depth tampering
- Updatable NIZKs from non-interactive zaps
- Another look at extraction and randomization of Groth's zk-SNARK
- Spartan and bulletproofs are simulation-extractable (for free!)
- Witness-succinct universally-composable SNARKs
- Signatures of knowledge for Boolean circuits under standard assumptions
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- Simulation-extractable KZG polynomial commitments and applications to HyperPlonk
- Vector commitments with proofs of smallness: short range proofs and more
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- How (not) to simulate PLONK
- Obtaining simulation extractable NIZKs in the updatable CRS model generically
This page was built for publication: Simulation Extractable Versions of Groth’s zk-SNARK Revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488034)