Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer. Recursive composition and bootstrapping for SNARKS and proof-carrying data. In Dan Boneh, Tim Roughgarden, Joan Feigenbaum, editors, Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA, USA, June 1-4, 2013. pages 111-120, ACM, 2013. [doi]
Abstract is missing.