Obtaining simulation extractable NIZKs in the updatable CRS model generically (Q6118305): Difference between revisions

@@ Property / cites work @@
+The knowledge complexity of interactive proof-systems
+Normal rank
@@ Property / cites work @@
+Randomizable Proofs and Delegatable Anonymous Credentials
+Normal rank
@@ Property / cites work @@
+Composable and Modular Anonymous Credentials: Definitions and Practical Constructions
+Normal rank
@@ Property / cites work @@
+Structure-preserving signatures on equivalence classes and constant-size anonymous credentials
+Normal rank
@@ Property / cites work @@
+SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
+Normal rank
@@ Property / cites work @@
+Arya: nearly linear-time zero-knowledge proofs for correct program execution
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+Foundations of fully dynamic group signatures
@@ Property / cites work: Foundations of fully dynamic group signatures / rank @@
+Normal rank
@@ Property / cites work @@
+Group signatures and more from isogenies and lattices: generic, simple, and efficient
+Normal rank
@@ Property / cites work @@
+Selectively linkable group signatures -- stronger security and preserved verifiability
+Normal rank
@@ Property / cites work @@
+Almost fully anonymous attribute-based group signatures with verifier-local revocation and member registration from lattice assumptions
+Normal rank
@@ Property / cites work @@
+Decentralized Anonymous Micropayments
@@ Property / cites work: Decentralized Anonymous Micropayments / rank @@
+Normal rank
@@ Property / cites work @@
+Short Pairing-Based Non-interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+Square Span Programs with Applications to Succinct NIZK Arguments
+Normal rank
@@ Property / cites work @@
+Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
+Normal rank
@@ Property / cites work @@
+NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+Subversion-resistant simulation (knowledge) sound NIZKs
+Normal rank
@@ Property / cites work @@
+Q4318696
@@ Property / cites work: Q4318696 / rank @@
+Normal rank
@@ Property / cites work @@
+Key-homomorphic signatures: definitions and applications to multiparty signatures and non-interactive zero-knowledge
+Normal rank
@@ Property / cites work @@
+Short signatures from the Weil pairing
@@ Property / cites work: Short signatures from the Weil pairing / rank @@
+Normal rank
@@ Property / cites work @@
+Public Key Cryptography - PKC 2005
@@ Property / cites work: Public Key Cryptography - PKC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable and universal common reference strings with applications to zk-SNARKs
+Normal rank
@@ Property / cites work @@
+Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
+Normal rank
@@ Property / cites work @@
+Non-interactive Zaps and New Techniques for NIZK
@@ Property / cites work: Non-interactive Zaps and New Techniques for NIZK / rank @@
+Normal rank