Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie (Relaxed R1CS) pour améliorer l'efficacité et la flexibilité des preuves.
Les avantages de Nova
Le principal avantage de Nova réside dans l'utilisation de la technologie R1CS relâchée. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomité pendant le processus de preuve, ce qui rend la génération et la vérification des preuves complexes et chronophages. Nova, en utilisant R1CS relâché, permet d'utiliser moins de randomité dans les preuves, améliorant ainsi considérablement l'efficacité des preuves.
Nova prend également en charge le calcul incrémental, permettant de calculer progressivement des fonctions complexes, sans avoir à calculer l'ensemble de la fonction en une seule fois. Cela est particulièrement utile pour traiter de grandes quantités de données ou des calculs complexes. De plus, Nova prend en charge le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes.
Inconvénients de Nova
Nova utilise des R1CS relâchés, dont les preuves peuvent être moins robustes 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 résoudre ce problème, comme l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
Deuxièmement, 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 de cryptographie avancées, telles que le calcul polynomial, les opérations de groupe et les oracle 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 occupe une place importante dans le domaine des zk-SNARKs. Elle ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie R1CS relâchée adoptée par Nova rend le processus de génération et de vérification des preuves plus efficace, ce qui est crucial pour les applications zk-SNARKs à grande échelle. De plus, Nova prend en charge le calcul incrémental et le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes, élargissant ainsi le champ d'application des zk-SNARKs.
Interprétation du code source de Nova
Le code source de Nova comprend principalement les modules importants suivants :
bellperson: a mis en œuvre la génération des Systèmes de Contraintes de Rang 1 (R1CS) (.
gadgets : outils pour construire des preuves zk-SNARKs.
provider: Contient le code de certains fournisseurs, comme l'implémentation de la fonction de hachage Keccak.
spartan: Contient le code lié au protocole Spartan.
traits : définit quelques traits Rust de comportement générique.
L'implémentation centrale de Nova comprend :
Implémentation de R1CS et de R1CS détendu
Schéma d'engagement polynomial
Algorithme Sumcheck
Solutions de pliage non interactives ) NIFS (
Opérations de cryptographie à courbe elliptique
Moteur de transcription
Ces composants forment ensemble le système de zk-SNARKs de Nova, permettant de générer et de vérifier efficacement les preuves de calculs complexes, tout en garantissant la sécurité et la confidentialité des preuves.
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.
17 J'aime
Récompense
17
8
Partager
Commentaire
0/400
DefiEngineerJack
· 07-27 05:09
*soupir* microsoft essaie d'optimiser zk à nouveau... montre-moi la vérification formelle ou c'est juste un autre pot de miel L2
Voir l'originalRépondre0
tx_pending_forever
· 07-26 11:14
On parle encore de zero-knowledge ? Si la sécurité est compromise, cela peut-il encore être utilisé ?
Voir l'originalRépondre0
TestnetScholar
· 07-25 14:13
La technologie est encore devenue complexe.
Voir l'originalRépondre0
RugpullTherapist
· 07-25 03:30
La nouvelle chose me cause encore des tracas... Ce n'est pas juste un piège à mains nues avec un loup blanc.
Voir l'originalRépondre0
liquiditea_sipper
· 07-25 03:26
Bien joué, Microsoft a bien géré cet équilibre.
Voir l'originalRépondre0
Rugpull幸存者
· 07-25 03:25
Ce truc est inutile, autant utiliser Stark.
Voir l'originalRépondre0
MoonMathMagic
· 07-25 03:20
Un autre système sacrifie la sécurité pour la performance.
Nova: Un nouveau système de zk-SNARKs améliore l'efficacité et la flexibilité
Nova: un nouveau système zk-SNARKs
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie (Relaxed R1CS) pour améliorer l'efficacité et la flexibilité des preuves.
Les avantages de Nova
Le principal avantage de Nova réside dans l'utilisation de la technologie R1CS relâchée. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomité pendant le processus de preuve, ce qui rend la génération et la vérification des preuves complexes et chronophages. Nova, en utilisant R1CS relâché, permet d'utiliser moins de randomité dans les preuves, améliorant ainsi considérablement l'efficacité des preuves.
Nova prend également en charge le calcul incrémental, permettant de calculer progressivement des fonctions complexes, sans avoir à calculer l'ensemble de la fonction en une seule fois. Cela est particulièrement utile pour traiter de grandes quantités de données ou des calculs complexes. De plus, Nova prend en charge le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes.
Inconvénients de Nova
Nova utilise des R1CS relâchés, dont les preuves peuvent être moins robustes 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 résoudre ce problème, comme l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
Deuxièmement, 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 de cryptographie avancées, telles que le calcul polynomial, les opérations de groupe et les oracle 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 occupe une place importante dans le domaine des zk-SNARKs. Elle ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie R1CS relâchée adoptée par Nova rend le processus de génération et de vérification des preuves plus efficace, ce qui est crucial pour les applications zk-SNARKs à grande échelle. De plus, Nova prend en charge le calcul incrémental et le calcul polynomial, ce qui lui permet de traiter des tâches de preuve plus complexes, élargissant ainsi le champ d'application des zk-SNARKs.
Interprétation du code source de Nova
Le code source de Nova comprend principalement les modules importants suivants :
bellperson: a mis en œuvre la génération des Systèmes de Contraintes de Rang 1 (R1CS) (.
gadgets : outils pour construire des preuves zk-SNARKs.
provider: Contient le code de certains fournisseurs, comme l'implémentation de la fonction de hachage Keccak.
spartan: Contient le code lié au protocole Spartan.
traits : définit quelques traits Rust de comportement générique.
L'implémentation centrale de Nova comprend :
Ces composants forment ensemble le système de zk-SNARKs de Nova, permettant de générer et de vérifier efficacement les preuves de calculs complexes, tout en garantissant la sécurité et la confidentialité des preuves.