On the (In)Security of SNARKs in the Presence of Oracles (Q3179354): Difference between revisions

@@ Property / cites work @@
+Minimum disclosure proofs of knowledge
@@ Property / cites work: Minimum disclosure proofs of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+The hunting of the SNARK
@@ Property / cites work: The hunting of the SNARK / rank @@
+Normal rank
@@ Property / cites work @@
+From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
+Normal rank
@@ Property / cites work @@
+Recursive composition and bootstrapping for SNARKS and proof-carrying data
+Normal rank
@@ Property / cites work @@
+Succinct Non-interactive Arguments via Linear Interactive Proofs
+Normal rank
@@ Property / cites work @@
+On the existence of extractable one-way functions
@@ Property / cites work: On the existence of extractable one-way functions / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Zero Knowledge via Cycles of Elliptic Curves
+Normal rank
@@ Property / cites work @@
+Homomorphic Signatures for Polynomial Functions
@@ Property / cites work: Homomorphic Signatures for Polynomial Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Universal Arguments and their Applications
@@ Property / cites work: Universal Arguments and their Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Signatures and Pseudorandom Functions
@@ Property / cites work: Functional Signatures and Pseudorandom Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Does co-NP have short interactive proofs ?
@@ Property / cites work: Does co-NP have short interactive proofs ? / rank @@
+Normal rank
@@ Property / cites work @@
+Limits of Extractability Assumptions with Distributional Auxiliary Input
+Normal rank
@@ Property / cites work @@
+SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
+Normal rank
@@ Property / cites work @@
+Practical Homomorphic MACs for Arithmetic Circuits
+Normal rank
@@ Property / cites work @@
+Homomorphic Signatures with Efficient Verification for Polynomial Functions
+Normal rank
@@ Property / cites work @@
+Succinct NP Proofs from an Extractability Assumption
+Normal rank
@@ Property / cites work @@
+On the (In)Security of SNARKs in the Presence of Oracles
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+On the complexity of interactive proofs with bounded communication
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Short Pairing-Based Non-interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+On interactive proofs with a laconic prover
@@ Property / cites work: On interactive proofs with a laconic prover / rank @@
+Normal rank
@@ Property / cites work @@
+Leveled Fully Homomorphic Signatures from Standard Lattices
+Normal rank
@@ Property / cites work @@
+Separating succinct non-interactive arguments from all falsifiable assumptions
+Normal rank
@@ Property / cites work @@
+Fully Homomorphic Message Authenticators
@@ Property / cites work: Fully Homomorphic Message Authenticators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249347
@@ Property / cites work: Q4249347 / rank @@
+Normal rank
@@ Property / cites work @@
+Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+Computationally Sound Proofs
@@ Property / cites work: Computationally Sound Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Polylogarithmic two-round argument systems
@@ Property / cites work: Polylogarithmic two-round argument systems / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
+Normal rank