Add ZK proofs via (Tiny)RAM constructions paper.
Add paper on PCP efficiency.
Add paper on QSP-based Succinct NIZK without PCPs.
Add paper on the history of PCP theorems.
Add paper on recursion efficiency in SNARK languages.
Add SNARKs for C paper
Add SNAR(K|G)s via Linear Interactive Proofs.