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
Utilizando la técnica R1CS relajada, se ha reducido considerablemente la aleatoriedad requerida en el proceso de prueba, mejorando así la eficiencia de generación y verificación de pruebas.
Soporta cálculos incrementales, lo que permite calcular funciones complejas de manera gradual, sin necesidad de completar todo el proceso de cálculo de una vez. Esto es especialmente útil al manejar grandes volúmenes de datos o realizar cálculos complejos.
Soporta cálculos polinómicos, capaz de manejar tareas de prueba más complejas.
Limitaciones de Nova
Debido al uso de R1CS relajado, las pruebas de Nova pueden no ser tan poderosas como los sistemas R1CS tradicionales. Para abordar este problema, los desarrolladores de Nova han adoptado algoritmos criptográficos más fuertes y estrategias de prueba más complejas.
La implementación de Nova es bastante compleja, involucrando múltiples técnicas avanzadas de criptografía, como cálculos polinómicos, operaciones en grupos y oráculos aleatorios. Esto puede aumentar la dificultad de uso y mantenimiento.
La posición de Nova en el campo de zk-SNARKs
Nova ha abierto nuevos caminos para el desarrollo de zk-SNARKs. Su eficiente proceso de generación y verificación de pruebas es crucial para las aplicaciones de zk-SNARKs a gran escala. Nova admite características de cálculo incremental y cálculo polinómico, ampliando aún más el alcance de las aplicaciones de zk-SNARKs.
Análisis del código fuente de Nova
El código fuente de Nova contiene principalmente los siguientes módulos clave:
bellperson: implementó funciones relacionadas con R1CS (Rank-1 Constraint Systems).
gadgets: herramientas que incluyen la construcción de pruebas zk-SNARKs.
proveedor: proporciona implementaciones de varios primitivos criptográficos, como la función hash Keccak.
spartan: implementó funciones relacionadas con el protocolo Spartan.
traits: define varios comportamientos e interfaces públicos.
El archivo central src/circuit.rs define los circuitos mejorados en el protocolo Nova, incluidos el circuito de pasos y el circuito del verificador. El archivo src/nifs.rs implementa el Esquema de Plegado No Interactivo (Non-Interactive Folding Scheme, NIFS), utilizado para probar la corrección de cada paso en el cálculo incremental.
El proyecto Nova utiliza ampliamente las características del lenguaje Rust, como traits y programación genérica, para proporcionar implementaciones flexibles y eficientes. Este proyecto involucra conceptos y técnicas criptográficas complejas, incluyendo criptografía de curva elíptica, compromisos polinómicos, oráculos aleatorios, etc., reflejando la complejidad y las potentes funcionalidades de los sistemas modernos de zk-SNARKs.
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.
16 me gusta
Recompensa
16
4
Republicar
Compartir
Comentar
0/400
GasFeeLady
· hace18h
hmm microsoft finalmente entrando en zk... me pregunto cuántos eth quemaron probando este bebé
Ver originalesResponder0
TokenRationEater
· hace19h
¿ZKP va a lanzar algo nuevo? ¡Aunque no lo entiendo, parece que va a mejorar!
Ver originalesResponder0
NFTRegretDiary
· hace19h
¡Microsoft está a punto de robarnos el trabajo en el sector!
Ver originalesResponder0
¯\_(ツ)_/¯
· hace19h
¿Por qué lo hace Microsoft? Me da un poco de miedo.
Nova: sistema de zk-SNARKs eficiente y flexible desarrollado por Microsoft
Nova - Sistema de zk-SNARKs eficiente y flexible
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
Utilizando la técnica R1CS relajada, se ha reducido considerablemente la aleatoriedad requerida en el proceso de prueba, mejorando así la eficiencia de generación y verificación de pruebas.
Soporta cálculos incrementales, lo que permite calcular funciones complejas de manera gradual, sin necesidad de completar todo el proceso de cálculo de una vez. Esto es especialmente útil al manejar grandes volúmenes de datos o realizar cálculos complejos.
Soporta cálculos polinómicos, capaz de manejar tareas de prueba más complejas.
Limitaciones de Nova
Debido al uso de R1CS relajado, las pruebas de Nova pueden no ser tan poderosas como los sistemas R1CS tradicionales. Para abordar este problema, los desarrolladores de Nova han adoptado algoritmos criptográficos más fuertes y estrategias de prueba más complejas.
La implementación de Nova es bastante compleja, involucrando múltiples técnicas avanzadas de criptografía, como cálculos polinómicos, operaciones en grupos y oráculos aleatorios. Esto puede aumentar la dificultad de uso y mantenimiento.
La posición de Nova en el campo de zk-SNARKs
Nova ha abierto nuevos caminos para el desarrollo de zk-SNARKs. Su eficiente proceso de generación y verificación de pruebas es crucial para las aplicaciones de zk-SNARKs a gran escala. Nova admite características de cálculo incremental y cálculo polinómico, ampliando aún más el alcance de las aplicaciones de zk-SNARKs.
Análisis del código fuente de Nova
El código fuente de Nova contiene principalmente los siguientes módulos clave:
bellperson: implementó funciones relacionadas con R1CS (Rank-1 Constraint Systems).
gadgets: herramientas que incluyen la construcción de pruebas zk-SNARKs.
proveedor: proporciona implementaciones de varios primitivos criptográficos, como la función hash Keccak.
spartan: implementó funciones relacionadas con el protocolo Spartan.
traits: define varios comportamientos e interfaces públicos.
El archivo central src/circuit.rs define los circuitos mejorados en el protocolo Nova, incluidos el circuito de pasos y el circuito del verificador. El archivo src/nifs.rs implementa el Esquema de Plegado No Interactivo (Non-Interactive Folding Scheme, NIFS), utilizado para probar la corrección de cada paso en el cálculo incremental.
El proyecto Nova utiliza ampliamente las características del lenguaje Rust, como traits y programación genérica, para proporcionar implementaciones flexibles y eficientes. Este proyecto involucra conceptos y técnicas criptográficas complejas, incluyendo criptografía de curva elíptica, compromisos polinómicos, oráculos aleatorios, etc., reflejando la complejidad y las potentes funcionalidades de los sistemas modernos de zk-SNARKs.