Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
From MaRDI portal
Publication:6134420
Recommendations
- Fiat-Shamir transformation of multi-round interactive proofs
- The measure-and-reprogram technique 2.0: multi-round Fiat-Shamir and more
- Security of the Fiat-Shamir transformation in the quantum random-oracle model
- Fiat-Shamir for highly sound protocols is instantiable
- Fiat-Shamir for highly sound protocols is instantiable
Cites work
- scientific article; zbMATH DE number 3954145 (Why is no real title available?)
- scientific article; zbMATH DE number 3303655 (Why is no real title available?)
- A compressed \(\varSigma \)-protocol theory for lattices
- A non-PCP approach to succinct quantum-safe zero-knowledge
- Aurora: transparent succinct arguments for R1CS
- Compressed $$\varSigma $$-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
- Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Expected-time cryptography: generic techniques and applications to concrete soundness
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- Fiat-Shamir: from practice to theory
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Interactive oracle proofs
- Parallel repetition of \((k_1,\dots ,k_{\mu }) \)-special-sound multi-round interactive proofs
- Post-quantum security of Fiat-Shamir
- Practical non-interactive publicly verifiable secret sharing with thousands of parties
- Security of the Fiat-Shamir transformation in the quantum random-oracle model
- Security proofs for signature schemes
- Sequential random sampling
- Short discrete log proofs for FHE and ring-LWE ciphertexts
- Strict polynomial-time in simulation and extraction
- Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices
- Succinct arguments in the quantum random oracle model
- Tight state-restoration soundness in the algebraic group model
- Time- and space-efficient arguments from groups of unknown order
- Transparent SNARKs from DARK compilers
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
Cited in
(7)- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- Fiat-Shamir transformation of multi-round interactive proofs
- Fiat-Shamir for highly sound protocols is instantiable
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- The measure-and-reprogram technique 2.0: multi-round Fiat-Shamir and more
- Generic error SDP and generic error CVE
This page was built for publication: Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134420)
