1/ Nuovo sondaggio: Sum-check è tutto ciò di cui hai bisogno. Ho appena pubblicato un sondaggio sui principi di design dietro Jolt e SNARKs a prova rapida in generale. È probabilmente la prima volta che le idee fondamentali sono state scritte tutte in un unico posto.

2/ Cos'è il protocollo di verifica della somma? È la spina dorsale degli SNARK più veloci di oggi. Una prova interattiva che verifica una grande somma con un sovraccarico minimo. Negli SNARK, consente ai provatori di impegnarsi a fornire molti meno dati. La maggior parte del lavoro diventa semplici addizioni e moltiplicazioni.

3/ Ma non tutti gli usi del sum-check sono uguali. I SNARK più veloci lo usano in modo intelligente, sfruttando la struttura ripetuta per minimizzare il lavoro del provatore. Tecniche chiave: – Argomenti di valutazione batch – Controllo della memoria – Polinomi virtuali – Sum-checks sparsi – Conservazione dei piccoli valori

Per aggiungere un po' più di sfumatura, il sum-check può potenzialmente aiutare a rendere più veloce l'impegno a valori piccoli con impegni basati su hashing. e.g., FRI-Binius raggruppa molti valori piccoli in un singolo elemento di campo prima di applicare uno schema di impegno simile a FRI ai valori raggruppati. Il sum-check viene quindi utilizzato per collegare i valori non raggruppati (che sono quelli che interessano effettivamente il verificatore) a quelli raggruppati che sono effettivamente impegnati.