Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie Relaxed R1CS (, améliorant considérablement l'efficacité et la flexibilité des preuves. Les principaux avantages de Nova sont :
En utilisant la technologie R1CS relâchée, la demande de randomité dans le processus de preuve a été réduite, améliorant ainsi l'efficacité.
Prend en charge le calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à traiter l'intégralité du calcul en une seule fois.
Prend en charge le calcul polynômial, capable de traiter des tâches de preuve plus complexes.
A amélioré la praticité des zk-SNARKs dans les applications à grande échelle.
Nova présente également certaines limitations :
En raison de l'utilisation de R1CS relâché, la force de la preuve peut être légèrement inférieure à celle des systèmes R1CS traditionnels.
Réalisation relativement complexe, ce qui augmente la difficulté d'utilisation et de maintenance.
Néanmoins, Nova occupe toujours une position importante dans le domaine des zk-SNARKs. Elle ouvre de nouvelles voies pour le développement des zk-SNARKs, élargissant le champ d'application, en particulier pour les scénarios nécessitant le traitement de grandes quantités de données ou des calculs complexes.
La mise en œuvre centrale de Nova comprend :
Structures de données et algorithmes liés à R1CS
Calcul et évaluation de polynômes
Solution de pliage non interactive ) NIFS (
Protocole Spartan
Schéma d'engagement polynomial basé sur le théorème du produit scalaire
Grâce à cette combinaison de technologies innovantes, Nova a réalisé un système de zk-SNARKs efficace et flexible, offrant de nouvelles solutions dans des domaines tels que la blockchain et l'authentification des identités.
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
MelonField
· Il y a 6h
Avoir du caractère, sans limites~?
Voir l'originalRépondre0
HashBandit
· Il y a 6h
honnêtement, cette histoire de r1cs me rappelle mes jours de mining eth... au moins, c'est beaucoup moins énergivore, lmao
Voir l'originalRépondre0
HypotheticalLiquidator
· Il y a 6h
Détente = vulnérabilités de gestion des risques. Attention à l'effet domino.
Nova : application révolutionnaire du système de preuve de connaissance nulle de Microsoft
Nova : un système innovant de zk-SNARKs
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie Relaxed R1CS (, améliorant considérablement l'efficacité et la flexibilité des preuves. Les principaux avantages de Nova sont :
En utilisant la technologie R1CS relâchée, la demande de randomité dans le processus de preuve a été réduite, améliorant ainsi l'efficacité.
Prend en charge le calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à traiter l'intégralité du calcul en une seule fois.
Prend en charge le calcul polynômial, capable de traiter des tâches de preuve plus complexes.
A amélioré la praticité des zk-SNARKs dans les applications à grande échelle.
Nova présente également certaines limitations :
En raison de l'utilisation de R1CS relâché, la force de la preuve peut être légèrement inférieure à celle des systèmes R1CS traditionnels.
Réalisation relativement complexe, ce qui augmente la difficulté d'utilisation et de maintenance.
Néanmoins, Nova occupe toujours une position importante dans le domaine des zk-SNARKs. Elle ouvre de nouvelles voies pour le développement des zk-SNARKs, élargissant le champ d'application, en particulier pour les scénarios nécessitant le traitement de grandes quantités de données ou des calculs complexes.
La mise en œuvre centrale de Nova comprend :
Grâce à cette combinaison de technologies innovantes, Nova a réalisé un système de zk-SNARKs efficace et flexible, offrant de nouvelles solutions dans des domaines tels que la blockchain et l'authentification des identités.