..

Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data (2012) - Nitansky, Canetti, Chiesa, Tromer.pdf.gz

SNARKs for C Verifying Program Executions Succinctly and in Zero Knowledge (2013) - Ben-Sasson, Chiesa, Genkin, Tromer, Virza.pdf.gz

Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs (2015).pdf.gz

Succinct Non-Interactive Arguments via Linear Interactive Proofs (2013) - Bitansky, Chiesa, Ishai, Ostrovsky, Paneth.pdf.gz