Non-interactive publicly-verifiable delegation of committed programs (Q6067380): Difference between revisions

@@ Property / cites work @@
+Succinct delegation for low-space non-deterministic computation
+Normal rank
@@ Property / cites work @@
+The hunting of the SNARK
@@ Property / cites work: The hunting of the SNARK / rank @@
+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 @@
+Multi-collision resistance: a paradigm for keyless hash functions
+Normal rank
@@ Property / cites work @@
+Non-interactive delegation and batch NP verification from standard computational assumptions
+Normal rank
@@ Property / cites work @@
+Witness indistinguishability for any single-round argument with applications to access control
+Normal rank
@@ Property / cites work @@
+Fiat-Shamir: from practice to theory
@@ Property / cites work: Fiat-Shamir: from practice to theory / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interactive batch arguments for NP from standard assumptions
+Normal rank
@@ Property / cites work @@
+Improved Delegation of Computation Using Fully Homomorphic Encryption
+Normal rank
@@ Property / cites work @@
+Practical verified computation with streaming interactive proofs
+Normal rank
@@ Property / cites work @@
+Secure Two-Party Computation with Low Communication
+Normal rank
@@ Property / cites work @@
+Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
+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 @@
+Short Pairing-Based Non-interactive Zero-Knowledge Arguments
+Normal rank
@@ Property / cites work @@
+Fiat–Shamir via list-recoverable codes (or: parallel repetition of GMW is not zero-knowledge)
+Normal rank
@@ Property / cites work @@
+On the Communication Complexity of Secure Function Evaluation with Long Output
+Normal rank
@@ Property / cites work @@
+Delegating RAM Computations
@@ Property / cites work: Delegating RAM Computations / rank @@
+Normal rank
@@ Property / cites work @@
+How to delegate computations publicly
@@ Property / cites work: How to delegate computations publicly / rank @@
+Normal rank
@@ Property / cites work @@
+Delegation for bounded space
@@ Property / cites work: Delegation for bounded space / rank @@
+Normal rank
@@ Property / cites work @@
+How to delegate computations
@@ Property / cites work: How to delegate computations / rank @@
+Normal rank
@@ Property / cites work @@
+Somewhere statistical soundness, post-quantum security, and SNARGs
+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 @@
+On zero-testable homomorphic encryption and publicly verifiable non-interactive arguments
+Normal rank
@@ Property / cites work @@
+How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption
+Normal rank
@@ Property / cites work @@
+Noninteractive zero knowledge for NP from (Plain) Learning With Errors
+Normal rank
@@ Property / cites work @@
+Constant-Round Interactive Proofs for Delegating Computation
+Normal rank