1/13 Uma nova pesquisa de @SuccinctJT: o protocolo de verificação de soma é a base para todos os provadores SNARK rápidos. A tese principal: O tempo do provador é dominado por (1) custo de compromisso e (2) os dados de prova estão bem formados. A verificação de soma, quando usada corretamente, minimiza ambos. 🧵