Cryptology ePrint Archive: Report 2013/507
Available versions in chronological order
20130817:204747 (posted 17-Aug-2013 20:47:47 UTC)
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
Eli Ben-Sasson and Alessandro Chiesa and Daniel Genkin and Eran Tromer and Madars Virza
Original publication (with major differences): IACR-CRYPTO-2013
20131007:163415 (posted 07-Oct-2013 16:34:15 UTC)
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
Eli Ben-Sasson and Alessandro Chiesa and Daniel Genkin and Eran Tromer and Madars Virza
Original publication (with major differences): IACR-CRYPTO-2013
[
Cryptology ePrint archive
]