1/13 A new survey from @SuccinctJT: the sum-check protocol is the foundation for all fast SNARK provers. The key thesis: Prover time is dominated by (1) commitment cost and (2) proving data is well-formed. Sum-check, when used correctly, minimizes both. 🧵