Nova: Système de zk-SNARKs efficace

Nova est un nouveau type de système zk-SNARKs développé par Microsoft. Il utilise la technologie (Relaxed R1CS), ce qui améliore considérablement l'efficacité et la flexibilité des preuves. Les principales caractéristiques de Nova incluent :

• En utilisant R1CS détendu, la demande de randomité dans le processus de preuve a été réduite, ce qui a considérablement amélioré l'efficacité.
• Prise en charge du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à tout faire d'un coup.
• Support des calculs polynomiaux, capable de traiter des tâches de preuve plus complexes
• Utiliser des techniques cryptographiques avancées, telles que le calcul polynomial, les opérations de groupe et les oracles aléatoires, etc.

Nova occupe une position importante dans le domaine des zk-SNARKs. Elle ouvre de nouvelles possibilités pour des applications zk-SNARKs à grande échelle et élargit le champ d'application des zk-SNARKs.

Les composants principaux de Nova comprennent :

• Système R1CS : définit la structure et les opérations du système de contraintes
• Calcul polynomiale : mise en œuvre de polynômes d'égalité, de polynômes multilinaires, etc.
• Plan de promesse : utilisé pour cacher des informations mais permettant de vérifier leur exactitude
• Algorithme Sumcheck : vérification de la justesse de la somme des polynômes
• Schéma de pliage non interactif : utilisé pour prouver la validité des calculs incrémentaux

Nova a également mis en place un processus complet de génération et de vérification des preuves, comprenant trois étapes : la configuration, la preuve et la vérification.

Dans l'ensemble, Nova est un système zk-SNARKs efficace et flexible, offrant une base solide pour la construction d'applications zk-SNARKs complexes. Tout en protégeant la vie privée, il ouvre également de nouvelles possibilités dans des domaines tels que la blockchain et l'authentification.