News for hackers. Stuff that matters.
Re:A Field Guide to zkSNARKs Part I: A Primer on Computation by Ar-Curunir on Monday May 25, 2020 @02:44AM (#23298631)
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)

Re:A Field Guide to zkSNARKs Part I: A Primer on Computation by madrafi on Monday May 25, 2020 @10:31AM (#23301482)
Author here, I did gloss over PCPs certainly, and agree that SNARKs also use PCPs and I might have made the terrible conclusion about proof sizes. Will push an update soon ! thanks for taking the time.