Realizing the Promise of Proof-Based Verifiable Computation

reportActive / Technical Report | Accesssion Number: AD1085970 | Open PDF

Abstract:

This project designed and built systems that allow people to get useful work out of computers and components without having to trust, that is assume, that those components work properly. We have answered questions such as: how can we integrate custom hardware into a system, if the hardware manufacturer may be adversarial? How can a client outsource a computation to servers, if the servers are not guaranteed to return the right answer? How can we use peripheral devices with our computers, when those devices may be malicious, given that commodity computers are designed to trust physically connected hardware?

Author(s):
Walfish, Michael ; Blumberg, Andrew
Author Organization(s):
NEW YORK UNIV; TEXAS UNIV AT AUSTIN
Funding Organization(s):
Publication Date:
2019 Apr 24
Pagination:
0

Security Markings

RECORD

Collection: TRECMS
Subject Terms
Modernization Areas:
Quantum Science and Computing
Communities of Interest:
No COI(s) Identified
Descriptor(s):
data analysis, computers, computer programs, algorithms, cryptography, dimensionality reduction, computations, data sets, genetics, cells, computer programming, electronic mail, geometry, operating systems, point clouds, web applications, applied mathematics
Keyword(s):
PROBABILISTIC CHECKABLE PROOFS, VERIFIABLE COMPUTATION, TRUSTED DISTRIBUTED COMPUTING, VERIFIABLE CLOUD COMPUTING, COMPUTATIONAL COMPLEXITY, trust
Subject Categories:
Mathematical and Computer Sciences; Mathematical and Computer Sciences
Update Date:
2020 Dec 02