1/13 Nový průzkum od @SuccinctJT: Sum-check protokol je základem pro všechny rychlé dokazovače SNARK. Klíčová teze: Času prokazování dominují (1) náklady na závazek a (2) dokazování, že data jsou správně zformována. Sum-check, pokud je použit správně, minimalizuje obojí. 🧵