Nova: un système de zk-SNARKs efficace

Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise une technologie appelée Relaxed Rank-1 Constraint Systems, Relaxed R1CS( pour améliorer l'efficacité et la flexibilité des preuves.

L'un des principaux avantages de Nova réside dans la technologie R1CS relâchée qu'il utilise. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomité durant le processus de preuve, ce qui rend la génération et la vérification des preuves très complexes et chronophages. Nova résout ce problème en utilisant R1CS relâchée, ce qui permet d'utiliser moins de randomité dans la preuve, augmentant ainsi considérablement l'efficacité de la preuve.

Nova prend également en charge le calcul incrémental, ce qui signifie que des fonctions complexes peuvent être calculées progressivement, sans avoir à calculer l'ensemble de la fonction d'un seul coup. Cela est très utile lors du traitement de grandes quantités de données ou de l'exécution de calculs complexes. De plus, Nova prend également en charge le calcul polynômial, ce qui lui permet de traiter des tâches de preuve plus complexes.

Les inconvénients de Nova résident dans le fait que, en raison de l'utilisation de R1CS relâché, ses preuves peuvent ne pas être aussi robustes que celles des systèmes R1CS traditionnels. Cela est dû au fait que R1CS relâché permet d'utiliser moins de randomité dans les preuves, ce qui peut diminuer la sécurité des preuves. Cependant, les développeurs de Nova ont déjà pris certaines mesures pour résoudre ce problème, telles que l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.

La mise en œuvre de Nova est relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance. Nova utilise de nombreuses techniques cryptographiques avancées, telles que le calcul polynomiale, les opérations de groupe et les oracles aléatoires, ce qui nécessite une compréhension approfondie de ces techniques pour pouvoir utiliser et modifier efficacement Nova.

Malgré ces défis, Nova occupe toujours une place importante dans le domaine des zk-SNARKs. Son apparition a ouvert de nouvelles voies pour le développement des zk-SNARKs. La technologie R1CS relâchée adoptée par Nova rend le processus de génération et de vérification des preuves plus efficace, ce qui est crucial pour les applications zk-SNARKs à grande échelle. De plus, Nova prend également en charge le calcul incrémental et le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes, élargissant ainsi encore le champ d'application des zk-SNARKs.

Le code source du projet Nova comprend principalement les modules importants suivants :

1. bellperson : a réalisé la génération des R1CS) Rank-1 Constraint Systems(.

2. gadgets : contient divers outils pour construire des preuves zk-SNARKs.

3. provider : fournit certaines implémentations de fonctionnalités de base, telles que les fonctions de hachage, etc.

4. spartan : a réalisé les fonctionnalités liées au protocole Spartan.

5. traits : définit quelques interfaces et caractéristiques communes.

6. circuit : définit le circuit amélioré dans le protocole Nova.

7. r1cs : Implémentation des types et méthodes liés à R1CS.

Ces modules constituent ensemble les fonctionnalités centrales de Nova, y compris la construction de R1CS, la génération et la vérification de preuves, ainsi que le calcul polynômial. Grâce à cette combinaison astucieuse de modules, Nova a réalisé un système de zk-SNARKs efficace.