1/ Nueva encuesta: Sum-check es todo lo que necesitas. Acabo de publicar una encuesta sobre los principios de diseño detrás de Jolt y los SNARKs de prueba rápida en general. Es, sin duda, la primera vez que las ideas centrales se han escrito todas en un solo lugar.

2/ ¿Cuál es el protocolo de verificación de suma? Es la columna vertebral de los SNARKs más rápidos de hoy. Una prueba interactiva que verifica una gran suma con un mínimo de sobrecarga. En los SNARKs, permite a los probadores comprometerse a mucho menos datos. La mayor parte del trabajo se convierte en simples sumas y multiplicaciones.

3/ Pero no todos los usos de la verificación de suma son iguales. Los SNARKs más rápidos la utilizan de manera inteligente, aprovechando la estructura repetida para minimizar el trabajo del probador. Técnicas clave: – Argumentos de evaluación por lotes – Verificación de memoria – Polinomios virtuales – Verificaciones de suma dispersas – Conservación de valores pequeños