Recursive composition and bootstrapping for SNARKS and proof-carrying data.

Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer

Browse the full STOC paper archive.