[BCCT13] Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data

Authors: Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer | Venue: STOC 2013 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Inproceedings{STOC:BCCT13,
  author = {Nir Bitansky and Ran Canetti and Alessandro Chiesa and Eran Tromer},
  title = {Recursive composition and bootstrapping for {SNARKS} and proof-carrying data},
  pages = {111--120},
  editor = {Dan Boneh and Tim Roughgarden and Joan Feigenbaum},
  booktitle = {45th Annual {ACM} Symposium on Theory of Computing},
  address = {Palo Alto, CA, USA},
  month = {jun~1--4},
  publisher = {{ACM} Press},
  year = {2013},
  doi = {10.1145/2488608.2488623},
}