Analyse du projet Nova

Nova est un nouveau système de preuve à connaissance nulle développé par Microsoft, utilisant une technologie de système de contraintes de rang un relâché pour améliorer l'efficacité et la flexibilité des preuves. Il occupe une position importante dans le domaine des preuves à connaissance nulle, ouvrant de nouvelles possibilités pour des applications à grande échelle.

Avantages clés

• Utiliser la technologie R1CS relâchée, réduire l'utilisation de l'aléatoire, améliorer considérablement l'efficacité des preuves.
• Prend en charge le calcul incrémentiel, permettant de calculer progressivement des fonctions complexes
• Prend en charge le calcul polynomial, capable de traiter des tâches de preuve plus complexes

Modules principaux

Le code source de Nova contient principalement les modules importants suivants :

1. bellperson : mise en œuvre des fonctionnalités de génération R1CS

2. circuit : Définir le circuit amélioré du protocole Nova

3. gadgets : gadget réalisant divers primitives cryptographiques

4. nifs : Mise en œuvre d'un schéma de pliage non interactif

5. fournisseur : fournit des composants de base tels que des engagements polynomiaux, des fonctions de hachage, etc.

6. r1cs : Définir les structures de données et les opérations associées à R1CS

7. spartan : mise en œuvre du protocole Spartan

8. traits : définir diverses interfaces de caractéristiques

Structures de données clés

• R1CSShape: représente la forme de la matrice R1CS
• R1CSWitness : représente le témoin de l'instance R1CS
• R1CSInstance : représente une instance R1CS
• RelaxedR1CSWitness : représente le témoin de l'instance R1CS détendue.
• RelaxedR1CSInstance: représente une instance R1CS relâchée

Algorithme principal

• Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes
• Évaluation de polynômes : prouver la valeur d'un polynôme en un point
• Pliage non interactif : combiner plusieurs preuves en une seule preuve

Valeur d'application

Le système Nova fournit de puissants outils pour construire des preuves à divulgation nulle de connaissance, pouvant être largement appliqués dans des domaines tels que la blockchain et le calcul privé, favorisant l'application à grande échelle de la technologie de divulgation nulle de connaissance.