1/13 Un nuovo sondaggio di @SuccinctJT: il protocollo sum-check è la base per tutti i provatori SNARK veloci. La tesi principale: il tempo del provatore è dominato da (1) il costo di impegno e (2) i dati di prova sono ben formati. Il sum-check, se usato correttamente, minimizza entrambi. 🧵