1/13 En ny undersøkelse fra @SuccinctJT: sum-check-protokollen er grunnlaget for alle raske SNARK-bevisere. Hovedoppgaven: Bevistid domineres av (1) forpliktelseskostnader og (2) å bevise at data er velformede. Sum-check, når den brukes riktig, minimerer begge deler. 🧵