SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza. SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge. In Ran Canetti, Juan A. Garay, editors, Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II. Volume 8043 of Lecture Notes in Computer Science, pages 90-108, Springer, 2013. [doi]

Authors

Eli Ben-Sasson

This author has not been identified. Look up 'Eli Ben-Sasson' in Google

Alessandro Chiesa

This author has not been identified. Look up 'Alessandro Chiesa' in Google

Daniel Genkin

This author has not been identified. Look up 'Daniel Genkin' in Google

Eran Tromer

This author has not been identified. Look up 'Eran Tromer' in Google

Madars Virza

This author has not been identified. Look up 'Madars Virza' in Google