Cryptology ePrint Archive: Report 2013/507

Available versions in chronological order


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

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 ]