Nova es un nuevo sistema de prueba de conocimiento cero desarrollado por Microsoft, que utiliza técnicas de sistemas de restricciones de rango uno relajadas para mejorar la eficiencia y flexibilidad de las pruebas. Tiene una posición importante en el campo de las pruebas de conocimiento cero, abriendo nuevas posibilidades para aplicaciones a gran escala.
Ventajas clave
Utilizando la tecnología R1CS relajada, se reduce el uso de aleatoriedad, mejorando significativamente la eficiencia de las pruebas.
Soporta el cálculo incremental, se pueden calcular funciones complejas de manera gradual
Soporta cálculos polinómicos, puede manejar tareas de prueba más complejas
Módulos principales
El código fuente de Nova incluye los siguientes módulos importantes:
bellperson: Implementar funciones relacionadas con la generación de R1CS
circuito: Definición del circuito mejorado del protocolo Nova
gadgets: gadget que implementa varios primitivas criptográficas
nifs: Implementar un esquema de plegado no interactivo
proveedor: proporciona componentes básicos como compromisos polinómicos, funciones hash, etc.
r1cs: Definición y estructuras de datos y operaciones relacionadas con R1CS
spartan: Implementar el protocolo Spartan
traits: Definir varias interfaces de características
Estructuras de datos clave
R1CSShape: representa la forma de la matriz R1CS
R1CSWitness: Representa el testigo de la instancia R1CS
R1CSInstance: representa una instancia de R1CS
RelaxedR1CSWitness: Representa el testigo de una instancia R1CS relajada
RelaxedR1CSInstance: representa una instancia R1CS relajada
Algoritmo central
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios
Evaluación de polinomios: demostrar el valor de un polinomio en un punto determinado
Pliegue no interactivo: combinar múltiples pruebas en una sola prueba
Valor de la aplicación
El sistema Nova proporciona herramientas poderosas para construir pruebas de conocimiento cero de manera eficiente, que se pueden aplicar ampliamente en áreas como blockchain y computación privada, promoviendo la aplicación a gran escala de la tecnología de conocimiento cero.
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.
Nova: Análisis del nuevo sistema de zk-SNARKs desarrollado por Microsoft
Análisis del proyecto Nova
Nova es un nuevo sistema de prueba de conocimiento cero desarrollado por Microsoft, que utiliza técnicas de sistemas de restricciones de rango uno relajadas para mejorar la eficiencia y flexibilidad de las pruebas. Tiene una posición importante en el campo de las pruebas de conocimiento cero, abriendo nuevas posibilidades para aplicaciones a gran escala.
Ventajas clave
Módulos principales
El código fuente de Nova incluye los siguientes módulos importantes:
bellperson: Implementar funciones relacionadas con la generación de R1CS
circuito: Definición del circuito mejorado del protocolo Nova
gadgets: gadget que implementa varios primitivas criptográficas
nifs: Implementar un esquema de plegado no interactivo
proveedor: proporciona componentes básicos como compromisos polinómicos, funciones hash, etc.
r1cs: Definición y estructuras de datos y operaciones relacionadas con R1CS
spartan: Implementar el protocolo Spartan
traits: Definir varias interfaces de características
Estructuras de datos clave
Algoritmo central
Valor de la aplicación
El sistema Nova proporciona herramientas poderosas para construir pruebas de conocimiento cero de manera eficiente, que se pueden aplicar ampliamente en áreas como blockchain y computación privada, promoviendo la aplicación a gran escala de la tecnología de conocimiento cero.