An algebraic framework for universal and updatable SNARKs (Q2120103): Difference between revisions

@@ Property / describes a project that uses @@
+Libra
@@ Property / describes a project that uses: Libra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-84242-0_27
+Normal rank
@@ Property / OpenAlex ID @@
+W3173910356
@@ Property / OpenAlex ID: W3173910356 / rank @@
+Normal rank
@@ Property / cites work @@
+A subversion-resistant SNARK
@@ Property / cites work: A subversion-resistant SNARK / rank @@
+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 @@
+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 @@
+Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
+Normal rank
@@ Property / cites work @@
+Transparent SNARKs from DARK compilers
@@ Property / cites work: Transparent SNARKs from DARK compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+\textsc{Fractal}: post-quantum and transparent recursive proofs from holography
+Normal rank
@@ Property / cites work @@
+Updateable Inner Product Argument with Logarithmic Verifier and Applications
+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 @@
+On the round complexity of OT extension
@@ Property / cites work: On the round complexity of OT extension / rank @@
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Linear Algebra with Sub-linear Zero-Knowledge Arguments
+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 @@
+Updatable and universal common reference strings with applications to zk-SNARKs
+Normal rank
@@ Property / cites work @@
+Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces
+Normal rank
@@ Property / cites work @@
+Constant-Size Commitments to Polynomials and Their Applications
+Normal rank
@@ Property / cites work @@
+Computationally Sound Proofs
@@ Property / cites work: Computationally Sound Proofs / 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 @@
+Signatures of Correct Computation
@@ Property / cites work: Signatures of Correct Computation / rank @@
+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