The Greedy Cloud: Progress in Incentivizing Honest Computation

6 November 2015, 2.00 PM - 6 November 2015, 3.00 PM

Matteo Campanelli (CUNY)

MVB 1.06, Merchant Venturers Building, Woodland Road

With the rise of cloud computing more and more businesses and individuals lease computing resources from a service rather than maintain their own computing infrastructure (e.g. Dropbox, Amazon AWS). How do we check that the results of outsourced computation on these remotely stored data are correct and how can we perform such tests very efficiently? Could we push this further and perform (almost) no check at all and still obtain a trusted result from a computation? For example, can we exploit the economic incentives of the computation providers and make sure they are economically damaged if they provide a lesser quality (i.e. incorrect) computation? The answer turns out to be yes. Within this framework, I will give an overview of a basic tool, Rational Proofs, the economic equivalent of the more traditional Interactive Proofs and some of the challenges in achieving them for general purpose computation.

Edit this page