- Tema
41k Popularidad
20k Popularidad
62k Popularidad
31k Popularidad
4k Popularidad
98k Popularidad
29k Popularidad
27k Popularidad
7k Popularidad
18k Popularidad
- Anclado
41k Popularidad
20k Popularidad
62k Popularidad
31k Popularidad
4k Popularidad
98k Popularidad
29k Popularidad
27k Popularidad
7k Popularidad
18k Popularidad
Nova: La técnica R1CS relajada lidera una nueva era de zk-SNARKs
Nova: Un sistema innovador de zk-SNARKs
Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza la tecnología (Relaxed R1CS) para mejorar la eficiencia y flexibilidad de las pruebas.
Principales ventajas de Nova
El uso de la tecnología R1CS relajada permite utilizar menos aleatoriedad en las pruebas, lo que mejora considerablemente la eficiencia de la prueba.
Soporta el cálculo incremental, lo que permite calcular funciones complejas paso a paso, sin tener que calcular toda la función de una vez.
Soporte para cálculos polinómicos, capaz de manejar tareas de prueba más complejas.
Posibles desventajas de Nova
Debido al uso de R1CS relajado, la prueba puede no ser tan robusta como los sistemas R1CS tradicionales, lo que podría reducir ligeramente la seguridad.
La implementación es relativamente compleja y requiere una comprensión profunda de cálculos polinómicos, operaciones en grupos y otras técnicas avanzadas de criptografía.
La importante posición de Nova
Nova ha abierto un nuevo camino para el desarrollo de zk-SNARKs. La tecnología que utiliza hace que el proceso de generación y verificación de pruebas sea más eficiente, lo cual es crucial para aplicaciones a gran escala de zk-SNARKs. Al mismo tiempo, Nova también ha ampliado el ámbito de aplicación de zk-SNARKs, pudiendo manejar tareas de prueba más complejas.
Componentes centrales de Nova
R1CS y Relaxed R1CS: sistemas de restricciones utilizados para construir zk-SNARKs.
Esquema de compromiso polinomial: se utiliza para demostrar el valor de evaluación de un polinomio sin revelar el polinomio en sí.
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios.
Cálculo incremental: permite calcular funciones complejas de forma gradual.
Esquema de pliegue no interactivo ( NIFS ): utilizado para demostrar la corrección de cada paso en el cálculo incremental.
Nova ha logrado un sistema de zk-SNARKs eficiente y flexible al combinar estas tecnologías de manera innovadora, proporcionando herramientas poderosas para el blockchain, la computación segura y otros campos.