1/13 Una nueva encuesta de @SuccinctJT: el protocolo de verificación de suma es la base de todos los probadores rápidos de SNARK. La tesis clave: el tiempo de prueba está dominado por (1) el costo de compromiso y (2) demostrar que los datos están bien formados. La comprobación de suma, cuando se usa correctamente, minimiza ambos. 🧵