Export Citations
1 Results for: [Keyword: Interactive oracle proofs] AND [Book/Issue: Vol 71, Issue 3]
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,736,631 records)|Limit your search to The ACM Full-Text Collection (750,459 records)
Showing 1 - 1of1 Results
- research-articleJune 2024
Local Proofs Approaching the Witness Length
Journal of the ACM (JACM), Volume 71, Issue 3Article No.: 18, Pages 1–42https://doi.org/10.1145/3661483Interactive oracle proofs (IOPs) are a hybrid between interactive proofs and PCPs. In an IOP, the prover is allowed to interact with a verifier (like in an interactive proof) by sending relatively long messages to the verifier, who in turn is only allowed ...