Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza la tecnología de Relaxed R1CS ( para mejorar la eficiencia y flexibilidad de las pruebas.
Ventajas de Nova
La principal ventaja de Nova radica en el uso de la tecnología R1CS relajada. Los sistemas R1CS tradicionales requieren una gran cantidad de aleatoriedad durante el proceso de prueba, lo que complica y ralentiza la generación y verificación de pruebas. Nova, al utilizar R1CS relajada, permite el uso de menos aleatoriedad en las pruebas, mejorando significativamente la eficiencia de las pruebas.
Nova también admite el cálculo incremental, lo que permite calcular funciones complejas de forma gradual, sin necesidad de calcular toda la función de una vez. Esto es muy útil al manejar grandes volúmenes de datos o cálculos complejos. Además, Nova también admite el cálculo polinómico, lo que permite abordar tareas de prueba más complejas.
Desventajas de Nova
Nova utiliza R1CS relajados, cuyos comprobantes pueden no ser tan robustos como los sistemas R1CS tradicionales. R1CS relajados utilizan menos aleatoriedad, lo que puede reducir la seguridad de los comprobantes. Sin embargo, los desarrolladores de Nova han tomado medidas para abordar este problema, como el uso de algoritmos criptográficos más robustos y estrategias de comprobación más complejas.
En segundo lugar, 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 oráculos aleatorios, y se requiere una comprensión profunda de estas técnicas para utilizar y modificar eficazmente Nova.
La importante posición de Nova en el campo de zk-SNARKs
Nova ocupa una posición importante en el campo de zk-SNARKs. Ha abierto nuevos caminos para el desarrollo de zk-SNARKs. La tecnología R1CS relajada utilizada 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 admite cálculos incrementales y cálculos polinómicos, lo que le permite manejar tareas de prueba más complejas y ampliar aún más el rango de aplicaciones de zk-SNARKs.
Análisis del código fuente de Nova
El código fuente de Nova incluye los siguientes módulos importantes:
bellperson: Implementó la generación de R1CS)Rank-1 Constraint Systems(.
gadgets: Incluye herramientas para construir zk-SNARKs.
provider: Incluye el código de algunos proveedores, como la implementación de la función hash Keccak.
spartan: Contiene el código relacionado con el protocolo Spartan.
traits: Definió algunos comportamientos generales de los traits de Rust.
La implementación central de Nova incluye:
Implementación de R1CS y R1CS relajado
Esquema de compromiso polinómico
Algoritmo Sumcheck
Esquema de plegado no interactivo ) NIFS (
Operaciones de criptografía de curva elíptica
Motor de transcripción
Estos componentes conforman el sistema de zk-SNARKs de Nova, lo que le permite generar y verificar de manera eficiente las pruebas de cálculos complejos, al mismo tiempo que garantiza la seguridad y privacidad de las pruebas.
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.
17 me gusta
Recompensa
17
8
Compartir
Comentar
0/400
DefiEngineerJack
· 07-27 05:09
*sigh* microsoft intentando optimizar zk de nuevo... muéstrame la verificación formal o es solo otro honeypot L2
Ver originalesResponder0
tx_pending_forever
· 07-26 11:14
¿De nuevo en la especulación sobre el conocimiento cero? Si la seguridad se ve comprometida, ¿qué más se puede usar?
Ver originalesResponder0
TestnetScholar
· 07-25 14:13
La tecnología se ha vuelto compleja otra vez.
Ver originalesResponder0
RugpullTherapist
· 07-25 03:30
Nuevos trucos me han vuelto a causar mis viejos problemas.. no es más que una trampa.
Ver originalesResponder0
liquiditea_sipper
· 07-25 03:26
Buen trabajo, Microsoft ha manejado bien el equilibrio en esta ocasión.
Ver originalesResponder0
Rugpull幸存者
· 07-25 03:25
Este hueso de pollo no vale la pena, mejor usar Stark
Ver originalesResponder0
MoonMathMagic
· 07-25 03:20
Otro sistema sacrifica la seguridad por el rendimiento.
Nova: Un nuevo sistema de zk-SNARKs que mejora la eficiencia y la flexibilidad
Nova: Un nuevo sistema de zk-SNARKs
Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza la tecnología de Relaxed R1CS ( para mejorar la eficiencia y flexibilidad de las pruebas.
Ventajas de Nova
La principal ventaja de Nova radica en el uso de la tecnología R1CS relajada. Los sistemas R1CS tradicionales requieren una gran cantidad de aleatoriedad durante el proceso de prueba, lo que complica y ralentiza la generación y verificación de pruebas. Nova, al utilizar R1CS relajada, permite el uso de menos aleatoriedad en las pruebas, mejorando significativamente la eficiencia de las pruebas.
Nova también admite el cálculo incremental, lo que permite calcular funciones complejas de forma gradual, sin necesidad de calcular toda la función de una vez. Esto es muy útil al manejar grandes volúmenes de datos o cálculos complejos. Además, Nova también admite el cálculo polinómico, lo que permite abordar tareas de prueba más complejas.
Desventajas de Nova
Nova utiliza R1CS relajados, cuyos comprobantes pueden no ser tan robustos como los sistemas R1CS tradicionales. R1CS relajados utilizan menos aleatoriedad, lo que puede reducir la seguridad de los comprobantes. Sin embargo, los desarrolladores de Nova han tomado medidas para abordar este problema, como el uso de algoritmos criptográficos más robustos y estrategias de comprobación más complejas.
En segundo lugar, 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 oráculos aleatorios, y se requiere una comprensión profunda de estas técnicas para utilizar y modificar eficazmente Nova.
La importante posición de Nova en el campo de zk-SNARKs
Nova ocupa una posición importante en el campo de zk-SNARKs. Ha abierto nuevos caminos para el desarrollo de zk-SNARKs. La tecnología R1CS relajada utilizada 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 admite cálculos incrementales y cálculos polinómicos, lo que le permite manejar tareas de prueba más complejas y ampliar aún más el rango de aplicaciones de zk-SNARKs.
Análisis del código fuente de Nova
El código fuente de Nova incluye los siguientes módulos importantes:
bellperson: Implementó la generación de R1CS)Rank-1 Constraint Systems(.
gadgets: Incluye herramientas para construir zk-SNARKs.
provider: Incluye el código de algunos proveedores, como la implementación de la función hash Keccak.
spartan: Contiene el código relacionado con el protocolo Spartan.
traits: Definió algunos comportamientos generales de los traits de Rust.
La implementación central de Nova incluye:
Estos componentes conforman el sistema de zk-SNARKs de Nova, lo que le permite generar y verificar de manera eficiente las pruebas de cálculos complejos, al mismo tiempo que garantiza la seguridad y privacidad de las pruebas.