Sistema de prueba de conocimiento cero Nova: superación eficiente y flexible de los cuellos de botella tradicionales de R1CS

robot
Generación de resúmenes en curso

Nova: un nuevo sistema de zk-SNARKs

Nova es un nuevo sistema de zk-SNARKs desarrollado por Microsoft, que utiliza sistemas de restricciones de rango 1 relajados (Relaxed Rank-1 Constraint Systems, tecnología Relaxed R1CS), para mejorar la eficiencia y flexibilidad de las pruebas.

Ventajas de Nova

Las principales ventajas de Nova radican en el uso de la técnica R1CS relajada. Los sistemas R1CS tradicionales requieren una gran cantidad de aleatoriedad durante el proceso de prueba, lo que lleva a que la generación y verificación de pruebas sea compleja y consuma mucho tiempo. Nova, al utilizar R1CS relajada, requiere menos aleatoriedad, lo que mejora significativamente la eficiencia de las pruebas.

Nova también admite cálculos incrementales, 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. Además, Nova admite cálculos polinómicos, lo que le permite manejar tareas de prueba más complejas.

Desventajas de Nova

Nova utiliza R1CS relajado, lo que puede hacer que las pruebas no sean tan robustas como en los sistemas R1CS tradicionales. R1CS relajado utiliza menos aleatoriedad, lo que podría disminuir la seguridad de la prueba. Sin embargo, los desarrolladores de Nova han tomado medidas para abordar esto, como el uso de algoritmos criptográficos más robustos y estrategias de prueba 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 oráculos aleatorios, lo que requiere una comprensión profunda de estas técnicas para poder utilizar y modificar Nova de manera efectiva.

La posición importante de Nova en el campo de zk-SNARKs

Nova ha abierto un nuevo camino para el desarrollo de zk-SNARKs. La tecnología R1CS relajada que utiliza hace que la generación y verificación de pruebas sea más eficiente, lo cual es crucial para aplicaciones a gran escala de zk-SNARKs. 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 alcance de las aplicaciones de zk-SNARKs.

Interpretación del código fuente de Nova

El código fuente del proyecto Nova contiene los siguientes módulos principales:

  • bellperson: implementó la generación de R1CS( Sistemas de Restricciones de Rangos-1 ).
  • gadgets: herramientas que incluyen la construcción de pruebas zk-SNARKs.
  • provider: Proporcionó implementaciones como la función hash keccak.
  • spartan: implementó el protocolo Spartan.
  • traits: define algunos comportamientos generales.

Los documentos clave incluyen:

  • circuit.rs: define el circuito mejorado en el protocolo Nova.
  • nifs.rs: implementó un esquema de plegado no interactivo.
  • ipa_pc.rs: implementó un motor de evaluación para el esquema de compromiso polinómico basado en IPA.
  • r1cs.rs: define tipos y métodos relacionados con R1CS.

Estos módulos y archivos implementan las funciones centrales de Nova, incluyendo la generación y el procesamiento de R1CS, compromisos polinómicos y pruebas de pliegue no interactivas, proporcionando una base para construir sistemas de zk-SNARKs eficientes.

ZK-5.83%
Ver originales
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.
  • Recompensa
  • 6
  • Compartir
Comentar
0/400
GateUser-1a2ed0b9vip
· 07-21 07:17
¿Es realmente tan bueno esto?
Ver originalesResponder0
OnchainUndercovervip
· 07-20 04:21
Hay algo interesante, ¡nueva forma de jugar!
Ver originalesResponder0
AltcoinOraclevip
· 07-20 04:20
compensación de seguridad predecible... smh el patrón se repite
Ver originalesResponder0
ShibaOnTheRunvip
· 07-20 04:17
Otra novedad de Microsoft, ¿eh?
Ver originalesResponder0
OnChainSleuthvip
· 07-20 04:15
Me siento inseguro, no es confiable.
Ver originalesResponder0
MetaMaskVictimvip
· 07-20 04:06
¿Otra cosa nueva de Microsoft? No confiable.
Ver originalesResponder0
Opere con criptomonedas en cualquier momento y lugar
qrCode
Escanee para descargar la aplicación Gate
Comunidad
Español
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)