Nova est un nouveau système de zk-SNARKs développé par Microsoft, utilisant des systèmes de contraintes de rang 1 détendus (Relaxed Rank-1 Constraint Systems) pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova
L'utilisation de la technologie R1CS relâchée permet d'utiliser moins de randomité dans la preuve, ce qui améliore considérablement l'efficacité de la preuve.
Support du calcul incrémental, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction en une seule fois. Cela est très utile lors du traitement de grandes quantités de données ou de calculs complexes.
Prise en charge du calcul polynomial, pouvant traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
En raison de l'utilisation de R1CS relâché, les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels. Cependant, les développeurs ont pris des mesures pour résoudre ce problème, comme l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
La mise en œuvre est relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance. Nova utilise de nombreuses techniques cryptographiques avancées, nécessitant une compréhension approfondie de ces techniques pour être utilisées et modifiées efficacement.
L'importance de Nova
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie qu'elle utilise rend le processus de génération et de vérification des preuves plus efficace, ce qui est essentiel pour les applications à grande échelle des zk-SNARKs. De plus, Nova prend également en charge le calcul incrémentiel et le calcul polynomial, élargissant ainsi le champ d'application des zk-SNARKs.
Les principaux composants de Nova
Modules liés à R1CS : définit la structure de base et les opérations de R1CS.
Module de calcul polynomial : il permet la représentation et les opérations de base sur les polynômes.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Schéma de promesse : mécanisme d'engagement réalisé dans la cryptographie.
Moteur d'évaluation : utilisé pour prouver et vérifier l'évaluation des polynômes.
Préprocesseur : prétraitement des entrées.
Moteur de transcription : traite les interactions pendant le processus de preuve.
Implementation de zkSNARK : un système de preuve non interactive succincte à connaissance nulle a été réalisé sur la base des composants mentionnés ci-dessus.
Nova a réalisé un système de zk-SNARKs efficace et flexible grâce à la combinaison astucieuse de ces composants, offrant de nouvelles possibilités pour le développement des domaines comme la cryptographie et la blockchain.
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.
15 J'aime
Récompense
15
3
Reposter
Partager
Commentaire
0/400
shadowy_supercoder
· Il y a 19h
Pourquoi Microsoft fait-il des choses aussi compliquées ?
Voir l'originalRépondre0
BearMarketSurvivor
· 08-11 18:57
Le vétéran examine la nouvelle arme pour voir comment elle se comporte en termes de puissance de feu.
Voir l'originalRépondre0
ForkTongue
· 08-11 18:39
La maison Microsoft est enfin complètement opérationnelle.
Nova : un système zk-SNARKs efficace et flexible
Nova : un nouveau système de zk-SNARKs
Nova est un nouveau système de zk-SNARKs développé par Microsoft, utilisant des systèmes de contraintes de rang 1 détendus (Relaxed Rank-1 Constraint Systems) pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova
L'utilisation de la technologie R1CS relâchée permet d'utiliser moins de randomité dans la preuve, ce qui améliore considérablement l'efficacité de la preuve.
Support du calcul incrémental, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction en une seule fois. Cela est très utile lors du traitement de grandes quantités de données ou de calculs complexes.
Prise en charge du calcul polynomial, pouvant traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
En raison de l'utilisation de R1CS relâché, les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels. Cependant, les développeurs ont pris des mesures pour résoudre ce problème, comme l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
La mise en œuvre est relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance. Nova utilise de nombreuses techniques cryptographiques avancées, nécessitant une compréhension approfondie de ces techniques pour être utilisées et modifiées efficacement.
L'importance de Nova
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie qu'elle utilise rend le processus de génération et de vérification des preuves plus efficace, ce qui est essentiel pour les applications à grande échelle des zk-SNARKs. De plus, Nova prend également en charge le calcul incrémentiel et le calcul polynomial, élargissant ainsi le champ d'application des zk-SNARKs.
Les principaux composants de Nova
Modules liés à R1CS : définit la structure de base et les opérations de R1CS.
Module de calcul polynomial : il permet la représentation et les opérations de base sur les polynômes.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Schéma de promesse : mécanisme d'engagement réalisé dans la cryptographie.
Moteur d'évaluation : utilisé pour prouver et vérifier l'évaluation des polynômes.
Préprocesseur : prétraitement des entrées.
Moteur de transcription : traite les interactions pendant le processus de preuve.
Implementation de zkSNARK : un système de preuve non interactive succincte à connaissance nulle a été réalisé sur la base des composants mentionnés ci-dessus.
Nova a réalisé un système de zk-SNARKs efficace et flexible grâce à la combinaison astucieuse de ces composants, offrant de nouvelles possibilités pour le développement des domaines comme la cryptographie et la blockchain.