Nova es un nuevo sistema de prueba de conocimiento cero conciso y no interactivo zk-SNARK(, desarrollado por Microsoft Research. Utiliza una técnica llamada 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 tecnología R1CS relajada, se redujo la necesidad de aleatoriedad, mejorando significativamente la eficiencia de la prueba.
Soporta el cálculo incremental, puede calcular funciones complejas paso a paso, sin necesidad de completar todo el cálculo de una vez.
Soporta cálculos polinómicos, puede manejar tareas de prueba más complejas
El proceso de generación y verificación de pruebas es más eficiente, adecuado para escenarios de aplicación a gran escala.
Las limitaciones potenciales de Nova
La R1CS relajada puede resultar en una seguridad de prueba ligeramente inferior a la de los sistemas R1CS tradicionales.
La implementación es relativamente compleja, y su uso y mantenimiento son más difíciles.
Es necesario comprender a fondo las técnicas avanzadas de criptografía para poder utilizarlas y modificarlas de manera efectiva.
Componentes clave de Nova
R1CS y R1CS relajado: sistemas de restricciones utilizados para construir pruebas de conocimiento cero
Esquema de compromiso polinómico: utilizado para probar el valor de evaluación del polinomio
Esquema de plegado no interactivo ) NIFS (: utilizado para demostrar la corrección de cada paso del cálculo incremental
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios
Función hash Keccak256: utilizada para manejar el transcript en el proceso de prueba
Operaciones con enteros grandes: soporta cálculos que superan el rango de enteros convencionales.
Nova, a través de la innovadora combinación de estos componentes, ha logrado un sistema de prueba recursiva eficiente, sentando las bases para la aplicación masiva de la tecnología de prueba de conocimiento cero.
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.
14 me gusta
Recompensa
14
5
Compartir
Comentar
0/400
BrokenYield
· 07-07 16:33
meh... otro sistema zk "eficiente" con compromisos de seguridad. ¿Cuándo aprenderán?
Ver originalesResponder0
CryptoCrazyGF
· 07-06 00:01
Muy bien, papá Microsoft ha venido con fuerza.
Ver originalesResponder0
NotFinancialAdviser
· 07-05 22:28
Microsoft vuelve a sacar cupones de clip.
Ver originalesResponder0
GhostAddressMiner
· 07-05 22:28
¿Microsoft también juega con la privacidad? Datos en papel sospechosos, el flujo de fondos difícil de rastrear
Nova: Sistema zk-SNARK recursivo de alta eficiencia de nueva generación y sus ventajas
Nova: Sistema de zk-SNARK recursivo eficiente
Nova es un nuevo sistema de prueba de conocimiento cero conciso y no interactivo zk-SNARK(, desarrollado por Microsoft Research. Utiliza una técnica llamada 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
Las limitaciones potenciales de Nova
Componentes clave de Nova
R1CS y R1CS relajado: sistemas de restricciones utilizados para construir pruebas de conocimiento cero
Esquema de compromiso polinómico: utilizado para probar el valor de evaluación del polinomio
Esquema de plegado no interactivo ) NIFS (: utilizado para demostrar la corrección de cada paso del cálculo incremental
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios
Criptografía de curvas elípticas ) ECC (: proporciona primitivas criptográficas básicas
Función hash Keccak256: utilizada para manejar el transcript en el proceso de prueba
Operaciones con enteros grandes: soporta cálculos que superan el rango de enteros convencionales.
Nova, a través de la innovadora combinación de estos componentes, ha logrado un sistema de prueba recursiva eficiente, sentando las bases para la aplicación masiva de la tecnología de prueba de conocimiento cero.