Local Proofs Approaching the Witness Length
Abstract
References
Index Terms
- Local Proofs Approaching the Witness Length
Recommendations
A PCP Theorem for Interactive Proofs and Applications
Advances in Cryptology – EUROCRYPT 2022AbstractThe celebrated PCP Theorem states that any language in can be decided via a verifier that reads O(1) bits from a polynomially long proof. Interactive oracle proofs (IOP), a generalization of PCPs, allow the verifier to interact with the prover ...
Graph Nonisomorphism Has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses
Traditional hardness versus randomness results focus on time-efficient randomized decision procedures. We generalize these trade-offs to a much wider class of randomized processes. We work out various applications, most notably to derandomizing Arthur-...
Computationally Sound Proofs
This paper puts forward a new notion of a proof based on computational complexity and explores its implications for computation at large. Computationally sound proofs provide, in a novel and meaningful framework, answers to old and new questions in ...
Comments
Information & Contributors
Information
Published In
![cover image Journal of the ACM](/cms/asset/715bf66d-6d66-4411-bc17-fe9722d65148/3613558.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Israeli Science Foundation
- Technion Hiroshi Fujiwara cyber security research center and Israel cyber directorate
- European Union
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 107Total Downloads
- Downloads (Last 12 months)107
- Downloads (Last 6 weeks)21
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in