We are a group of researchers based at MIT, Technion, and Tel Aviv University, seeking to bring to practice cryptographic proof systems that provide succinct integrity and privacy.
Our latest paper is:
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge [ePrint]
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, and Madars Virza
33rd International Cryptology Conference (CRYPTO 2013)
For other papers, see Publications.
For announcements and discussions, join our mailing list.