- SNARKS FOR C: VERIFYING PRO...
- Edit Event
- Cancel Event
- Preview Reminder
- Send Reminder
- Other events happening in November 2013
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:
Created by Holly A Jones at Friday, October 11, 2013 at 11:38 AM.