Simple python for: https://z.cash/technology/zksnarks
Accepting PR for cleaner explanations and parts 5 (computation to polynomials), 6 (pinocchio) and 7 (elliptic curve pairings)
Parts 5 and 6 rely on QAP (quadratic arithmetic programs). See Vitalik's compiler