Matches in SemOpenAlex for { <https://semopenalex.org/work/W3090584820> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3090584820 startingPage "1155" @default.
- W3090584820 abstract "As cloud computing becomes more popular, research has focused on usable solutions to the problem of verifiable computation (VC), where a computationally weak device (Verifier) outsources a program execution to a powerful server (Prover) and receives guarantees that the execution was performed faithfully. A Prover can further demonstrate knowledge of a secret input that causes the Verifier’s program to satisfy certain assertions, without ever revealing which input was used. State-of-the-art Zero-Knowledge Proofs of Knowledge (ZKPK) methods encode a computation using arithmetic circuits and preserve the privacy of Prover’s inputs while attesting the integrity of program execution. Nevertheless, developing, debugging, and optimizing programs as circuits remains a daunting task, as most users are unfamiliar with this programming paradigm. In this work, we present Zilch, a framework that accelerates and simplifies the deployment of VC and ZKPK for any application transparently , i.e., without the need of trusted setup. Zilch uses traditional instruction sequences rather than static arithmetic circuits that would need to be regenerated for each different computation. Towards that end, we have implemented Z MIPS: a MIPS-like processor model that allows verifying each instruction independently and compose a proof for the execution of the target application. To foster usability, Zilch incorporates a novel cross-compiler from an object-oriented Java-like language tailored to ZKPK and optimized our Z MIPS model, as well as a powerful API that enables integration of ZKPK within existing C/C++ programs. In our experiments, we demonstrate the flexibility of Zilch using two real-life applications, and evaluate Prover and Verifier performance on a variety of benchmarks." @default.
- W3090584820 created "2020-10-08" @default.
- W3090584820 creator A5014585745 @default.
- W3090584820 creator A5064496184 @default.
- W3090584820 date "2020-01-01" @default.
- W3090584820 modified "2023-09-26" @default.
- W3090584820 title "Zilch: A Framework for Deploying Transparent Zero-Knowledge Proofs." @default.
- W3090584820 hasPublicationYear "2020" @default.
- W3090584820 type Work @default.
- W3090584820 sameAs 3090584820 @default.
- W3090584820 citedByCount "0" @default.
- W3090584820 crossrefType "posted-content" @default.
- W3090584820 hasAuthorship W3090584820A5014585745 @default.
- W3090584820 hasAuthorship W3090584820A5064496184 @default.
- W3090584820 hasConcept C108710211 @default.
- W3090584820 hasConcept C11413529 @default.
- W3090584820 hasConcept C136764020 @default.
- W3090584820 hasConcept C159718280 @default.
- W3090584820 hasConcept C168065819 @default.
- W3090584820 hasConcept C169590947 @default.
- W3090584820 hasConcept C176329583 @default.
- W3090584820 hasConcept C177264268 @default.
- W3090584820 hasConcept C178489894 @default.
- W3090584820 hasConcept C199360897 @default.
- W3090584820 hasConcept C2524010 @default.
- W3090584820 hasConcept C2780615836 @default.
- W3090584820 hasConcept C33923547 @default.
- W3090584820 hasConcept C41008148 @default.
- W3090584820 hasConcept C80444323 @default.
- W3090584820 hasConcept C85847156 @default.
- W3090584820 hasConceptScore W3090584820C108710211 @default.
- W3090584820 hasConceptScore W3090584820C11413529 @default.
- W3090584820 hasConceptScore W3090584820C136764020 @default.
- W3090584820 hasConceptScore W3090584820C159718280 @default.
- W3090584820 hasConceptScore W3090584820C168065819 @default.
- W3090584820 hasConceptScore W3090584820C169590947 @default.
- W3090584820 hasConceptScore W3090584820C176329583 @default.
- W3090584820 hasConceptScore W3090584820C177264268 @default.
- W3090584820 hasConceptScore W3090584820C178489894 @default.
- W3090584820 hasConceptScore W3090584820C199360897 @default.
- W3090584820 hasConceptScore W3090584820C2524010 @default.
- W3090584820 hasConceptScore W3090584820C2780615836 @default.
- W3090584820 hasConceptScore W3090584820C33923547 @default.
- W3090584820 hasConceptScore W3090584820C41008148 @default.
- W3090584820 hasConceptScore W3090584820C80444323 @default.
- W3090584820 hasConceptScore W3090584820C85847156 @default.
- W3090584820 hasLocation W30905848201 @default.
- W3090584820 hasOpenAccess W3090584820 @default.
- W3090584820 hasPrimaryLocation W30905848201 @default.
- W3090584820 hasRelatedWork W1265250368 @default.
- W3090584820 hasRelatedWork W1496835330 @default.
- W3090584820 hasRelatedWork W2016012949 @default.
- W3090584820 hasRelatedWork W20466588 @default.
- W3090584820 hasRelatedWork W2152697258 @default.
- W3090584820 hasRelatedWork W2247862869 @default.
- W3090584820 hasRelatedWork W238147166 @default.
- W3090584820 hasRelatedWork W2395813027 @default.
- W3090584820 hasRelatedWork W2403789702 @default.
- W3090584820 hasRelatedWork W2494413865 @default.
- W3090584820 hasRelatedWork W2547390950 @default.
- W3090584820 hasRelatedWork W2726957701 @default.
- W3090584820 hasRelatedWork W2780272057 @default.
- W3090584820 hasRelatedWork W2925234719 @default.
- W3090584820 hasRelatedWork W2965369276 @default.
- W3090584820 hasRelatedWork W3092028592 @default.
- W3090584820 hasRelatedWork W3097784055 @default.
- W3090584820 hasRelatedWork W3101557233 @default.
- W3090584820 hasRelatedWork W3151508267 @default.
- W3090584820 hasRelatedWork W3157453869 @default.
- W3090584820 hasVolume "2020" @default.
- W3090584820 isParatext "false" @default.
- W3090584820 isRetracted "false" @default.
- W3090584820 magId "3090584820" @default.
- W3090584820 workType "article" @default.