Simulation Extractable Versions of Groth’s zk-SNARK Revisited

DOI10.1007/978-3-030-65411-5_22zbMATH Open1520.94037MaRDI QIDQ6488034FDOQ6488034

Authors: Karim Baghery, Zaira Pindado, Carla Ràfols 

Publication date: 22 March 2023

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

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Cites Work

• On the size of pairing-based non-interactive arguments
• Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
• Subversion-zero-knowledge SNARKs
• Subversion-resistant simulation (knowledge) sound NIZKs

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
• What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
• Signatures of knowledge for Boolean circuits under standard assumptions
• 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)