Nova est un nouveau système de zk-SNARKs développé par Microsoft. Il utilise la technologie (Relaxed R1CS) pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova sont :
En utilisant des R1CS relâchés, la randomité requise dans la preuve a été réduite, ce qui a considérablement amélioré l'efficacité de la génération et de la vérification des preuves.
Support de calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction en une seule fois.
Support pour le calcul polynomiale, capable de traiter des tâches de preuve plus complexes.
Fournit un mécanisme de preuve de pliage efficace, permettant de combiner plusieurs preuves en une.
Cependant, Nova présente également certaines limites :
En raison de l'utilisation d'un R1CS relâché, sa force de preuve peut ne pas être aussi forte que celle des systèmes R1CS traditionnels.
La mise en œuvre est relativement complexe, ce qui augmente la difficulté d'utilisation et de maintenance.
Il est nécessaire de comprendre en profondeur les techniques cryptographiques avancées telles que le calcul polynomial et les opérations de groupe pour pouvoir les utiliser efficacement.
Nova occupe une position importante dans le domaine des zk-SNARKs, offrant de nouvelles possibilités pour des applications à grande échelle. Son apparition élargit le champ d'application des zk-SNARKs et apporte de nouvelles opportunités dans des domaines tels que la blockchain et le calcul sécurisé.
L'implémentation principale de Nova comprend :
Définition et opérations de R1CS et de R1CS relâché
Schéma de promesse polynomiale
Schéma de pliage non interactif ( NIFS )
Algorithme Sumcheck
Preuve par produit scalaire ( IPA )
Grâce à la combinaison de ces technologies, Nova a réalisé une génération et une vérification de preuves efficaces. À l'avenir, Nova devrait jouer un rôle important dans des domaines tels que la protection de la vie privée et le calcul vérifiable.
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.
18 J'aime
Récompense
18
4
Partager
Commentaire
0/400
ChainComedian
· 08-04 03:56
Microsoft ne va pas encore essayer de voler le boulot des L2 avec ce piège, n'est-ce pas ?
Voir l'originalRépondre0
Anon32942
· 08-04 03:55
L'ancien Microsoft se lance-t-il aussi dans les preuves à divulgation nulle de connaissance ???
Voir l'originalRépondre0
NftDeepBreather
· 08-04 03:46
J'ai toujours pensé que compter sur gm pour passer un bull run n'était pas fiable.
Nova : système de zk-SNARKs révolutionnaire améliorant l'efficacité de la Blockchain
Nova : un système de zk-SNARKs efficace
Nova est un nouveau système de zk-SNARKs développé par Microsoft. Il utilise la technologie (Relaxed R1CS) pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova sont :
En utilisant des R1CS relâchés, la randomité requise dans la preuve a été réduite, ce qui a considérablement amélioré l'efficacité de la génération et de la vérification des preuves.
Support de calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction en une seule fois.
Support pour le calcul polynomiale, capable de traiter des tâches de preuve plus complexes.
Fournit un mécanisme de preuve de pliage efficace, permettant de combiner plusieurs preuves en une.
Cependant, Nova présente également certaines limites :
En raison de l'utilisation d'un R1CS relâché, sa force de preuve peut ne pas être aussi forte que celle des systèmes R1CS traditionnels.
La mise en œuvre est relativement complexe, ce qui augmente la difficulté d'utilisation et de maintenance.
Il est nécessaire de comprendre en profondeur les techniques cryptographiques avancées telles que le calcul polynomial et les opérations de groupe pour pouvoir les utiliser efficacement.
Nova occupe une position importante dans le domaine des zk-SNARKs, offrant de nouvelles possibilités pour des applications à grande échelle. Son apparition élargit le champ d'application des zk-SNARKs et apporte de nouvelles opportunités dans des domaines tels que la blockchain et le calcul sécurisé.
L'implémentation principale de Nova comprend :
Grâce à la combinaison de ces technologies, Nova a réalisé une génération et une vérification de preuves efficaces. À l'avenir, Nova devrait jouer un rôle important dans des domaines tels que la protection de la vie privée et le calcul vérifiable.