Spartan and Bulletproofs are Simulation-Extractable (for Free!)
- 15 April 2023
- book chapter
- Published by Springer Nature
- p. 531-562
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- Quadratic Span Programs and Succinct NIZKs without PCPs2013
- On the Non-malleability of the Fiat-Shamir Transform2012
- How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios2012
- Zero Knowledge in the Random Oracle Model, Revisited2009
- The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs2006
- On Signatures of Knowledge2006
- Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures2006
- New and improved constructions of non-malleable cryptographic protocols2005
- On Deniability in the Common Reference String and Random Oracle Model2003
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems2000