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
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des preuves à divulgation nulle de connaissance.
Schéma de promesse polynomiale : utilisé pour prouver la valeur d'évaluation du polynôme
Solution de pliage non interactive ) NIFS ( : utilisée pour prouver la validité de chaque étape du calcul incrémentiel.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes
Cryptographie à courbe elliptique ) ECC ( : fournir des primitives cryptographiques de base
Fonction de hachage Keccak256 : utilisée pour traiter le transcript dans le processus de preuve.
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.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Nova: un système zk-SNARK récursif de nouvelle génération et ses avantages
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
Limitations potentielles de Nova
Les composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des preuves à divulgation nulle de connaissance.
Schéma de promesse polynomiale : utilisé pour prouver la valeur d'évaluation du polynôme
Solution de pliage non interactive ) NIFS ( : utilisée pour prouver la validité de chaque étape du calcul incrémentiel.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes
Cryptographie à courbe elliptique ) ECC ( : fournir des primitives cryptographiques de base
Fonction de hachage Keccak256 : utilisée pour traiter le transcript dans le processus de preuve.
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.