1/13 Nowa ankieta od @SuccinctJT: protokół sum-check jest fundamentem dla wszystkich szybkich provers SNARK. Kluczowa teza: Czas proversów jest zdominowany przez (1) koszt zobowiązania i (2) dane dowodowe są dobrze uformowane. Sum-check, gdy jest używany poprawnie, minimalizuje oba. 🧵