Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data

Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer. Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data. IACR Cryptology ePrint Archive, 2012:95, 2012. [doi]

Abstract

Abstract is missing.