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