Nova: un nuevo sistema de zk-SNARKs

Nova es un nuevo tipo de sistema de zk-SNARKs desarrollado por Microsoft, que utiliza la tecnología de sistema de restricciones de rango uno relajadas (Relaxed R1CS) para mejorar la eficiencia y flexibilidad de las pruebas.

Las principales ventajas de Nova incluyen:

• Al usar la técnica R1CS relajada, se puede utilizar menos aleatoriedad en la prueba, lo que mejora significativamente la eficiencia de la prueba.
• Soporta cálculos incrementales, lo que permite calcular funciones complejas de manera gradual
• Soporta cálculos polinómicos, puede manejar tareas de prueba más complejas

Nova también tiene algunas desventajas:

• Debido al uso de R1CS relajado, la prueba puede no ser tan poderosa como los sistemas R1CS tradicionales.
• La implementación es relativamente compleja y su uso y mantenimiento son difíciles.

A pesar de esto, Nova sigue ocupando una posición importante en el campo de zk-SNARKs. Ha abierto nuevos caminos para el desarrollo de zk-SNARKs, haciendo que el proceso de generación y verificación de pruebas sea más eficiente, pudiendo manejar tareas de prueba más complejas, ampliando aún más el ámbito de aplicación de zk-SNARKs.

La implementación central de Nova incluye:

• Definición e implementación de R1CS y R1CS relajado
• Estructuras de datos y algoritmos relacionados con el cálculo de polinomios
• Implementación del protocolo Sumcheck
• Implementación del esquema de pliegue no interactivo (NIFS)
• Esquema de compromiso polinómico basado en pruebas de producto interno

Estos componentes constituyen el eficiente sistema de zk-SNARKs de Nova, realizando una importante contribución al avance de la tecnología de zk-SNARKs.