Nova: un nouveau système de zk-SNARKs

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

Les principaux avantages de Nova incluent :

• En utilisant la technique R1CS relâchée, il est possible d'utiliser moins de randomité dans la preuve, améliorant ainsi considérablement l'efficacité de la preuve.
• Prise en charge du 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

Nova présente également certains inconvénients :

• En raison de l'utilisation de R1CS relâché, les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels.
• La réalisation est relativement complexe, et son utilisation et sa maintenance sont assez difficiles.

Néanmoins, Nova occupe toujours une position importante dans le domaine des zk-SNARKs. Elle a ouvert de nouvelles voies pour le développement des zk-SNARKs, rendant le processus de génération et de vérification des preuves plus efficace, capable de traiter des tâches de preuve plus complexes, et élargissant ainsi le champ d'application des zk-SNARKs.

La mise en œuvre principale de Nova comprend :

• Définition et mise en œuvre de R1CS et de R1CS relâché
• Structures de données et algorithmes liés au calcul polynomial
• Mise en œuvre du protocole Sumcheck
• Mise en œuvre du schéma de pliage non interactif ( NIFS )
• Schéma d'engagement polynomial basé sur les preuves d'intégration

Ces composants forment ensemble un système zk-SNARKs efficace de Nova, contribuant de manière significative aux avancées de la technologie des zk-SNARKs.