New (Zero-Knowledge) Arguments and Their Applications to Verifiable Computation

Simple item page
dc.contributor.advisorPapamanthou, Charalamposen_US
dc.contributor.authorZhang, Yupengen_US
dc.contributor.departmentElectrical Engineeringen_US
dc.contributor.publisherDigital Repository at the University of Marylanden_US
dc.contributor.publisherUniversity of Maryland (College Park, Md.)en_US
dc.date.accessioned2018-09-13T05:38:55Z
dc.date.available2018-09-13T05:38:55Z
dc.date.issued2018en_US
dc.description.abstractWe study the problem of argument systems, where a computationally weak verifier outsources the execution of a computation to a powerful but untrusted prover, while being able to validate that the result was computed correctly through a proof generated by the prover. In addition, the zero-knowledge property guarantees that proof leaks no information about the potential secret input from the prover. Existing efficient zero-knowledge arguments with sublinear verification time require an expensive preprocessing phase that depends on a particular computation, and incur big overhead on the prover time and prover memory consumption. This thesis proposes new constructions for zero-knowledge arguments that overcome the above problems. The new constructions require only a one time preprocessing and can be used to validate any computations later. They also reduce the overhead on the prover time and memory by orders of magnitude. We apply our new constructions to build a verifiable database system and verifiable RAM programs, leading to significant improvements over prior work.en_US
dc.identifierhttps://doi.org/10.13016/M20P0WV10
dc.identifier.urihttp://hdl.handle.net/1903/21349
dc.language.isoenen_US
dc.subject.pqcontrolledComputer engineeringen_US
dc.subject.pquncontrolledCloud Computingen_US
dc.subject.pquncontrolledVerifiable Computationen_US
dc.subject.pquncontrolledVerifiable Databasesen_US
dc.subject.pquncontrolledZero-knowledge Argumenten_US
dc.titleNew (Zero-Knowledge) Arguments and Their Applications to Verifiable Computationen_US
dc.typeDissertationen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Zhang_umd_0117E_19343.pdf
Size:
1.62 MB
Format:
Adobe Portable Document Format
Download

Collections

UMD Theses and Dissertations
Electrical & Computer Engineering Theses and Dissertations