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
Utilizando la tecnología R1CS relajada, se permite usar menos aleatoriedad en la prueba, lo que mejora significativamente la eficiencia de la prueba.
Soporta cálculos incrementales, lo que permite calcular funciones complejas de manera gradual, sin necesidad de calcular toda la función de una vez.
Soporta cálculos polinómicos, pudiendo manejar tareas de prueba más complejas.
Desventajas potenciales de Nova
Debido al uso de R1CS relajado, la prueba puede no ser tan robusta como los sistemas R1CS tradicionales, lo que podría disminuir ligeramente la seguridad.
La implementación es relativamente compleja y requiere una comprensión profunda de técnicas avanzadas de criptografía, como el cálculo de polinomios, operaciones en grupos y oráculos aleatorios.
La importancia de Nova en el campo de zk-SNARKs
Ha abierto un nuevo camino para el desarrollo de zk-SNARKs.
Se ha mejorado la eficiencia en la generación y verificación de pruebas, lo cual es crucial para aplicaciones a gran escala.
Ampliado el alcance de zk-SNARKs, puede manejar tareas de prueba más complejas.
Componentes clave de Nova
R1CS y R1CS relajado: sistemas de restricciones utilizados para construir zk-SNARKs.
Motor de evaluación de polinomios: utilizado para demostrar el valor de evaluación de un polinomio en un cierto punto.
Plan de compromiso: permite que el probador se comprometa a un valor sin revelarlo de inmediato.
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios.
Función de pasos de cálculo incremental: permite calcular funciones complejas paso a paso.
Las innovaciones de Nova traen nuevas posibilidades para los sistemas de zk-SNARKs, con la esperanza de impulsar la aplicación de esta tecnología en una gama más amplia de campos.
Ver originales
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
18 me gusta
Recompensa
18
7
Compartir
Comentar
0/400
GetRichLeek
· hace15h
Mm zk está de vuelta para enviar monedas de regalo. ¡Es hora de comprar la caída!
Ver originalesResponder0
WhaleStalker
· hace15h
Microsoft también ha subido a zk, tiene algo.
Ver originalesResponder0
MelonField
· hace15h
Es mejor que sea eficiente. La seguridad se hablará luego~
Ver originalesResponder0
MetaEggplant
· hace15h
¿Seguridad ligeramente baja? ¿Se atreve a publicarlo?
Ver originalesResponder0
CascadingDipBuyer
· hace15h
La idea es un poco poco confiable, pero al final se trata de jugar.
Ver originalesResponder0
gas_fee_therapist
· hace15h
¿Es otra vez sacrificar la seguridad por la eficiencia?
Ver originalesResponder0
QuorumVoter
· hace15h
Avance rápido a la explotación de vulnerabilidades
Nova: Un nuevo sistema para mejorar la eficiencia de zk-SNARKs
Nova: un nuevo sistema de zk-SNARKs
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
Utilizando la tecnología R1CS relajada, se permite usar menos aleatoriedad en la prueba, lo que mejora significativamente la eficiencia de la prueba.
Soporta cálculos incrementales, lo que permite calcular funciones complejas de manera gradual, sin necesidad de calcular toda la función de una vez.
Soporta cálculos polinómicos, pudiendo manejar tareas de prueba más complejas.
Desventajas potenciales de Nova
Debido al uso de R1CS relajado, la prueba puede no ser tan robusta como los sistemas R1CS tradicionales, lo que podría disminuir ligeramente la seguridad.
La implementación es relativamente compleja y requiere una comprensión profunda de técnicas avanzadas de criptografía, como el cálculo de polinomios, operaciones en grupos y oráculos aleatorios.
La importancia de Nova en el campo de zk-SNARKs
Ha abierto un nuevo camino para el desarrollo de zk-SNARKs.
Se ha mejorado la eficiencia en la generación y verificación de pruebas, lo cual es crucial para aplicaciones a gran escala.
Ampliado el alcance de zk-SNARKs, puede manejar tareas de prueba más complejas.
Componentes clave de Nova
R1CS y R1CS relajado: sistemas de restricciones utilizados para construir zk-SNARKs.
Motor de evaluación de polinomios: utilizado para demostrar el valor de evaluación de un polinomio en un cierto punto.
Plan de compromiso: permite que el probador se comprometa a un valor sin revelarlo de inmediato.
Algoritmo Sumcheck: utilizado para verificar la suma de polinomios.
Función de pasos de cálculo incremental: permite calcular funciones complejas paso a paso.
Las innovaciones de Nova traen nuevas posibilidades para los sistemas de zk-SNARKs, con la esperanza de impulsar la aplicación de esta tecnología en una gama más amplia de campos.