Subquadratic SNARGs in the random oracle model (Q2120100): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-84242-0_25
+Normal rank
@@ Property / OpenAlex ID @@
+W3157539470
@@ Property / OpenAlex ID: W3157539470 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof verification and the hardness of approximation problems
+Normal rank
@@ Property / cites work @@
+Probabilistic checking of proofs
@@ Property / cites work: Probabilistic checking of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
+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 @@
+Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
+Normal rank
@@ Property / cites work @@
+Succinct Non-interactive Arguments via Linear Interactive Proofs
+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 @@
+Interactive Oracle Proofs
@@ Property / cites work: Interactive Oracle Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Transparent SNARKs from DARK compilers
@@ Property / cites work: Transparent SNARKs from DARK compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient probabilistically checkable proofs and applications to approximations
+Normal rank
@@ Property / cites work @@
+Lattice-Based SNARGs and Their Application to More Efficient Obfuscation
+Normal rank
@@ Property / cites work @@
+Quasi-optimal SNARGs via linear multi-prover interactive proofs
+Normal rank
@@ Property / cites work @@
+Succinct arguments in the quantum random oracle model
+Normal rank
@@ Property / cites work @@
+Barriers for succinct arguments in the random oracle model
+Normal rank
@@ Property / cites work @@
+Q3212279
@@ Property / cites work: Q3212279 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition
+Normal rank
@@ Property / cites work @@
+How To Prove Yourself: Practical Solutions to Identification and Signature Problems
+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 @@
+Short Pairing-Based Non-interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+On Generalized Feistel Networks
@@ Property / cites work: On Generalized Feistel Networks / rank @@
+Normal rank
@@ Property / cites work @@
+How to Construct Pseudorandom Permutations from Pseudorandom Functions
+Normal rank
@@ Property / cites work @@
+One Way Hash Functions and DES
@@ Property / cites work: One Way Hash Functions and DES / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Proofs
@@ Property / cites work: Computationally Sound Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On the construction of pseudorandom permutations: Luby-Rackoff revisited
+Normal rank