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 SNARK de prueba rápida en general. Podría decirse que es la primera vez que las ideas centrales se escriben en un solo lugar.

2/ ¿Qué es el protocolo de comprobación de sumas? Es la columna vertebral de los SNARK más rápidos de la actualidad. Una prueba interactiva que verifica una gran suma con gastos generales mínimos. En SNARK, permite a los demostradores comprometerse con muchos 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 SNARK más rápidos lo usan de manera inteligente, explotando la estructura repetida para minimizar el trabajo del probador. Técnicas clave: – Argumentos de evaluación por lotes – Comprobación de memoria – Polinomios virtuales – Controles de suma dispersa – Preservación de escaso valor