Nova es un nuevo tipo de sistema de zk-SNARKs desarrollado por Microsoft, diseñado para mejorar la eficiencia y flexibilidad de las pruebas. Utiliza la tecnología de Sistemas de Restricciones de Rango 1 Relajados (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), que permite usar menos aleatoriedad en las pruebas, lo que mejora significativamente la eficiencia de las pruebas.
Principales características de Nova
Eficiencia: Nova utiliza la tecnología R1CS relajada, lo que reduce la aleatoriedad requerida en el proceso de prueba y mejora significativamente la velocidad de generación y verificación de las pruebas.
Soporte para cálculos incrementales: Nova permite calcular funciones complejas de manera gradual, sin necesidad de completar todo el proceso de cálculo de una sola vez. Esto es especialmente útil al manejar grandes volúmenes de datos o al realizar cálculos complejos.
Soporte de cálculo polinómico: Nova puede manejar tareas de prueba más complejas, ampliando el alcance de las zk-SNARKs.
Flexibilidad: El diseño de Nova le permite adaptarse a una variedad de diferentes escenarios de aplicación, lo que le permite desempeñar un papel en múltiples campos.
Implementación técnica de Nova
La implementación central de Nova incluye las siguientes partes principales:
R1CS (Rank-1 Constraint Systems): Nova utiliza un sistema R1CS mejorado para construir zk-SNARKs.
Esquema de compromiso polinómico: Nova utiliza un esquema de compromiso polinómico basado en el argumento de producto interno (Inner Product Argument, IPA).
Algoritmo Sumcheck: un algoritmo utilizado para verificar la suma de polinomios, que juega un papel importante en el sistema de prueba de Nova.
Esquema de Plegado No Interactivo (Non-Interactive Folding Scheme, NIFS): utilizado para demostrar la corrección de cada paso en el cálculo incremental.
Criptografía de curva elíptica (ECC): Nova utiliza ECC para realizar operaciones criptográficas eficientes.
La posición 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. Nova admite cálculos incrementales y cálculos polinómicos complejos, ampliando aún más el ámbito de aplicación de zk-SNARKs.
A pesar de que Nova tiene ventajas significativas en eficiencia y funcionalidad, su implementación es relativamente compleja y requiere un profundo entendimiento de las tecnologías criptográficas relacionadas para ser utilizada y modificada de manera efectiva. Además, debido a que utiliza R1CS relajado, las pruebas de Nova pueden no ser tan robustas como las de los sistemas R1CS tradicionales en ciertos casos. Sin embargo, los desarrolladores de Nova han tomado medidas para abordar estos problemas potenciales, como el uso de algoritmos criptográficos más potentes y estrategias de prueba más complejas.
En general, Nova representa un avance importante en la tecnología de zk-SNARKs, proporcionando nuevas posibilidades y direcciones para el desarrollo futuro en este campo.
Ver originales
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
19 me gusta
Recompensa
19
6
Compartir
Comentar
0/400
RugPullAlarm
· hace11h
Otro artefacto que se presenta bajo la bandera de la eficiencia para tomar a la gente por tonta.
Ver originalesResponder0
LowCapGemHunter
· hace18h
¡La vieja Microsoft lanza un nuevo sistema, genial!
Ver originalesResponder0
gas_fee_trauma
· 07-03 06:50
No entiendo pero se siente muy fuerte.
Ver originalesResponder0
LiquidationWatcher
· 07-01 16:20
¿Te has quedado dormido en clase de matemáticas? ¿Alguien puede explicarlo en una frase?
Ver originalesResponder0
CrashHotline
· 07-01 16:18
Microsoft finalmente está haciendo algo serio.
Ver originalesResponder0
LongTermDreamer
· 07-01 16:05
En tres años esto podrá explotar, solo hay que ver quién puede soportar el retroceso.
Nova: Sistema de zk-SNARKs eficiente y flexible para implementar aplicaciones a gran escala
Nova: un sistema de zk-SNARKs eficiente
Nova es un nuevo tipo de sistema de zk-SNARKs desarrollado por Microsoft, diseñado para mejorar la eficiencia y flexibilidad de las pruebas. Utiliza la tecnología de Sistemas de Restricciones de Rango 1 Relajados (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), que permite usar menos aleatoriedad en las pruebas, lo que mejora significativamente la eficiencia de las pruebas.
Principales características de Nova
Eficiencia: Nova utiliza la tecnología R1CS relajada, lo que reduce la aleatoriedad requerida en el proceso de prueba y mejora significativamente la velocidad de generación y verificación de las pruebas.
Soporte para cálculos incrementales: Nova permite calcular funciones complejas de manera gradual, sin necesidad de completar todo el proceso de cálculo de una sola vez. Esto es especialmente útil al manejar grandes volúmenes de datos o al realizar cálculos complejos.
Soporte de cálculo polinómico: Nova puede manejar tareas de prueba más complejas, ampliando el alcance de las zk-SNARKs.
Flexibilidad: El diseño de Nova le permite adaptarse a una variedad de diferentes escenarios de aplicación, lo que le permite desempeñar un papel en múltiples campos.
Implementación técnica de Nova
La implementación central de Nova incluye las siguientes partes principales:
R1CS (Rank-1 Constraint Systems): Nova utiliza un sistema R1CS mejorado para construir zk-SNARKs.
Esquema de compromiso polinómico: Nova utiliza un esquema de compromiso polinómico basado en el argumento de producto interno (Inner Product Argument, IPA).
Algoritmo Sumcheck: un algoritmo utilizado para verificar la suma de polinomios, que juega un papel importante en el sistema de prueba de Nova.
Esquema de Plegado No Interactivo (Non-Interactive Folding Scheme, NIFS): utilizado para demostrar la corrección de cada paso en el cálculo incremental.
Criptografía de curva elíptica (ECC): Nova utiliza ECC para realizar operaciones criptográficas eficientes.
La posición 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. Nova admite cálculos incrementales y cálculos polinómicos complejos, ampliando aún más el ámbito de aplicación de zk-SNARKs.
A pesar de que Nova tiene ventajas significativas en eficiencia y funcionalidad, su implementación es relativamente compleja y requiere un profundo entendimiento de las tecnologías criptográficas relacionadas para ser utilizada y modificada de manera efectiva. Además, debido a que utiliza R1CS relajado, las pruebas de Nova pueden no ser tan robustas como las de los sistemas R1CS tradicionales en ciertos casos. Sin embargo, los desarrolladores de Nova han tomado medidas para abordar estos problemas potenciales, como el uso de algoritmos criptográficos más potentes y estrategias de prueba más complejas.
En general, Nova representa un avance importante en la tecnología de zk-SNARKs, proporcionando nuevas posibilidades y direcciones para el desarrollo futuro en este campo.