Rational Arguments: Single Round Delegation with Sublinear Verification

Speaker: Pavel Hubacek , University of Aarhus

Date: Friday, February 07, 2014

Time: 10:30 AM to 12:00 PM Note: all times are in the Eastern Time Zone

Public: Yes

Location: 32-G449

Event Type:

Room Description:

Host: Vinod Vaikuntanathan, CIS, TOC, CSAIL, MIT

Contact: Holly A Jones, hjones01@csail.mit.edu

Relevant URL: http://toc.csail.mit.edu/node/454

Speaker URL: None

Speaker Photo:
None

Reminders to: cis-seminars@csail.mit.edu, seminars@lists.csail.mit.edu

Reminder Subject: TALK: Rational Arguments: Single Round Delegation with Sublinear Verification

Abstract:

In this talk I will present Rational Arguments, a new notion that extends the model of Rational Proofs of Azar and Micali into the computational setting. The advantage of rational proofs over their classical counterparts is that they allow for extremely low communication and verification time. We show that this efficiency can be preserved also in the computational setting while additionally decreasing the round complexity.

The low interaction nature of our protocols, along with their sub-linear verification time, make them well suited for delegation of computation. Our rational arguments for languages in NC1 compare favorably to each of the known delegation schemes in at least one aspect; they are simple, rely on standard complexity hardness assumptions, provide a correctness guarantee for all instances, and do not require preprocessing.
This is joint work with Siyao Guo, Alon Rosen and Margarita Vald.

Research Areas:

Impact Areas:

See other events that are part of the Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014.

Created by Holly A Jones at Thursday, January 16, 2014 at 9:27 AM.