On succinct non-interactive arguments in relativized worlds (Q2170051): Difference between revisions

@@ 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-031-07085-3_12
+Normal rank
@@ Property / OpenAlex ID @@
+W4285128331
@@ Property / OpenAlex ID: W4285128331 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebrization
@@ Property / cites work: Algebrization / rank @@
+Normal rank
@@ Property / cites work @@
+UC-secure CRS generation for SNARKs
@@ Property / cites work: UC-secure CRS generation for SNARKs / rank @@
+Normal rank
@@ Property / cites work @@
+Zero knowledge protocols from succinct constraint detection
+Normal rank
@@ Property / cites work @@
+Scalable Zero Knowledge via Cycles of Elliptic Curves
+Normal rank
@@ Property / cites work @@
+Verifiable Delegation of Computation over Large Datasets
+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 @@
+Advances in Cryptology - EUROCRYPT 2004
@@ Property / cites work: Advances in Cryptology - EUROCRYPT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-carrying data without succinct arguments
@@ Property / cites work: Proof-carrying data without succinct arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive proof composition from accumulation schemes
+Normal rank
@@ Property / cites work @@
+Spatial Isolation Implies Zero Knowledge Even in a Quantum World
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+Q5875760
@@ Property / cites work: Q5875760 / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{Fractal}: post-quantum and transparent recursive proofs from holography
+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 @@
+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 @@
+Interactive PCP
@@ Property / cites work: Interactive PCP / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptography and Coding
@@ Property / cites work: Cryptography and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Proofs
@@ Property / cites work: Computationally Sound Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
+Normal rank