Nova: un système zk-SNARK récursif de nouvelle génération et ses avantages

robot
Création du résumé en cours

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.

ZK-36.39%
Voir l'original
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.
  • Récompense
  • 8
  • Reposter
  • Partager
Commentaire
0/400
Aucun commentaire
  • Épingler
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)