Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023675273> ?p ?o ?g. }
- W2023675273 abstract "We construct a 1-round delegation scheme (i.e., argument system) for every language computable in time t = t(n), where the running time of the prover is poly(t) and the running time of the verifier is n · polylog(t). In particular, for every language in P we obtain a delegation scheme with almost linear time verification. Our construction relies on the existence of a computational sub-exponentially secure private information retrieval (PIR) scheme. The proof exploits a curious connection between the problem of computation delegation and the model of multi-prover interactive proofs that are sound against no-signaling (cheating) strategies, a model that was studied in the context of multi-prover interactive proofs with provers that share quantum entanglement, and is motivated by the physical principle that information cannot travel faster than light. For any language computable in time t = t(n), we construct a multi-prover interactive proof (MIP) that is sound against no-signaling strategies, where the running time of the provers is poly(t), the number of provers is polylog(t), and the running time of the verifier is n · polylog(t). In particular, this shows that the class of languages that have polynomial-time MIPs that are sound against no-signaling strategies, is exactly EXP. Previously, this class was only known to contain PSPACE. To convert our MIP into a 1-round delegation scheme, we use the method suggested by Aiello et al (ICALP, 2000). This method relies on the existence of a sub-exponentially secure PIR scheme, and was proved secure by Kalai et al (STOC, 2013) assuming the underlying MIP is secure against no-signaling provers." @default.
- W2023675273 created "2016-06-24" @default.
- W2023675273 creator A5041545934 @default.
- W2023675273 creator A5049757682 @default.
- W2023675273 creator A5081254473 @default.
- W2023675273 date "2014-05-31" @default.
- W2023675273 modified "2023-09-24" @default.
- W2023675273 title "How to delegate computations" @default.
- W2023675273 cites W1538440442 @default.
- W2023675273 cites W1540469777 @default.
- W2023675273 cites W1577653766 @default.
- W2023675273 cites W167928972 @default.
- W2023675273 cites W174102541 @default.
- W2023675273 cites W1998660432 @default.
- W2023675273 cites W2027911682 @default.
- W2023675273 cites W2067596507 @default.
- W2023675273 cites W2078715027 @default.
- W2023675273 cites W2109815032 @default.
- W2023675273 cites W2119210589 @default.
- W2023675273 cites W2121059863 @default.
- W2023675273 cites W2122597842 @default.
- W2023675273 cites W2146099890 @default.
- W2023675273 cites W2148634692 @default.
- W2023675273 cites W2156708311 @default.
- W2023675273 cites W2166670067 @default.
- W2023675273 cites W2195657359 @default.
- W2023675273 cites W2218607027 @default.
- W2023675273 cites W2293021588 @default.
- W2023675273 doi "https://doi.org/10.1145/2591796.2591809" @default.
- W2023675273 hasPublicationYear "2014" @default.
- W2023675273 type Work @default.
- W2023675273 sameAs 2023675273 @default.
- W2023675273 citedByCount "97" @default.
- W2023675273 countsByYear W20236752732014 @default.
- W2023675273 countsByYear W20236752732015 @default.
- W2023675273 countsByYear W20236752732016 @default.
- W2023675273 countsByYear W20236752732017 @default.
- W2023675273 countsByYear W20236752732018 @default.
- W2023675273 countsByYear W20236752732019 @default.
- W2023675273 countsByYear W20236752732020 @default.
- W2023675273 countsByYear W20236752732021 @default.
- W2023675273 countsByYear W20236752732022 @default.
- W2023675273 countsByYear W20236752732023 @default.
- W2023675273 crossrefType "proceedings-article" @default.
- W2023675273 hasAuthorship W2023675273A5041545934 @default.
- W2023675273 hasAuthorship W2023675273A5049757682 @default.
- W2023675273 hasAuthorship W2023675273A5081254473 @default.
- W2023675273 hasConcept C108710211 @default.
- W2023675273 hasConcept C11413529 @default.
- W2023675273 hasConcept C118615104 @default.
- W2023675273 hasConcept C151730666 @default.
- W2023675273 hasConcept C154945302 @default.
- W2023675273 hasConcept C159718280 @default.
- W2023675273 hasConcept C168773769 @default.
- W2023675273 hasConcept C17744445 @default.
- W2023675273 hasConcept C179799912 @default.
- W2023675273 hasConcept C197685441 @default.
- W2023675273 hasConcept C199539241 @default.
- W2023675273 hasConcept C2524010 @default.
- W2023675273 hasConcept C2777212361 @default.
- W2023675273 hasConcept C2779343474 @default.
- W2023675273 hasConcept C33923547 @default.
- W2023675273 hasConcept C41008148 @default.
- W2023675273 hasConcept C80444323 @default.
- W2023675273 hasConcept C86532276 @default.
- W2023675273 hasConcept C86803240 @default.
- W2023675273 hasConceptScore W2023675273C108710211 @default.
- W2023675273 hasConceptScore W2023675273C11413529 @default.
- W2023675273 hasConceptScore W2023675273C118615104 @default.
- W2023675273 hasConceptScore W2023675273C151730666 @default.
- W2023675273 hasConceptScore W2023675273C154945302 @default.
- W2023675273 hasConceptScore W2023675273C159718280 @default.
- W2023675273 hasConceptScore W2023675273C168773769 @default.
- W2023675273 hasConceptScore W2023675273C17744445 @default.
- W2023675273 hasConceptScore W2023675273C179799912 @default.
- W2023675273 hasConceptScore W2023675273C197685441 @default.
- W2023675273 hasConceptScore W2023675273C199539241 @default.
- W2023675273 hasConceptScore W2023675273C2524010 @default.
- W2023675273 hasConceptScore W2023675273C2777212361 @default.
- W2023675273 hasConceptScore W2023675273C2779343474 @default.
- W2023675273 hasConceptScore W2023675273C33923547 @default.
- W2023675273 hasConceptScore W2023675273C41008148 @default.
- W2023675273 hasConceptScore W2023675273C80444323 @default.
- W2023675273 hasConceptScore W2023675273C86532276 @default.
- W2023675273 hasConceptScore W2023675273C86803240 @default.
- W2023675273 hasFunder F4320320878 @default.
- W2023675273 hasFunder F4320321114 @default.
- W2023675273 hasFunder F4320322252 @default.
- W2023675273 hasFunder F4320335016 @default.
- W2023675273 hasFunder F4320337380 @default.
- W2023675273 hasFunder F4320337387 @default.
- W2023675273 hasLocation W20236752731 @default.
- W2023675273 hasOpenAccess W2023675273 @default.
- W2023675273 hasPrimaryLocation W20236752731 @default.
- W2023675273 hasRelatedWork W1513831164 @default.
- W2023675273 hasRelatedWork W1530028497 @default.
- W2023675273 hasRelatedWork W1572523360 @default.
- W2023675273 hasRelatedWork W160337788 @default.
- W2023675273 hasRelatedWork W2039543614 @default.
- W2023675273 hasRelatedWork W2352648941 @default.