SNARKS FOR C: VERIFYING PROGRAM EXECUTIONS SUCCINCTLY AND IN ZERO KNOWLEDGE

Speaker: Alessandro Chiesa

Date: Friday, November 22, 2013

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: Shafi Goldwasser

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

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

Speaker URL: None

Speaker Photo:
None

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

Reminder Subject: TALK: SNARKS FOR C: VERIFYING PROGRAM EXECUTIONS SUCCINCTLY AND IN ZERO KNOWLEDGE

Abstract: Theoretical results in cryptography provide various techniques for outsourcing computation with strong integrity and confidentiality guarantees. Yet, these techniques continue to suffer from high overheads in the general case. In this work, we significantly reduce the aforementioned costs via a combination of new theoretical and engineering techniques. Concretely, we present a new system for proving the correctness of high-level program executions. Proofs in our system are non-interactive, short (less than 300 bytes), and can be verified publicly in milliseconds. Moreover, our proofs are zero-knowledge proofs of knowledge. Our work raises additional intriguing mathematical questions, whose solutions could push outsourced computation even further.

*Joint work with Eli Ben-Sasson, Daniel Genkin, Eran Tromer, and Madars Virza.

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 Friday, October 11, 2013 at 11:38 AM.