Comment by Ar-Curunir

Yeah, it's a relatively good high level post about SNARKs, but there's some confusion about the role of PCPs in SNARKs.

(all SNARKs have some probabilistic checking at the core; that's how you get succinctness)