1/ Ny undersökning: Summering är allt du behöver. Har precis postat en undersökning om designprinciperna bakom Jolt och snabbprovade SNARKs mer allmänt. Det är utan tvekan första gången som alla kärnidéer har skrivits ner på ett ställe.

2/ Vad är sum-check-protokollet? Det är ryggraden i dagens snabbaste SNARKs. Ett interaktivt bevis som kontrollerar en enorm summa med minimala omkostnader. I SNARKs gör det att bevisare kan förbinda sig till mycket mindre data. Det mesta av arbetet blir enkla addition och multiplikationer.

3/ Men alla användningar av summakontroll är inte lika. De snabbaste SNARK:erna använder det på ett intelligent sätt och utnyttjar upprepad struktur för att minimera provarbetet. Viktiga tekniker: – Argument för batchutvärdering – Kontroll av minne – Virtuella polynom – Glesa summakontroller – Bevarande av små värden

För att lägga till lite mer nyanser kan summakontroll potentiellt hjälpa till att göra det snabbare att förbinda sig till små värden med hash-baserade åtaganden. t.ex. packar FRI-Binius många små värden i ett enda fältelement innan ett FRI-liknande åtagandeschema tillämpas på de packade värdena. Summeringskontroll används sedan för att relatera de uppackade värdena (som är vad verifieraren faktiskt bryr sig om) till de packade som faktiskt är bekräftade.