International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

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

Authors:
Eli Ben-Sasson
Alessandro Chiesa
Daniel Genkin
Eran Tromer
Madars Virza
Download:
DOI: 10.1007/978-3-642-40084-1_6 (login may be required)
URL: https://www.iacr.org/archive/crypto2013/80420214/80420214.pdf
Search ePrint
Search Google
Conference: CRYPTO 2013
Video from CRYPTO 2013
BibTeX
@inproceedings{crypto-2013-24644,
  title={SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={90-108},
  url={https://www.iacr.org/archive/crypto2013/80420214/80420214.pdf},
  doi={10.1007/978-3-642-40084-1_6},
  author={Eli Ben-Sasson and Alessandro Chiesa and Daniel Genkin and Eran Tromer and Madars Virza},
  year=2013
}