Tight state-restoration soundness in the algebraic group model (Q2128989): Difference between revisions

@@ Property / describes a project that uses @@
+Marlin
@@ Property / describes a project that uses: Marlin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-84252-9_3
+Normal rank
@@ Property / OpenAlex ID @@
+W3109521544
@@ Property / OpenAlex ID: W3109521544 / rank @@
+Normal rank
@@ Property / cites work @@
+The knowledge complexity of interactive proof-systems
+Normal rank
@@ Property / cites work @@
+Cryptography and Coding
@@ Property / cites work: Cryptography and Coding / 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 @@
+Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
+Normal rank
@@ Property / cites work @@
+Expected-time cryptography: generic techniques and applications to concrete soundness
+Normal rank
@@ Property / cites work @@
+How To Prove Yourself: Practical Solutions to Identification and Signature Problems
+Normal rank
@@ Property / cites work @@
+On the Size of Pairing-Based Non-interactive Arguments
+Normal rank
@@ Property / cites work @@
+Interactive Oracle Proofs
@@ Property / cites work: Interactive Oracle Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783725
@@ Property / cites work: Q4783725 / rank @@
+Normal rank
@@ Property / cites work @@
+Sub-linear Zero-Knowledge Argument for Correctness of a Shuffle
+Normal rank
@@ Property / cites work @@
+Transparent SNARKs from DARK compilers
@@ Property / cites work: Transparent SNARKs from DARK compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+Fiat-Shamir: from practice to theory
@@ Property / cites work: Fiat-Shamir: from practice to theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methods for interactive proof systems
@@ Property / cites work: Algebraic methods for interactive proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Parallel Repetition Theorem for Any Interactive Argument
+Normal rank
@@ Property / cites work @@
+An Efficient Parallel Repetition Theorem
@@ Property / cites work: An Efficient Parallel Repetition Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Repetition Theorems for Interactive Arguments
+Normal rank
@@ Property / cites work @@
+A tight parallel repetition theorem for partially simulatable interactive arguments via smooth KL-divergence
+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 @@
+Scalable zero knowledge with no trusted setup
@@ Property / cites work: Scalable zero knowledge with no trusted setup / rank @@
+Normal rank
@@ Property / cites work @@
+Blind Schnorr signatures and signed ElGamal encryption in the algebraic group model
+Normal rank