https://tahoe-lafs.org/trac/tahoe-lafs/wiki/SNARKs
https://github.com/scipr-lab/libsnark
http://tau.ac.il/~tromer/papers/csnark-20131007.pdf
https://eprint.iacr.org/2013/279.pdf
http://www.cs.tau.ac.il/~tromer/papers/bootsnark-20120403.pdf
http://eprint.iacr.org/2012/095.pdf
https://usukitacs.com/sites/default/files/QSP.pdf
http://mpclounge.org/blog/
http://courses.cs.washington.edu/courses/cse533/05au/pcp-history.pdf
ftp://ftp.inf.ethz.ch/pub/crypto/publications/IsOsZi14.pdf
http://eprint.iacr.org/2011/443.pdf
http://eprint.iacr.org/2012/718.pdf
http://eprint.iacr.org/2013/879.pdf
https://github.com/herumi/ate-pairing
http://eprint.iacr.org/2014/595.pdf
http://eprint.iacr.org/2014/718.pdf
http://eprint.iacr.org/2014/763.pdf
http://pages.cs.wisc.edu/~mkowalcz/628.pdf
http://web.cs.ucla.edu/~rafail/PUBLIC/77.pdf
http://eprint.iacr.org/2015/437.pdf
http://www.scipr-lab.org/doc/TinyRAM-spec-0.991.pdf
https://eprint.iacr.org/2014/617.pdf
http://www.ieee-security.org/TC/SP2015/papers-archived/6949a287.pdf
http://eprint.iacr.org/2015/377.pdf
http://www.wisdom.weizmann.ac.il/~orm/papers/derand_parallel_repetition_full.pdf
http://www-sop.inria.fr/members/Nicolas.Nisse/slides/JCALM15_Nisse.pdf
http://www.wisdom.weizmann.ac.il/~oded/R2/pt-by-ex.pdf
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.133.5651&rep=rep1&type=pdf
http://cs1.cs.nyu.edu/~khot/papers/
http://people.csail.mit.edu/dmoshkov/courses/pcp/dinur_pcp_overview.pdf
http://www.cs.utexas.edu/~srinath/diss.pdf
http://people.seas.harvard.edu/~jthaler/thesis.pdf
http://www.pepper-project.org/buffet-ndss15.pdf
http://eprint.iacr.org/2015/1093.pdf
http://eprint.iacr.org/2016/116
https://eprint.iacr.org/2016/263
https://eprint.iacr.org/2018/046.pdf
https://eprint.iacr.org/2017/872
https://dl.acm.org/citation.cfm?id=3134104&dl=ACM&coll=DL
https://dl.acm.org/citation.cfm?id=3133956&picked=prox
https://eprint.iacr.org/2019/1229.pdf