No-signaling linear PCPs
From MaRDI portal
Publication:5925695
DOI10.1007/s00145-023-09448-4OpenAlexW2950719501MaRDI QIDQ5925695
Publication date: 13 April 2023
Published in: Journal of Cryptology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00145-023-09448-4
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic encryption
- Self-testing/correcting with applications to numerical problems
- On zero-testable homomorphic encryption and publicly verifiable non-interactive arguments
- The hunting of the SNARK
- Fully Succinct Garbled RAM
- Cryptography for Parallel RAM from Indistinguishability Obfuscation
- SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
- Succinct Non-Interactive Zero Knowledge Arguments from Span Programs and Linear Error-Correcting Codes
- Scalable Zero Knowledge via Cycles of Elliptic Curves
- Secure Two-Party Computation with Low Communication
- Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
- How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption
- Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits
- Square Span Programs with Applications to Succinct NIZK Arguments
- Indistinguishability Obfuscation for Turing Machines with Unbounded Memory
- Succinct Garbling and Indistinguishability Obfuscation for RAM Programs
- Succinct Randomized Encodings and their Applications
- Short Pairing-Based Non-interactive Zero-Knowledge Arguments
- Linearity testing in characteristic two
- Proof verification and the hardness of approximation problems
- Delegating Computation
- Delegating RAM Computations with Adaptive Soundness and Privacy
- Interactive Oracle Proofs
- Adaptive Succinct Garbled RAM or: How to Delegate Your Database
- Delegating RAM Computations
- Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
- Improved Delegation of Computation Using Fully Homomorphic Encryption
- Universal Arguments and their Applications
- Probabilistic checking of proofs
- Computationally Sound Proofs
- Succinct Non-interactive Arguments via Linear Interactive Proofs
- Quadratic Span Programs and Succinct NIZKs without PCPs
- Non-interactive delegation and batch NP verification from standard computational assumptions
- Succinct delegation for low-space non-deterministic computation
- How to delegate computations
- Lattice-Based SNARGs and Their Application to More Efficient Obfuscation
- Advances in Cryptology – CRYPTO 2004
- Computational Complexity
- Introduction to Property Testing
- Recursive composition and bootstrapping for SNARKS and proof-carrying data
- Delegation for bounded space
- On the Size of Pairing-Based Non-interactive Arguments
This page was built for publication: No-signaling linear PCPs
