Succinct functional commitment for a large class of arithmetic circuits (Q2691602): Difference between revisions

@@ Property / cites work @@
+A subversion-resistant SNARK
@@ Property / cites work: A subversion-resistant SNARK / rank @@
+Normal rank
@@ Property / cites work @@
+On QA-NIZK in the BPK Model
@@ Property / cites work: On QA-NIZK in the BPK Model / rank @@
+Normal rank
@@ Property / cites work @@
+NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion
+Normal rank
@@ Property / cites work @@
+Q4934724
@@ Property / cites work: Q4934724 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifiable random functions from non-interactive witness-indistinguishable proofs
+Normal rank
@@ Property / cites work @@
+Hierarchical Identity Based Encryption with Constant Size Ciphertext
+Normal rank
@@ Property / cites work @@
+Batching techniques for accumulators with applications to IOPs and stateless blockchains
+Normal rank
@@ Property / cites work @@
+The Uber-Assumption Family
@@ Property / cites work: The Uber-Assumption Family / rank @@
+Normal rank
@@ Property / cites work @@
+Vector Commitments and Their Applications
@@ Property / cites work: Vector Commitments and Their Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Déjà Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions
+Normal rank
@@ Property / cites work @@
+Déjà Q: Using Dual Systems to Revisit q-Type Assumptions
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+Adapting the Weaknesses of the Random Oracle Model to the Generic Group Model
+Normal rank
@@ Property / cites work @@
+Q2707440
@@ Property / cites work: Q2707440 / rank @@
+Normal rank
@@ Property / cites work @@
+Subversion-zero-knowledge SNARKs
@@ Property / cites work: Subversion-zero-knowledge SNARKs / 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 @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+Separating succinct non-interactive arguments from all falsifiable assumptions
+Normal rank
@@ Property / cites work @@
+Short Pairing-Based Non-interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+On the Size of Pairing-Based Non-interactive Arguments
+Normal rank
@@ Property / cites work @@
+Block-Wise P-Signatures and Non-interactive Anonymous Credentials with Efficient Attributes
+Normal rank
@@ Property / cites work @@
+The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
+Normal rank
@@ Property / cites work @@
+Constant-Size Commitments to Polynomials and Their Applications
+Normal rank
@@ Property / cites work @@
+Subvector commitments with application to succinct arguments
+Normal rank
@@ Property / cites work @@
+Q4598166
@@ Property / cites work: Q4598166 / rank @@
+Normal rank
@@ Property / cites work @@
+Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs
+Normal rank
@@ Property / cites work @@
+Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+Succinct Non-Interactive Zero Knowledge Arguments from Span Programs and Linear Error-Correcting Codes
+Normal rank
@@ Property / cites work @@
+Signatures of Correct Computation
@@ Property / cites work: Signatures of Correct Computation / rank @@
+Normal rank