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