Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302547979> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4302547979 abstract "Recently, researchers have been working toward the development of practical general-purpose protocols for verifiable computation. These protocols enable a computationally weak verifier to offload computations to a powerful but untrusted prover, while providing the verifier with a guarantee that the prover performed the computations correctly. Despite substantial progress, existing implementations are not yet practical. The main bottleneck is typically the extra effort required by the prover to return an answer with a guarantee of correctness, compared to returning an answer with no guarantee. We describe a refinement of a powerful interactive proof protocol originally due to Goldwasser, Kalai, and Rothblum. Cormode, Mitzenmacher, and Thaler show how to implement the prover in this protocol in time O(S log S), where S is the size of an arithmetic circuit computing the function of interest. Our refinements apply to circuits whose wiring pattern is sufficiently regular; for these circuits, we bring the runtime of the prover down to O(S). That is, our prover can evaluate the circuit with a guarantee of correctness, with only a constant-factor blowup in work compared to evaluating the circuit with no guarantee. We argue that our refinements capture a large class of circuits, and prove some theorems formalizing this. Experimentally, our refinements yield a 200x speedup for the prover over the implementation of Cormode et al., and our prover is less than 10x slower than a C++ program that simply evaluates the circuit. Along the way, we describe a special-purpose protocol for matrix multiplication that is of interest in its own right. Our final contribution is a protocol targeted at general data parallel computation. Compared to prior work, this protocol can more efficiently verify complicated computations as long as that computation is applied independently to many pieces of data." @default.
- W4302547979 created "2022-10-06" @default.
- W4302547979 creator A5080601320 @default.
- W4302547979 date "2013-04-13" @default.
- W4302547979 modified "2023-09-27" @default.
- W4302547979 title "Time-Optimal Interactive Proofs for Circuit Evaluation" @default.
- W4302547979 doi "https://doi.org/10.48550/arxiv.1304.3812" @default.
- W4302547979 hasPublicationYear "2013" @default.
- W4302547979 type Work @default.
- W4302547979 citedByCount "0" @default.
- W4302547979 crossrefType "posted-content" @default.
- W4302547979 hasAuthorship W4302547979A5080601320 @default.
- W4302547979 hasBestOaLocation W43025479791 @default.
- W4302547979 hasConcept C108710211 @default.
- W4302547979 hasConcept C11413529 @default.
- W4302547979 hasConcept C142724271 @default.
- W4302547979 hasConcept C149635348 @default.
- W4302547979 hasConcept C159718280 @default.
- W4302547979 hasConcept C173608175 @default.
- W4302547979 hasConcept C177264268 @default.
- W4302547979 hasConcept C199360897 @default.
- W4302547979 hasConcept C204787440 @default.
- W4302547979 hasConcept C2524010 @default.
- W4302547979 hasConcept C2780385302 @default.
- W4302547979 hasConcept C2780513914 @default.
- W4302547979 hasConcept C33923547 @default.
- W4302547979 hasConcept C41008148 @default.
- W4302547979 hasConcept C45374587 @default.
- W4302547979 hasConcept C55439883 @default.
- W4302547979 hasConcept C68339613 @default.
- W4302547979 hasConcept C71924100 @default.
- W4302547979 hasConcept C80444323 @default.
- W4302547979 hasConcept C85847156 @default.
- W4302547979 hasConceptScore W4302547979C108710211 @default.
- W4302547979 hasConceptScore W4302547979C11413529 @default.
- W4302547979 hasConceptScore W4302547979C142724271 @default.
- W4302547979 hasConceptScore W4302547979C149635348 @default.
- W4302547979 hasConceptScore W4302547979C159718280 @default.
- W4302547979 hasConceptScore W4302547979C173608175 @default.
- W4302547979 hasConceptScore W4302547979C177264268 @default.
- W4302547979 hasConceptScore W4302547979C199360897 @default.
- W4302547979 hasConceptScore W4302547979C204787440 @default.
- W4302547979 hasConceptScore W4302547979C2524010 @default.
- W4302547979 hasConceptScore W4302547979C2780385302 @default.
- W4302547979 hasConceptScore W4302547979C2780513914 @default.
- W4302547979 hasConceptScore W4302547979C33923547 @default.
- W4302547979 hasConceptScore W4302547979C41008148 @default.
- W4302547979 hasConceptScore W4302547979C45374587 @default.
- W4302547979 hasConceptScore W4302547979C55439883 @default.
- W4302547979 hasConceptScore W4302547979C68339613 @default.
- W4302547979 hasConceptScore W4302547979C71924100 @default.
- W4302547979 hasConceptScore W4302547979C80444323 @default.
- W4302547979 hasConceptScore W4302547979C85847156 @default.
- W4302547979 hasLocation W43025479791 @default.
- W4302547979 hasLocation W43025479792 @default.
- W4302547979 hasOpenAccess W4302547979 @default.
- W4302547979 hasPrimaryLocation W43025479791 @default.
- W4302547979 hasRelatedWork W2116536633 @default.
- W4302547979 hasRelatedWork W2151178082 @default.
- W4302547979 hasRelatedWork W2489890856 @default.
- W4302547979 hasRelatedWork W2915124127 @default.
- W4302547979 hasRelatedWork W2920530813 @default.
- W4302547979 hasRelatedWork W2949286541 @default.
- W4302547979 hasRelatedWork W3214376140 @default.
- W4302547979 hasRelatedWork W4283032222 @default.
- W4302547979 hasRelatedWork W4295127475 @default.
- W4302547979 hasRelatedWork W3123912048 @default.
- W4302547979 isParatext "false" @default.
- W4302547979 isRetracted "false" @default.
- W4302547979 workType "article" @default.