Efficient NIZKs for algebraic sets (Q6157547): Difference between revisions

@@ Property / cites work @@
+Disjunctions for Hash Proof Systems: New Constructions and Applications
+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 @@
+Scalable Zero Knowledge via Cycles of Elliptic Curves
+Normal rank
@@ Property / cites work @@
+New Techniques for SPHFs and Efficient One-Round PAKE Protocols
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology – CRYPTO 2004
@@ Property / cites work: Advances in Cryptology – CRYPTO 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient designated-verifier non-interactive zero-knowledge proofs of knowledge
+Normal rank
@@ Property / cites work @@
+Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
+Normal rank
@@ Property / cites work @@
+Ideals, Varieties, and Algorithms
@@ Property / cites work: Ideals, Varieties, and Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940695
@@ Property / cites work: Q4940695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737235
@@ Property / cites work: Q4737235 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Framework for Diffie-Hellman Assumptions
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+Q4434897
@@ Property / cites work: Q4434897 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Zero-Knowledge Proofs for Circuit Evaluation
+Normal rank
@@ Property / cites work @@
+QA-NIZK Arguments in Asymmetric Groups: New Tools and New Constructions
+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
@@ Property / cites work @@
+Efficient Non-interactive Proof Systems for Bilinear Groups
+Normal rank
@@ Property / cites work @@
+Q4737161
@@ Property / cites work: Q4737161 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Zero-Knowledge Proofs of Knowledge
@@ Property / cites work: Unifying Zero-Knowledge Proofs of Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341887
@@ Property / cites work: Q3341887 / rank @@
+Normal rank
@@ Property / cites work @@
+The Kernel Matrix Diffie-Hellman Assumption
@@ Property / cites work: The Kernel Matrix Diffie-Hellman Assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724585
@@ Property / cites work: Q2724585 / rank @@
+Normal rank
@@ Property / cites work @@
+Unprovable Security of Perfect NIZK and Non-interactive Non-malleable Commitments
+Normal rank
@@ Property / cites work @@
+Computing Linear Matrix Representations of Helton-Vinnikov Curves
+Normal rank
@@ Property / cites work @@
+Stretching Groth-Sahai: NIZK Proofs of Partial Satisfiability
+Normal rank