Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise des systèmes de contraintes de rang 1 relâchés (Relaxed Rank-1 Constraint Systems, la technologie Relaxed R1CS), pour améliorer l'efficacité et la flexibilité des preuves.
Avantages de Nova
Les principaux avantages de Nova résident dans l'utilisation de la technologie R1CS relâchée. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomisation durant le processus de preuve, ce qui rend la génération et la vérification des preuves complexes et longues. Nova utilise moins de randomisation grâce à la R1CS relâchée, ce qui améliore considérablement l'efficacité des preuves.
Nova prend également en charge le calcul incrémental, ce qui permet 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. De plus, Nova prend en charge le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes.
Les inconvénients de Nova
Nova utilise des R1CS relâchés, ce qui signifie que les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels. Les R1CS relâchés utilisent moins de randomité, ce qui peut réduire la sécurité des preuves. Cependant, les développeurs de Nova ont pris des mesures pour y remédier, telles que l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve complexes.
La mise en œuvre de Nova est relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance. Nova utilise de nombreuses techniques cryptographiques avancées, telles que le calcul polynômial, les opérations de groupe et les oracles aléatoires, nécessitant une compréhension approfondie de ces techniques pour utiliser et modifier efficacement Nova.
L'importance de Nova dans le domaine des zk-SNARKs
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie R1CS relâchée qu'elle utilise rend la génération et la vérification des preuves plus efficaces, ce qui est essentiel pour les applications à grande échelle des zk-SNARKs. Nova prend en charge le calcul incrémental et le calcul polynomial, ce qui permet de traiter des tâches de preuve plus complexes et élargit encore le champ d'application des zk-SNARKs.
Interprétation du code source de Nova
Le code source du projet Nova contient les principaux modules suivants :
bellperson : a mis en œuvre la génération des systèmes de contraintes de rang 1 (R1CS) (.
gadgets : comprend les outils pour construire des zk-SNARKs.
provider: a fourni des implémentations de la fonction de hachage keccak.
spartan: a mis en œuvre le protocole Spartan.
traits: définit des traits qui décrivent un comportement général.
Les documents clés comprennent :
circuit.rs: définit le circuit amélioré dans le protocole Nova.
nifs.rs : a mis en œuvre un schéma de repli non interactif.
ipa_pc.rs : a mis en œuvre un moteur d'évaluation pour un schéma de promesse polynomiale basé sur IPA.
r1cs.rs : définit les types et méthodes associés à R1CS.
Ces modules et fichiers réalisent ensemble les fonctionnalités de base de Nova, y compris la génération et le traitement de R1CS, les engagements polynomiaux, les collapses non interactifs, etc., fournissant une base pour construire un système de zk-SNARKs efficace.
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
7
Partager
Commentaire
0/400
NotSatoshi
· 07-22 16:23
Vous osez encore y aller avec une sécurité insuffisante ?
Voir l'originalRépondre0
GateUser-1a2ed0b9
· 07-21 07:17
Est-ce que c'est vraiment si bon que ça ?
Voir l'originalRépondre0
OnchainUndercover
· 07-20 04:21
Il y a quelque chose de nouveau, un nouveau gameplay.
Voir l'originalRépondre0
AltcoinOracle
· 07-20 04:20
compromis de sécurité prévisible... le pattern se répète
Voir l'originalRépondre0
ShibaOnTheRun
· 07-20 04:17
Encore une nouvelle astuce de Microsoft, hein ?
Voir l'originalRépondre0
OnChainSleuth
· 07-20 04:15
Je ne me sens pas en sécurité, pas fiable.
Voir l'originalRépondre0
MetaMaskVictim
· 07-20 04:06
Encore un nouveau gadget de Microsoft ? Pas fiable.
Système innovant zk-SNARKs Nova : résoudre efficacement et de manière flexible les goulots d'étranglement traditionnels de R1CS
Nova : un nouveau système de zk-SNARKs
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise des systèmes de contraintes de rang 1 relâchés (Relaxed Rank-1 Constraint Systems, la technologie Relaxed R1CS), pour améliorer l'efficacité et la flexibilité des preuves.
Avantages de Nova
Les principaux avantages de Nova résident dans l'utilisation de la technologie R1CS relâchée. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomisation durant le processus de preuve, ce qui rend la génération et la vérification des preuves complexes et longues. Nova utilise moins de randomisation grâce à la R1CS relâchée, ce qui améliore considérablement l'efficacité des preuves.
Nova prend également en charge le calcul incrémental, ce qui permet 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. De plus, Nova prend en charge le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes.
Les inconvénients de Nova
Nova utilise des R1CS relâchés, ce qui signifie que les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels. Les R1CS relâchés utilisent moins de randomité, ce qui peut réduire la sécurité des preuves. Cependant, les développeurs de Nova ont pris des mesures pour y remédier, telles que l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve complexes.
La mise en œuvre de Nova est relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance. Nova utilise de nombreuses techniques cryptographiques avancées, telles que le calcul polynômial, les opérations de groupe et les oracles aléatoires, nécessitant une compréhension approfondie de ces techniques pour utiliser et modifier efficacement Nova.
L'importance de Nova dans le domaine des zk-SNARKs
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie R1CS relâchée qu'elle utilise rend la génération et la vérification des preuves plus efficaces, ce qui est essentiel pour les applications à grande échelle des zk-SNARKs. Nova prend en charge le calcul incrémental et le calcul polynomial, ce qui permet de traiter des tâches de preuve plus complexes et élargit encore le champ d'application des zk-SNARKs.
Interprétation du code source de Nova
Le code source du projet Nova contient les principaux modules suivants :
Les documents clés comprennent :
Ces modules et fichiers réalisent ensemble les fonctionnalités de base de Nova, y compris la génération et le traitement de R1CS, les engagements polynomiaux, les collapses non interactifs, etc., fournissant une base pour construire un système de zk-SNARKs efficace.