Export Citations
1 Results for: Keyword: Black-Box Reduction
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,800,713 records)|Limit your search to The ACM Full-Text Collection (770,444 records)
Select All
- ArticleJuly 2009
Are PCPs Inherent in Efficient Arguments?
CCC '09: Proceedings of the 2009 24th Annual IEEE Conference on Computational ComplexityPages 81–92https://doi.org/10.1109/CCC.2009.40Starting with Kilian (STOC `92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to construct very efficient argument systems (a.k.a. computationally sound ...