Marlin: preprocessing zkSNARKs with universal and updatable SRS (Q2055641): Difference between revisions

@@ Property / cites work @@
+Interactive Oracle Proofs
@@ Property / cites work: Interactive Oracle Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Zero-Knowledge Argument for Correctness of a Shuffle
+Normal rank
@@ Property / cites work @@
+Succinct Non-interactive Arguments via Linear Interactive Proofs
+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 @@
+Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
+Normal rank
@@ Property / cites work @@
+Short PCPs with Polylog Query Complexity
@@ Property / cites work: Short PCPs with Polylog Query Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249348
@@ Property / cites work: Q4249348 / 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 @@
+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 @@
+Delegating Computation
@@ Property / cites work: Delegating Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable and universal common reference strings with applications to zk-SNARKs
+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 @@
+Constant-Size Commitments to Polynomials and Their Applications
+Normal rank
@@ Property / cites work @@
+Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+Signatures of Correct Computation
@@ Property / cites work: Signatures of Correct Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Constant-round interactive proofs for delegating computation
+Normal rank
@@ Property / cites work @@
+Spartan: efficient and general-purpose zkSNARKs without trusted setup
+Normal rank
@@ Property / cites work @@
+Libra: succinct zero-knowledge proofs with optimal prover computation
+Normal rank
@@ Property / cites work @@
+Scalable Zero Knowledge via Cycles of Elliptic Curves
+Normal rank
@@ Property / cites work @@
+Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs
+Normal rank
@@ Property / cites work @@
+Computational Integrity with a Public Random String from Quasi-Linear PCPs
+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 @@
+Linear-size constant-query IOPs for delegating computation
+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