Pages that link to "Item:Q6134856"
From MaRDI portal
The following pages link to What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? (Q6134856):
Displaying 12 items.
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks (Q1680230) (← links)
- Another look at extraction and randomization of Groth's zk-SNARK (Q2145409) (← links)
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version) (Q6134420) (← links)
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? (Q6134856) (← links)
- Fiat-Shamir transformation of multi-round interactive proofs (Q6169350) (← links)
- Simulation Extractable Versions of Groth’s zk-SNARK Revisited (Q6488034) (← links)
- Efficient isogeny proofs using generic techniques (Q6535120) (← links)
- Witness-authenticated key exchange, revisited: extensions to groups, improved models, simpler constructions (Q6573953) (← links)
- From polynomial IOP and commitments to non-malleable zkSNARKs (Q6582227) (← links)
- How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach (Q6582228) (← links)
- Benchmarking the setup of updatable zk-SNARKs (Q6619946) (← links)
- Vector commitments with proofs of smallness: short range proofs and more (Q6635763) (← links)