Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza un sistema de restricciones de rango uno relajadas (Relaxed R1CS) para mejorar la eficiencia y flexibilidad de las pruebas.
Las principales ventajas de Nova radican en el uso de la tecnología R1CS relajada. Los sistemas R1CS tradicionales requieren el uso de 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, lo que mejora significativamente la eficiencia de la prueba.
Además, 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 sola vez. Esto es muy útil al manejar grandes volúmenes de datos o cálculos complejos. Nova también admite el cálculo polinómico, lo que permite abordar tareas de prueba más complejas.
Las desventajas de Nova se deben a que utiliza R1CS relajado, lo que puede hacer que sus pruebas no sean tan robustas como las de los sistemas R1CS tradicionales. R1CS relajado permite usar menos aleatoriedad, lo que podría disminuir la seguridad de las pruebas. 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 prueba más complejas.
Además, 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, y se necesita una comprensión profunda de estas técnicas para usar y modificar Nova de manera efectiva.
En general, Nova ocupa una posición importante en el campo de zk-SNARKs. Su tecnología de R1CS relajado hace que la generación y verificación de pruebas sea más eficiente, lo cual es crucial para las aplicaciones de zk-SNARKs a gran escala. Nova también admite cálculos incrementales y cálculos polinómicos, ampliando aún más el alcance de las aplicaciones de zk-SNARKs.
El código fuente de Nova incluye los siguientes módulos centrales:
bellperson: implementar funciones relacionadas con R1CS.
gadgets: herramientas que incluyen la construcción de pruebas zk-SNARKs.
spartan: implementar funciones relacionadas con el protocolo Spartan.
traits: definió algunos traits generales, como Group, CommitmentTrait, etc.
r1cs.rs: Definir las estructuras de datos y métodos relacionados con R1CS.
nifs.rs: implementar un esquema de plegado no interactivo.
ipa_pc.rs: Implementar un esquema de compromiso polinómico basado en IPA.
Estos módulos implementan conjuntamente las funciones clave de Nova, incluyendo el sistema de restricciones R1CS, los compromisos polinómiales, la generación y verificación de zk-SNARKs, entre otros. Nova logra un sistema de zk-SNARKs eficiente a través de la 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.
15 me gusta
Recompensa
15
9
Compartir
Comentar
0/400
GasWrangler
· 07-15 08:59
técnicamente hablando, el r1cs relajado de nova es subóptimo para garantías de seguridad robustas...
Ver originalesResponder0
Rugpull幸存者
· 07-14 14:27
Microsoft tiene mucha fuerza.
Ver originalesResponder0
PretendingSerious
· 07-13 22:56
alcista, Microsoft finalmente ha hecho algo bueno.
Ver originalesResponder0
CryptoTarotReader
· 07-13 18:34
¡Microsoft ha llegado! ¿ZK quiere hacer una oferta pública inicial con fuerza?
Ver originalesResponder0
BlockchainTalker
· 07-13 18:29
en realidad, ¿Microsoft está haciendo pruebas zk? definitivamente un cambio de juego, para ser sincero... no muchas personas se dan cuenta de esto.
Ver originalesResponder0
¯\_(ツ)_/¯
· 07-13 18:27
¡Relajación R1CS tan alcista!
Ver originalesResponder0
ApeWithNoFear
· 07-13 18:21
zk-SNARKs真香
Ver originalesResponder0
PonziDetector
· 07-13 18:18
¿Microsoft también está tomando en serio el conocimiento cero?
Nova: La tecnología R1CS relajada lidera la nueva eficiencia de zk-SNARKs
Nova: un sistema de zk-SNARKs eficiente
Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza un sistema de restricciones de rango uno relajadas (Relaxed R1CS) para mejorar la eficiencia y flexibilidad de las pruebas.
Las principales ventajas de Nova radican en el uso de la tecnología R1CS relajada. Los sistemas R1CS tradicionales requieren el uso de 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, lo que mejora significativamente la eficiencia de la prueba.
Además, 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 sola vez. Esto es muy útil al manejar grandes volúmenes de datos o cálculos complejos. Nova también admite el cálculo polinómico, lo que permite abordar tareas de prueba más complejas.
Las desventajas de Nova se deben a que utiliza R1CS relajado, lo que puede hacer que sus pruebas no sean tan robustas como las de los sistemas R1CS tradicionales. R1CS relajado permite usar menos aleatoriedad, lo que podría disminuir la seguridad de las pruebas. 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 prueba más complejas.
Además, 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, y se necesita una comprensión profunda de estas técnicas para usar y modificar Nova de manera efectiva.
En general, Nova ocupa una posición importante en el campo de zk-SNARKs. Su tecnología de R1CS relajado hace que la generación y verificación de pruebas sea más eficiente, lo cual es crucial para las aplicaciones de zk-SNARKs a gran escala. Nova también admite cálculos incrementales y cálculos polinómicos, ampliando aún más el alcance de las aplicaciones de zk-SNARKs.
El código fuente de Nova incluye los siguientes módulos centrales:
bellperson: implementar funciones relacionadas con R1CS.
gadgets: herramientas que incluyen la construcción de pruebas zk-SNARKs.
spartan: implementar funciones relacionadas con el protocolo Spartan.
traits: definió algunos traits generales, como Group, CommitmentTrait, etc.
r1cs.rs: Definir las estructuras de datos y métodos relacionados con R1CS.
nifs.rs: implementar un esquema de plegado no interactivo.
ipa_pc.rs: Implementar un esquema de compromiso polinómico basado en IPA.
Estos módulos implementan conjuntamente las funciones clave de Nova, incluyendo el sistema de restricciones R1CS, los compromisos polinómiales, la generación y verificación de zk-SNARKs, entre otros. Nova logra un sistema de zk-SNARKs eficiente a través de la combinación de estos módulos.