Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)

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

zbMATH Keywords

Fiat-Shamirnon-interactive zero-knowledgesimulation-extractability

Mathematics Subject Classification ID

Cryptography (94A60)

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)