Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204678870> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3204678870 abstract "Verifiable computation (VC) enables thin clients to efficiently verify the computational results produced by a powerful server. Although VC was initially considered to be mainly of theoretical interest, over the last two years impressive progress has been made on implementing VC. Specifically, we now have open-source implementations of VC systems that handle all classes of computations expressed either as circuits or in the RAM model. Despite this very encouraging progress, new enhancements in the design and implementation of VC protocols are required to achieve truly practical VC for real-world applications.In this work, we show that for functions that can be expressed efficiently in terms of operations (e.g., a subset of SQL queries) VC can be enhanced to become drastically more practical: We present the design and prototype implementation of a novel VC scheme that achieves orders of magnitude speed-up in comparison with the state of the art. Specifically, we build and evaluate TRUESET, a system that can verifiably compute any polynomial-time function expressed as a circuit consisting of set such as union, intersection, difference and cardinality. Moreover, TRUESET supports hybrid circuits consisting of both gates and traditional arithmetic gates. Therefore, it does not lose any of the expressiveness of previous schemes--this also allows the user to choose the most efficient way to represent different parts of a computation. By expressing computations as polynomial operations and introducing a novel Quadratic Polynomial Program technique, our experiments show that TRUESET achieves prover performance speed-up ranging from 30x to 150x and up to 97% evaluation key size reduction compared to the state-of-the-art." @default.
- W3204678870 created "2021-10-11" @default.
- W3204678870 creator A5047171761 @default.
- W3204678870 creator A5047499714 @default.
- W3204678870 creator A5056111614 @default.
- W3204678870 creator A5077765687 @default.
- W3204678870 creator A5083316665 @default.
- W3204678870 creator A5089202539 @default.
- W3204678870 date "2014-01-01" @default.
- W3204678870 modified "2023-09-23" @default.
- W3204678870 title "TrueSet: Faster Verifiable Set Computations" @default.
- W3204678870 hasPublicationYear "2014" @default.
- W3204678870 type Work @default.
- W3204678870 sameAs 3204678870 @default.
- W3204678870 citedByCount "0" @default.
- W3204678870 crossrefType "posted-content" @default.
- W3204678870 hasAuthorship W3204678870A5047171761 @default.
- W3204678870 hasAuthorship W3204678870A5047499714 @default.
- W3204678870 hasAuthorship W3204678870A5056111614 @default.
- W3204678870 hasAuthorship W3204678870A5077765687 @default.
- W3204678870 hasAuthorship W3204678870A5083316665 @default.
- W3204678870 hasAuthorship W3204678870A5089202539 @default.
- W3204678870 hasConcept C108710211 @default.
- W3204678870 hasConcept C11413529 @default.
- W3204678870 hasConcept C124101348 @default.
- W3204678870 hasConcept C127413603 @default.
- W3204678870 hasConcept C134306372 @default.
- W3204678870 hasConcept C146978453 @default.
- W3204678870 hasConcept C159718280 @default.
- W3204678870 hasConcept C177264268 @default.
- W3204678870 hasConcept C199360897 @default.
- W3204678870 hasConcept C2524010 @default.
- W3204678870 hasConcept C33923547 @default.
- W3204678870 hasConcept C41008148 @default.
- W3204678870 hasConcept C45374587 @default.
- W3204678870 hasConcept C64543145 @default.
- W3204678870 hasConcept C80444323 @default.
- W3204678870 hasConcept C85847156 @default.
- W3204678870 hasConcept C87117476 @default.
- W3204678870 hasConcept C90119067 @default.
- W3204678870 hasConceptScore W3204678870C108710211 @default.
- W3204678870 hasConceptScore W3204678870C11413529 @default.
- W3204678870 hasConceptScore W3204678870C124101348 @default.
- W3204678870 hasConceptScore W3204678870C127413603 @default.
- W3204678870 hasConceptScore W3204678870C134306372 @default.
- W3204678870 hasConceptScore W3204678870C146978453 @default.
- W3204678870 hasConceptScore W3204678870C159718280 @default.
- W3204678870 hasConceptScore W3204678870C177264268 @default.
- W3204678870 hasConceptScore W3204678870C199360897 @default.
- W3204678870 hasConceptScore W3204678870C2524010 @default.
- W3204678870 hasConceptScore W3204678870C33923547 @default.
- W3204678870 hasConceptScore W3204678870C41008148 @default.
- W3204678870 hasConceptScore W3204678870C45374587 @default.
- W3204678870 hasConceptScore W3204678870C64543145 @default.
- W3204678870 hasConceptScore W3204678870C80444323 @default.
- W3204678870 hasConceptScore W3204678870C85847156 @default.
- W3204678870 hasConceptScore W3204678870C87117476 @default.
- W3204678870 hasConceptScore W3204678870C90119067 @default.
- W3204678870 hasOpenAccess W3204678870 @default.
- W3204678870 hasRelatedWork W17958277 @default.
- W3204678870 hasRelatedWork W185173282 @default.
- W3204678870 hasRelatedWork W1971511680 @default.
- W3204678870 hasRelatedWork W2147327383 @default.
- W3204678870 hasRelatedWork W2299825835 @default.
- W3204678870 hasRelatedWork W2399165745 @default.
- W3204678870 hasRelatedWork W2482340149 @default.
- W3204678870 hasRelatedWork W2528337068 @default.
- W3204678870 hasRelatedWork W2566919497 @default.
- W3204678870 hasRelatedWork W2625737557 @default.
- W3204678870 hasRelatedWork W2949220290 @default.
- W3204678870 hasRelatedWork W2999307977 @default.
- W3204678870 hasRelatedWork W3001245828 @default.
- W3204678870 hasRelatedWork W3022540164 @default.
- W3204678870 hasRelatedWork W3044953000 @default.
- W3204678870 hasRelatedWork W3066372123 @default.
- W3204678870 hasRelatedWork W3118873362 @default.
- W3204678870 hasRelatedWork W3134206239 @default.
- W3204678870 hasRelatedWork W5947967 @default.
- W3204678870 hasRelatedWork W1829921177 @default.
- W3204678870 isParatext "false" @default.
- W3204678870 isRetracted "false" @default.
- W3204678870 magId "3204678870" @default.
- W3204678870 workType "article" @default.