Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
From MaRDI portal
Publication:2170055
DOI10.1007/978-3-031-07085-3_14zbMath1497.94090OpenAlexW3207075287MaRDI QIDQ2170055
Chaya Ganesh, Akira Takahashi, Daniel Tschudi, Mahak Pancholi, Claudio Orlandi
Publication date: 30 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-07085-3_14
Related Items (7)
Witness-succinct universally-composable SNARKs ⋮ Spartan and bulletproofs are simulation-extractable (for free!) ⋮ Privacy-preserving blueprints ⋮ Efficient and universally composable single secret leader election from pairings ⋮ Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection ⋮ What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? ⋮ Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers
Cites Work
- Unnamed Item
- Unnamed Item
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- The algebraic group model and its applications
- The measure-and-reprogram technique 2.0: multi-round Fiat-Shamir and more
- Tight state-restoration soundness in the algebraic group model
- Another look at extraction and randomization of Groth's zk-SNARK
- Post-quantum security of Fiat-Shamir
- On the Non-malleability of the Fiat-Shamir Transform
- Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model
- Interactive Oracle Proofs
- Cryptography in the Multi-string Model
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- The knowledge complexity of interactive proof-systems
- Fiat-Shamir: from practice to theory
- Advances in Cryptology - CRYPTO 2003
- Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors
- Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
- On the Size of Pairing-Based Non-interactive Arguments
This page was built for publication: Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
