Nova: El sistema eficiente de zk-SNARKs desarrollado por Microsoft revoluciona las aplicaciones de Cadena de bloques

robot
Generación de resúmenes en curso

Nova: un sistema de zk-SNARKs eficiente

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

  1. Se ha mejorado significativamente la eficiencia de la prueba utilizando tecnología R1CS relajada.

  2. Soporta el cálculo incremental, lo que permite calcular funciones complejas de manera gradual, sin necesidad de calcular toda la función de una vez.

  3. Soporte para cálculos polinómicos, capaz de manejar tareas de prueba más complejas.

Desventajas potenciales de Nova

  1. La prueba puede no ser tan poderosa como los sistemas R1CS tradicionales, ya que el R1CS relajado permite utilizar menos aleatoriedad en la prueba.

  2. La implementación es relativamente compleja, lo que puede aumentar la dificultad de uso y mantenimiento.

La importancia de Nova en el campo de zk-SNARKs

La aparición de Nova ha abierto un nuevo camino para el desarrollo de zk-SNARKs. Su eficiencia y flexibilidad hacen posible la aplicación a gran escala de zk-SNARKs, ampliando aún más el alcance de su aplicación.

Componentes centrales de Nova

  1. R1CS y R1CS relajado: sistemas de restricciones utilizados para construir zk-SNARKs.

  2. Esquema de compromiso polinómico: utilizado para demostrar la corrección de la evaluación polinómica.

  3. Esquema de plegado no interactivo (NIFS): se utiliza para probar la corrección de cada paso en el cálculo incremental.

  4. Algoritmo Sumcheck: utilizado para verificar la suma de polinomios.

  5. Criptografía de curvas elípticas (ECC): proporciona operaciones criptográficas básicas.

La implementación de Nova implica múltiples conceptos y tecnologías criptográficas complejas, incluidos R1CS, compromisos polinómicos, oráculos aleatorios, etc. Estos componentes conforman un sistema de prueba de conocimiento cero (zk-SNARKs) eficiente y flexible, que proporciona un potente soporte técnico para aplicaciones en áreas como blockchain y autenticación.

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
  • 8
  • Republicar
  • Compartir
Comentar
0/400
MidnightTradervip
· 07-15 10:05
Microsoft ya lo ha entendido, ¿verdad?
Ver originalesResponder0
TokenVelocityvip
· 07-15 01:51
¿Cuándo empezó Microsoft a trabajar en zk...?
Ver originalesResponder0
ForkMongervip
· 07-15 01:34
meh... zk centralizado por msft? ¿qué podría salir mal?
Ver originalesResponder0
ResearchChadButBrokevip
· 07-12 19:30
De nuevo, Microsoft ha ganado mucho.
Ver originalesResponder0
GateUser-0717ab66vip
· 07-12 19:23
Fuerte, Microsoft también ha comenzado a jugar con la Cadena de bloques.
Ver originalesResponder0
ForkTonguevip
· 07-12 19:22
Ah, ¿Gigabyte también está haciendo esto?
Ver originalesResponder0
DarkPoolWatchervip
· 07-12 19:03
Es otro sistema de prueba, pero es tan complicado.
Ver originalesResponder0
BearMarketGardenervip
· 07-12 19:02
¿Otra vez vienen a engañarnos con nuevas tecnologías?
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)