SNARKS FOR C: VERIFYING PROGRAM EXECUTIONS SUCCINCTLY AND IN ZERO KNOWLEDGE
Date: Friday, November 22, 2013
Time: 10:30 AM to 12:00 PM Note: all times are in the Eastern Time Zone
Host: Shafi Goldwasser
Contact: Holly A Jones, firstname.lastname@example.org
Relevant URL: http://toc.csail.mit.edu/node/355
Speaker URL: None
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.
Created by Holly A Jones at Friday, October 11, 2013 at 11:38 AM.