Tight state-restoration soundness in the algebraic group model
From MaRDI portal
Publication:2128989
Recommendations
- Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
- Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
- Expected-time cryptography: generic techniques and applications to concrete soundness
- Short pairing-based non-interactive zero-knowledge arguments
- Co-sound Zero-Knowledge with Public Keys
Cites work
- scientific article; zbMATH DE number 1842491 (Why is no real title available?)
- A Parallel Repetition Theorem for Any Interactive Argument
- A tight parallel repetition theorem for partially simulatable interactive arguments via smooth KL-divergence
- Algebraic methods for interactive proof systems
- An efficient parallel repetition theorem
- Aurora: transparent succinct arguments for R1CS
- Blind Schnorr signatures and signed ElGamal encryption in the algebraic group model
- Cryptography and Coding
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Expected-time cryptography: generic techniques and applications to concrete soundness
- Fiat-Shamir: from practice to theory
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Interactive oracle proofs
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- On the size of pairing-based non-interactive arguments
- Parallel repetition theorems for interactive arguments
- Scalable zero knowledge with no trusted setup
- Sub-linear Zero-Knowledge Argument for Correctness of a Shuffle
- The algebraic group model and its applications
- The knowledge complexity of interactive proof-systems
- Transparent SNARKs from DARK compilers
Cited in
(18)- To label, or not to label (in generic groups)
- Rotatable zero knowledge sets. Post compromise secure auditable dictionaries with application to key transparency
- Fiat-Shamir security of FRI and related SNARKs
- Expected-time cryptography: generic techniques and applications to concrete soundness
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- Fiat-Shamir transformation of multi-round interactive proofs
- Generic-group lower bounds via reductions between geometric-search problems: with and without preprocessing
- Algebraic group model with oblivious sampling
- Compressed $$\varSigma $$-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
- Spartan and bulletproofs are simulation-extractable (for free!)
- Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
- Revisiting BBS signatures
- A holistic security analysis of Monero transactions
- Bulletproofs++: next generation confidential transactions via reciprocal set membership arguments
- On pairing-free blind signature schemes in the algebraic group model
- An analysis of the algebraic group model
- Fiat-Shamir bulletproofs are non-malleable (in the Random Oracle Model)
- On soundness notions for interactive oracle proofs
This page was built for publication: Tight state-restoration soundness in the algebraic group model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2128989)
