Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie des systèmes de contrainte de rang 1 relâchée (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova
En utilisant la technologie R1CS relâchée, la quantité de randomité requise dans le processus de preuve a été considérablement réduite, améliorant ainsi l'efficacité de la génération et de la vérification des preuves.
Prise en charge du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à réaliser l'ensemble du processus de calcul en une seule fois. Cela est particulièrement utile lors du traitement de grandes quantités de données ou de calculs complexes.
Prend en charge le calcul polynomial, capable de traiter des tâches de preuve plus complexes.
Les limites de Nova
En raison de l'utilisation d'un R1CS relâché, les preuves de Nova peuvent ne pas être aussi robustes que celles des systèmes R1CS traditionnels. Pour remédier à ce problème, les développeurs de Nova ont adopté des algorithmes cryptographiques plus puissants et des stratégies de preuve plus complexes.
La mise en œuvre de Nova est relativement complexe, impliquant plusieurs techniques de cryptographie avancées, telles que le calcul polynomial, les opérations de groupe et les oracle aléatoires, etc. Cela pourrait augmenter la difficulté d'utilisation et de maintenance.
La position de Nova dans le domaine des zk-SNARKs
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. Son processus de génération et de vérification de preuves efficace est crucial pour les applications de zk-SNARKs à grande échelle. Nova prend en charge les caractéristiques du calcul incrémental et du calcul polynomiale, élargissant encore le champ d'application des zk-SNARKs.
Analyse du code source de Nova
Le code source de Nova contient principalement les modules clés suivants :
bellperson : a mis en œuvre des fonctionnalités liées aux R1CS (Rank-1 Constraint Systems).
gadgets : outils pour construire des preuves zk-SNARKs.
provider : Fournit des implémentations de diverses primitives cryptographiques, telles que la fonction de hachage Keccak.
spartan : a mis en œuvre des fonctionnalités liées au protocole Spartan.
traits : définit divers comportements et interfaces publics.
Le fichier central src/circuit.rs définit les circuits améliorés dans le protocole Nova, y compris le circuit d'étapes et le circuit de vérificateur. Le fichier src/nifs.rs implémente le schéma de pliage non interactif (Non-Interactive Folding Scheme, NIFS), utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Le projet Nova utilise largement les fonctionnalités du langage Rust, telles que les traits et la programmation générique, pour fournir des implémentations flexibles et efficaces. Ce projet implique des concepts et des techniques cryptographiques complexes, y compris la cryptographie à courbe elliptique, les engagements polynomiaux, les oracles aléatoires, etc., illustrant la complexité et les puissantes fonctionnalités des systèmes modernes de zk-SNARKs.
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.
16 J'aime
Récompense
16
4
Reposter
Partager
Commentaire
0/400
GasFeeLady
· Il y a 20h
hmm microsoft enfin en train de s'impliquer dans zk... je me demande combien d'eth ils ont brûlés en testant ce bébé
Voir l'originalRépondre0
TokenRationEater
· Il y a 20h
Le zkp va encore sortir quelque chose de nouveau ? Bien que je ne comprenne pas, ça a l'air mieux !
Voir l'originalRépondre0
NFTRegretDiary
· Il y a 20h
Microsoft veut nous piquer notre travail dans le secteur!
Voir l'originalRépondre0
¯\_(ツ)_/¯
· Il y a 20h
Pourquoi c'est toujours Microsoft qui s'en occupe, ça fait un peu peur.
Nova : un système de zk-SNARKs efficace et flexible développé par Microsoft.
Nova - Système zk-SNARKs efficace et flexible
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie des systèmes de contrainte de rang 1 relâchée (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova
En utilisant la technologie R1CS relâchée, la quantité de randomité requise dans le processus de preuve a été considérablement réduite, améliorant ainsi l'efficacité de la génération et de la vérification des preuves.
Prise en charge du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à réaliser l'ensemble du processus de calcul en une seule fois. Cela est particulièrement utile lors du traitement de grandes quantités de données ou de calculs complexes.
Prend en charge le calcul polynomial, capable de traiter des tâches de preuve plus complexes.
Les limites de Nova
En raison de l'utilisation d'un R1CS relâché, les preuves de Nova peuvent ne pas être aussi robustes que celles des systèmes R1CS traditionnels. Pour remédier à ce problème, les développeurs de Nova ont adopté des algorithmes cryptographiques plus puissants et des stratégies de preuve plus complexes.
La mise en œuvre de Nova est relativement complexe, impliquant plusieurs techniques de cryptographie avancées, telles que le calcul polynomial, les opérations de groupe et les oracle aléatoires, etc. Cela pourrait augmenter la difficulté d'utilisation et de maintenance.
La position de Nova dans le domaine des zk-SNARKs
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. Son processus de génération et de vérification de preuves efficace est crucial pour les applications de zk-SNARKs à grande échelle. Nova prend en charge les caractéristiques du calcul incrémental et du calcul polynomiale, élargissant encore le champ d'application des zk-SNARKs.
Analyse du code source de Nova
Le code source de Nova contient principalement les modules clés suivants :
bellperson : a mis en œuvre des fonctionnalités liées aux R1CS (Rank-1 Constraint Systems).
gadgets : outils pour construire des preuves zk-SNARKs.
provider : Fournit des implémentations de diverses primitives cryptographiques, telles que la fonction de hachage Keccak.
spartan : a mis en œuvre des fonctionnalités liées au protocole Spartan.
traits : définit divers comportements et interfaces publics.
Le fichier central src/circuit.rs définit les circuits améliorés dans le protocole Nova, y compris le circuit d'étapes et le circuit de vérificateur. Le fichier src/nifs.rs implémente le schéma de pliage non interactif (Non-Interactive Folding Scheme, NIFS), utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Le projet Nova utilise largement les fonctionnalités du langage Rust, telles que les traits et la programmation générique, pour fournir des implémentations flexibles et efficaces. Ce projet implique des concepts et des techniques cryptographiques complexes, y compris la cryptographie à courbe elliptique, les engagements polynomiaux, les oracles aléatoires, etc., illustrant la complexité et les puissantes fonctionnalités des systèmes modernes de zk-SNARKs.