- Tema
68k Popularidad
43k Popularidad
15k Popularidad
4k Popularidad
5k Popularidad
29k Popularidad
16k Popularidad
22k Popularidad
13k Popularidad
3k Popularidad
- Anclado
68k Popularidad
43k Popularidad
15k Popularidad
4k Popularidad
5k Popularidad
29k Popularidad
16k Popularidad
22k Popularidad
13k Popularidad
3k Popularidad
Nova: El sistema eficiente de zk-SNARKs desarrollado por Microsoft revoluciona las aplicaciones de Cadena de bloques
Nova: un sistema de zk-SNARKs eficiente
Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza la tecnología de Sistemas de Restricción de Rango 1 Relajados (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) para mejorar la eficiencia y flexibilidad de las pruebas.
Principales ventajas de Nova
Se ha mejorado significativamente la eficiencia de la prueba utilizando tecnología R1CS relajada.
Soporta el cálculo incremental, lo que permite calcular funciones complejas de manera gradual, sin necesidad de calcular toda la función de una vez.
Soporte para cálculos polinómicos, capaz de manejar tareas de prueba más complejas.
Desventajas potenciales de Nova
La prueba puede no ser tan poderosa como los sistemas R1CS tradicionales, ya que el R1CS relajado permite utilizar menos aleatoriedad en la prueba.
La implementación es relativamente compleja, lo que puede aumentar la dificultad de uso y mantenimiento.
La importancia de Nova en el campo de zk-SNARKs
La aparición de Nova ha abierto un nuevo camino para el desarrollo de zk-SNARKs. Su eficiencia y flexibilidad hacen posible la aplicación a gran escala de zk-SNARKs, ampliando aún más el alcance de su aplicación.
Componentes centrales de Nova
R1CS y R1CS relajado: sistemas de restricciones utilizados para construir zk-SNARKs.
Esquema de compromiso polinómico: utilizado para demostrar la corrección de la evaluación polinómica.
Esquema de plegado no interactivo (NIFS): se utiliza para probar la corrección de cada paso en el cálculo incremental.
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios.
Criptografía de curvas elípticas (ECC): proporciona operaciones criptográficas básicas.
La implementación de Nova implica múltiples conceptos y tecnologías criptográficas complejas, incluidos R1CS, compromisos polinómicos, oráculos aleatorios, etc. Estos componentes conforman un sistema de prueba de conocimiento cero (zk-SNARKs) eficiente y flexible, que proporciona un potente soporte técnico para aplicaciones en áreas como blockchain y autenticación.