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.
L'un des principaux avantages de Nova réside dans l'utilisation de la technologie relaxée R1CS. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomité lors du processus de preuve, ce qui rend la génération et la vérification des preuves complexes et chronophages. Nova, en utilisant R1CS relaxé, permet d'utiliser moins de randomité dans les preuves, ce qui améliore considérablement l'efficacité des preuves.
De plus, Nova prend en charge le calcul incrémental, ce qui permet de calculer progressivement des fonctions complexes sans avoir à calculer l'intégralité de la fonction d'un coup. Cela est très utile lors du traitement de grandes quantités de données ou de calculs complexes. Nova prend également en charge le calcul polynômial, ce qui permet de traiter des tâches de preuve plus complexes.
Les inconvénients de Nova sont dus à l'utilisation de R1CS relâché, dont les preuves peuvent être moins robustes que celles des systèmes R1CS traditionnels. Le R1CS relâché permet d'utiliser 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, telles que l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
De plus, 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, nécessitant une compréhension approfondie de ces technologies pour les utiliser et modifier efficacement.
Dans l'ensemble, Nova occupe une position importante dans le domaine des zk-SNARKs. Sa technologie R1CS assouplie 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 également en charge le calcul incrémentiel et le calcul polynomial, élargissant ainsi le champ d'application des zk-SNARKs.
Le code source de Nova contient principalement les modules centraux suivants :
bellperson : implémenter des fonctionnalités liées à R1CS.
gadgets : outils pour construire des preuves zk-SNARKs.
spartan : implémenter les fonctionnalités liées au protocole Spartan.
traits : définit quelques traits généraux, comme Group, CommitmentTrait, etc.
r1cs.rs : définir les structures de données et les méthodes associées à R1CS.
nifs.rs : mise en œuvre d'un schéma de pliage non interactif.
ipa_pc.rs : mise en œuvre d'un schéma d'engagement polynomial basé sur l'IPA.
Ces modules réalisent ensemble les fonctionnalités clés de Nova, y compris le système de contraintes R1CS, les engagements polynomiaux, la génération et la vérification des zk-SNARKs, etc. Nova met en œuvre un système de zk-SNARKs efficace grâce à la combinaison de ces modules.
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
9
Partager
Commentaire
0/400
GasWrangler
· 07-15 08:59
techniquement parlant, le r1cs détendu de nova est sous-optimal pour des garanties de sécurité robustes...
Voir l'originalRépondre0
Rugpull幸存者
· 07-14 14:27
Microsoft a beaucoup de puissance après.
Voir l'originalRépondre0
PretendingSerious
· 07-13 22:56
Bull, Microsoft a enfin fait quelque chose de bien.
Voir l'originalRépondre0
CryptoTarotReader
· 07-13 18:34
Microsoft est là ! ZK a-t-il l'intention de s'introduire en bourse avec ses compétences ?
Voir l'originalRépondre0
BlockchainTalker
· 07-13 18:29
en fait, Microsoft fait des preuves zk ? c'est définitivement un changement de jeu à vrai dire... pas beaucoup de gens réalisent cela.
Voir l'originalRépondre0
¯\_(ツ)_/¯
· 07-13 18:27
松弛 R1CS 这么 bull 啊!
Voir l'originalRépondre0
ApeWithNoFear
· 07-13 18:21
zk-SNARKs est vraiment génial
Voir l'originalRépondre0
PonziDetector
· 07-13 18:18
Microsoft prend vraiment au sérieux les preuves à divulgation nulle de connaissance.
Voir l'originalRépondre0
Degen4Breakfast
· 07-13 18:12
Ah, c'est encore Microsoft qui fait de l'innovation.
Nova : La technologie R1CS détendue ouvre la voie à une nouvelle efficacité des zk-SNARKs.
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.
L'un des principaux avantages de Nova réside dans l'utilisation de la technologie relaxée R1CS. Les systèmes R1CS traditionnels nécessitent une grande quantité de randomité lors du processus de preuve, ce qui rend la génération et la vérification des preuves complexes et chronophages. Nova, en utilisant R1CS relaxé, permet d'utiliser moins de randomité dans les preuves, ce qui améliore considérablement l'efficacité des preuves.
De plus, Nova prend en charge le calcul incrémental, ce qui permet de calculer progressivement des fonctions complexes sans avoir à calculer l'intégralité de la fonction d'un coup. Cela est très utile lors du traitement de grandes quantités de données ou de calculs complexes. Nova prend également en charge le calcul polynômial, ce qui permet de traiter des tâches de preuve plus complexes.
Les inconvénients de Nova sont dus à l'utilisation de R1CS relâché, dont les preuves peuvent être moins robustes que celles des systèmes R1CS traditionnels. Le R1CS relâché permet d'utiliser 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, telles que l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
De plus, 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, nécessitant une compréhension approfondie de ces technologies pour les utiliser et modifier efficacement.
Dans l'ensemble, Nova occupe une position importante dans le domaine des zk-SNARKs. Sa technologie R1CS assouplie 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 également en charge le calcul incrémentiel et le calcul polynomial, élargissant ainsi le champ d'application des zk-SNARKs.
Le code source de Nova contient principalement les modules centraux suivants :
bellperson : implémenter des fonctionnalités liées à R1CS.
gadgets : outils pour construire des preuves zk-SNARKs.
spartan : implémenter les fonctionnalités liées au protocole Spartan.
traits : définit quelques traits généraux, comme Group, CommitmentTrait, etc.
r1cs.rs : définir les structures de données et les méthodes associées à R1CS.
nifs.rs : mise en œuvre d'un schéma de pliage non interactif.
ipa_pc.rs : mise en œuvre d'un schéma d'engagement polynomial basé sur l'IPA.
Ces modules réalisent ensemble les fonctionnalités clés de Nova, y compris le système de contraintes R1CS, les engagements polynomiaux, la génération et la vérification des zk-SNARKs, etc. Nova met en œuvre un système de zk-SNARKs efficace grâce à la combinaison de ces modules.