1/ Ny undersøkelse: Sum-sjekk er alt du trenger. Har nettopp lagt ut en undersøkelse om designprinsippene bak Jolt og hurtigprøvende SNARK-er mer generelt. Det er uten tvil første gang alle kjerneideene har blitt skrevet ned på ett sted.

2/ Hva er sum-check-protokollen? Det er ryggraden i dagens raskeste SNARK-er. Et interaktivt bevis som sjekker en enorm sum med minimalt overhead. I SNARK-er lar det bevisere forplikte seg til langt mindre data. Det meste av arbeidet blir enkle addisjoner og multiplikasjoner.

3/ Men ikke all bruk av sum-sjekk er like. De raskeste SNARK-ene bruker det intelligent, og utnytter gjentatt struktur for å minimere bevisarbeid. Viktige teknikker: – Argumenter for batchevaluering – Minne sjekk – Virtuelle polynomer – Sparsomme sum-sjekker – Bevaring av småverdier