1/ Sondaj nou: Sum-check este tot ce aveți nevoie. Tocmai am postat un sondaj despre principiile de proiectare din spatele SNARK-urilor Jolt și fast-prover în sens mai larg. Este, fără îndoială, prima dată când ideile de bază au fost scrise într-un singur loc.

2/ Care este protocolul sum-check? Este coloana vertebrală a celor mai rapide SNARK-uri de astăzi. O dovadă interactivă care verifică o sumă uriașă cu cheltuieli generale minime. În SNARK-uri, permite testatorilor să se angajeze la mult mai puține date. Cea mai mare parte a lucrării devine simple adăugiri și înmulțiri.

3/ Dar nu toate utilizările verificării sumei sunt egale. Cele mai rapide SNARK-uri îl folosesc inteligent, exploatând structura repetată pentru a minimiza munca de testare. Tehnici cheie: – Argumente de evaluare a loturilor – Verificarea memoriei – Polinoame virtuale – Verificări cu sumă redusă – Conservarea cu valoare mică

Pentru a adăuga mai multe nuanțe, sum-check poate ajuta la accelerarea angajamentului la valori mici cu angajamente bazate pe hashing. de exemplu, FRI-Binius împachetează mai multe valori mici într-un singur element de câmp înainte de a aplica o schemă de angajament de tip FRI la valorile ambalate. Sum-check este apoi folosit pentru a corela valorile despachetate (care sunt ceea ce îi pasă de fapt verificatorului) cu cele ambalate care sunt efectiv angajate.