Nova: Système zk-SNARK récursif efficace

Nova est un nouveau système de preuve à divulgation nulle de connaissances succinctes et non interactives basé sur zk-SNARK(, développé par Microsoft Research. Il utilise une technologie appelée Systèmes de Contraintes de Rang 1 Relaxés) (Relaxed Rank-1 Constraint Systems, Relaxed R1CS() pour améliorer l'efficacité et la flexibilité des preuves.

Les principaux avantages de Nova

• Utilisation de la technologie R1CS relâchée, réduisant les besoins en randomisation, améliorant considérablement l'efficacité des preuves.
• Support de calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à effectuer l'ensemble du calcul en une seule fois.
• Prend en charge le calcul polynomial, capable de traiter des tâches de preuve plus complexes
• Le processus de génération et de vérification des preuves est plus efficace, adapté aux scénarios d'application à grande échelle.

Limitations potentielles de Nova

• Une R1CS relâchée peut entraîner une sécurité de preuve légèrement inférieure à celle des systèmes R1CS traditionnels.
• Réalisation relativement complexe, difficulté d'utilisation et de maintenance élevée.
• Il est nécessaire de comprendre en profondeur les techniques avancées de cryptographie pour les utiliser et les modifier efficacement.

Les composants clés de Nova

1. R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des preuves à divulgation nulle de connaissance.

2. Schéma de promesse polynomiale : utilisé pour prouver la valeur d'évaluation du polynôme

3. Solution de pliage non interactive ) NIFS ( : utilisée pour prouver la validité de chaque étape du calcul incrémentiel.

4. Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes

5. Cryptographie à courbe elliptique ) ECC ( : fournir des primitives cryptographiques de base

6. Fonction de hachage Keccak256 : utilisée pour traiter le transcript dans le processus de preuve.

7. Calculs sur de grands entiers : prend en charge les calculs dépassant la plage des entiers conventionnels.

Nova a réalisé un système de preuve récursive efficace grâce à une combinaison innovante de ces composants, posant ainsi les bases pour l'application à grande échelle de la technologie des preuves à divulgation nulle de connaissance.