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

Para añadir un poco más de matiz, la verificación de suma puede ayudar a hacer más rápido el compromiso con valores pequeños mediante compromisos basados en hashing. e.j., FRI-Binius agrupa muchos valores pequeños en un solo elemento de campo antes de aplicar un esquema de compromiso similar a FRI a los valores agrupados. La verificación de suma se utiliza entonces para relacionar los valores desagrupados (que son los que realmente le importan al verificador) con los agrupados que están realmente comprometidos.