1/13 Нове дослідження від @SuccinctJT: протокол перевірки суми є основою для всіх швидких доказів SNARK. Ключова теза: у часі доведення переважають (1) витрати на зобов'язання та (2) дані доведення є добре сформованими. Перевірка суми, при правильному використанні, мінімізує і те, і інше. 🧵