Spartan and bulletproofs are simulation-extractable (for free!) (Q6061373): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-30617-4_18
+Normal rank
@@ Property / OpenAlex ID @@
+W4365806553
@@ Property / OpenAlex ID: W4365806553 / rank @@
+Normal rank
@@ Property / cites work @@
+Fiat-Shamir transformation of multi-round interactive proofs
+Normal rank
@@ Property / cites work @@
+Another look at extraction and randomization of Groth's zk-SNARK
+Normal rank
@@ Property / cites work @@
+The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
+Normal rank
@@ Property / cites work @@
+Aurora: transparent succinct arguments for R1CS
@@ Property / cites work: Aurora: transparent succinct arguments for R1CS / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Oracle Proofs
@@ Property / cites work: Interactive Oracle Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios
+Normal rank
@@ Property / cites work @@
+Recursive composition and bootstrapping for SNARKS and proof-carrying data
+Normal rank
@@ Property / cites work @@
+\textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
+Normal rank
@@ Property / cites work @@
+Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
+Normal rank
@@ Property / cites work @@
+Transparent SNARKs from DARK compilers
@@ Property / cites work: Transparent SNARKs from DARK compilers / rank @@
+Normal rank
@@ Property / cites work @@
+On Signatures of Knowledge
@@ Property / cites work: On Signatures of Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+The measure-and-reprogram technique 2.0: multi-round Fiat-Shamir and more
+Normal rank
@@ Property / cites work @@
+On the Non-malleability of the Fiat-Shamir Transform
+Normal rank
@@ Property / cites work @@
+How To Prove Yourself: Practical Solutions to Identification and Signature Problems
+Normal rank
@@ Property / cites work @@
+On tight security proofs for Schnorr signatures
@@ Property / cites work: On tight security proofs for Schnorr signatures / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic group model and its applications
@@ Property / cites work: The algebraic group model and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
+Normal rank
@@ Property / cites work @@
+Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+Tight state-restoration soundness in the algebraic group model
+Normal rank
@@ Property / cites work @@
+The knowledge complexity of interactive proof-systems
+Normal rank
@@ Property / cites work @@
+Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
+Normal rank
@@ Property / cites work @@
+On the Size of Pairing-Based Non-interactive Arguments
+Normal rank
@@ Property / cites work @@
+Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
+Normal rank
@@ Property / cites work @@
+Expected-time cryptography: generic techniques and applications to concrete soundness
+Normal rank
@@ Property / cites work @@
+Non-Malleable Zero Knowledge: Black-Box Constructions and Definitional Relationships
+Normal rank
@@ Property / cites work @@
+Nova: recursive zero-knowledge arguments from folding schemes
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+New and improved constructions of non-malleable cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Spartan: efficient and general-purpose zkSNARKs without trusted setup
+Normal rank
@@ Property / cites work @@
+Zero Knowledge in the Random Oracle Model, Revisited
+Normal rank
@@ Property / cites work @@
+Orion: zero knowledge proof with linear prover time
+Normal rank