Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza una técnica llamada Sistemas de Restricción Relajada de Rango-1 ( Relaxed Rank-1 Constraint Systems, Relaxed R1CS ) para mejorar la eficiencia y flexibilidad de las pruebas.
Las principales ventajas de Nova radican en su uso de la tecnología R1CS relajada. Los sistemas tradicionales de R1CS requieren una gran cantidad de aleatoriedad durante el proceso de prueba, lo que hace que la generación y verificación de pruebas sea muy compleja y lenta. Nova aborda este problema al utilizar R1CS relajado, lo que permite usar menos aleatoriedad en las pruebas, aumentando así significativamente la eficiencia de las mismas.
Nova también admite el cálculo incremental, lo que significa que se pueden calcular gradualmente funciones complejas sin tener que calcular toda la función de una vez. Esto es muy útil al manejar grandes volúmenes de datos o al realizar cálculos complejos. Además, Nova también admite el cálculo polinómico, lo que le permite manejar tareas de prueba más complejas.
Las desventajas de Nova radican en que, debido a que utiliza R1CS relajados, sus pruebas pueden no ser tan robustas como las de los sistemas R1CS tradicionales. Esto se debe a que los R1CS relajados permiten el uso de menos aleatoriedad en las pruebas, lo que puede comprometer la seguridad de las mismas. Sin embargo, los desarrolladores de Nova han tomado algunas medidas para abordar este problema, como el uso de algoritmos criptográficos más robustos y estrategias de prueba más complejas.
La implementación de Nova es relativamente compleja, lo que puede aumentar la dificultad de uso y mantenimiento. Nova utiliza muchas técnicas criptográficas avanzadas, como cálculos polinómicos, operaciones en grupos y máquinas de predicción aleatorias, lo que requiere una comprensión profunda de estas técnicas para usarlas y modificarlas de manera efectiva.
A pesar de estos desafíos, Nova sigue ocupando una posición importante en el campo de zk-SNARKs. Su aparición ha abierto nuevos caminos para el desarrollo de zk-SNARKs. La tecnología R1CS relajada adoptada por Nova hace que el proceso de generación y verificación de pruebas sea más eficiente, lo cual es crucial para aplicaciones de zk-SNARKs a gran escala. Además, Nova también soporta cálculos incrementales y cálculos polinómicos, lo que le permite manejar tareas de prueba más complejas, ampliando aún más el rango de aplicaciones de zk-SNARKs.
El código fuente del proyecto Nova incluye los siguientes módulos importantes:
bellperson: ha implementado la generación de R1CS( Sistemas de Restricciones de Rango 1 ).
gadgets: incluye diversas herramientas para construir pruebas zk-SNARKs.
provider: proporcionó la implementación de algunas funciones básicas, como funciones hash, etc.
spartan: implementó las funciones relacionadas con el protocolo Spartan.
traits: define algunas interfaces y características comunes.
circuito: define el circuito mejorado en el protocolo Nova.
r1cs: implementó tipos y métodos relacionados con R1CS.
Estos módulos constituyen las funciones centrales de Nova, incluyendo la construcción de R1CS, la generación y verificación de pruebas, cálculos polinómicos, etc. Nova logra un sistema de pruebas de conocimiento cero eficiente a través de la ingeniosa combinación de estos módulos.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
19 me gusta
Recompensa
19
4
Compartir
Comentar
0/400
LiquidationSurvivor
· 07-09 01:26
¿La seguridad de las novelas de tamaño es peor?
Ver originalesResponder0
BrokeBeans
· 07-06 19:10
¡Microsoft esta vez puede!
Ver originalesResponder0
GasFeeBarbecue
· 07-06 19:08
¿Esta tecnología de Microsoft también será un Rug Pull?
Nova: sistema de zk-SNARKs eficiente desarrollado por Microsoft
Nova: un sistema de zk-SNARKs eficiente
Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza una técnica llamada Sistemas de Restricción Relajada de Rango-1 ( Relaxed Rank-1 Constraint Systems, Relaxed R1CS ) para mejorar la eficiencia y flexibilidad de las pruebas.
Las principales ventajas de Nova radican en su uso de la tecnología R1CS relajada. Los sistemas tradicionales de R1CS requieren una gran cantidad de aleatoriedad durante el proceso de prueba, lo que hace que la generación y verificación de pruebas sea muy compleja y lenta. Nova aborda este problema al utilizar R1CS relajado, lo que permite usar menos aleatoriedad en las pruebas, aumentando así significativamente la eficiencia de las mismas.
Nova también admite el cálculo incremental, lo que significa que se pueden calcular gradualmente funciones complejas sin tener que calcular toda la función de una vez. Esto es muy útil al manejar grandes volúmenes de datos o al realizar cálculos complejos. Además, Nova también admite el cálculo polinómico, lo que le permite manejar tareas de prueba más complejas.
Las desventajas de Nova radican en que, debido a que utiliza R1CS relajados, sus pruebas pueden no ser tan robustas como las de los sistemas R1CS tradicionales. Esto se debe a que los R1CS relajados permiten el uso de menos aleatoriedad en las pruebas, lo que puede comprometer la seguridad de las mismas. Sin embargo, los desarrolladores de Nova han tomado algunas medidas para abordar este problema, como el uso de algoritmos criptográficos más robustos y estrategias de prueba más complejas.
La implementación de Nova es relativamente compleja, lo que puede aumentar la dificultad de uso y mantenimiento. Nova utiliza muchas técnicas criptográficas avanzadas, como cálculos polinómicos, operaciones en grupos y máquinas de predicción aleatorias, lo que requiere una comprensión profunda de estas técnicas para usarlas y modificarlas de manera efectiva.
A pesar de estos desafíos, Nova sigue ocupando una posición importante en el campo de zk-SNARKs. Su aparición ha abierto nuevos caminos para el desarrollo de zk-SNARKs. La tecnología R1CS relajada adoptada por Nova hace que el proceso de generación y verificación de pruebas sea más eficiente, lo cual es crucial para aplicaciones de zk-SNARKs a gran escala. Además, Nova también soporta cálculos incrementales y cálculos polinómicos, lo que le permite manejar tareas de prueba más complejas, ampliando aún más el rango de aplicaciones de zk-SNARKs.
El código fuente del proyecto Nova incluye los siguientes módulos importantes:
bellperson: ha implementado la generación de R1CS( Sistemas de Restricciones de Rango 1 ).
gadgets: incluye diversas herramientas para construir pruebas zk-SNARKs.
provider: proporcionó la implementación de algunas funciones básicas, como funciones hash, etc.
spartan: implementó las funciones relacionadas con el protocolo Spartan.
traits: define algunas interfaces y características comunes.
circuito: define el circuito mejorado en el protocolo Nova.
r1cs: implementó tipos y métodos relacionados con R1CS.
Estos módulos constituyen las funciones centrales de Nova, incluyendo la construcción de R1CS, la generación y verificación de pruebas, cálculos polinómicos, etc. Nova logra un sistema de pruebas de conocimiento cero eficiente a través de la ingeniosa combinación de estos módulos.