Nova est un nouveau système de zk-SNARKs développé par Microsoft, visant à améliorer l'efficacité et la flexibilité des preuves. Il utilise la technologie des systèmes de contraintes de rang 1 relâchés (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), qui permet d'utiliser moins de randomité dans les preuves, augmentant ainsi considérablement l'efficacité des preuves.
Principales caractéristiques de Nova
Efficacité : Nova utilise la technologie R1CS relâchée, réduisant la randomité requise pendant le processus de preuve, ce qui améliore considérablement la vitesse de génération et de vérification des preuves.
Prise en charge du calcul incrémentiel : Nova permet de calculer progressivement des fonctions complexes, sans avoir besoin d'accomplir 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 lors de calculs complexes.
Prise en charge du calcul polynomiale : Nova peut gérer des tâches de preuve plus complexes, élargissant le champ d'application des zk-SNARKs.
Flexibilité : La conception de Nova lui permet de s'adapter à une variété de scénarios d'application, lui permettant ainsi de jouer un rôle dans plusieurs domaines.
La mise en œuvre technique de Nova
Le cœur de l'implémentation de Nova comprend les principales parties suivantes :
R1CS (Rank-1 Constraint Systems) : Nova utilise un système R1CS amélioré pour construire des zk-SNARKs.
Schéma de promesse polynomial : Nova adopte un schéma de promesse polynomial basé sur l'argument de produit intérieur (Inner Product Argument, IPA).
Algorithme de Sumcheck : un algorithme utilisé pour vérifier la somme des polynômes, jouant un rôle important dans le système de preuve de Nova.
Schéma de pliage non interactif (Non-Interactive Folding Scheme, NIFS) : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Cryptographie à courbe elliptique (ECC) : Nova utilise ECC pour réaliser des opérations cryptographiques efficaces.
La position de Nova dans le domaine des zk-SNARKs
L'émergence de Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. Son efficacité et sa flexibilité rendent possibles des applications de zk-SNARKs à grande échelle. Nova prend en charge le calcul incrémentiel et les calculs polynomiaux complexes, élargissant ainsi encore le champ d'application des zk-SNARKs.
Bien que Nova ait des avantages significatifs en termes d'efficacité et de fonctionnalité, sa mise en œuvre est relativement complexe et nécessite une compréhension approfondie des technologies cryptographiques associées pour être utilisée et modifiée efficacement. De plus, en raison de l'utilisation d'un R1CS détendu, les preuves de Nova peuvent, dans certains cas, ne pas être aussi puissantes que celles des systèmes R1CS traditionnels. Cependant, les développeurs de Nova ont pris des mesures pour résoudre ces problèmes potentiels, comme l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
Dans l'ensemble, Nova représente une avancée importante dans la technologie des zk-SNARKs, offrant de nouvelles possibilités et directions pour le développement futur de ce domaine.
Voir l'original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
19 J'aime
Récompense
19
6
Partager
Commentaire
0/400
RugPullAlarm
· Il y a 12h
Encore un truc qui se fait prendre pour des cons sous le prétexte de l'efficacité.
Voir l'originalRépondre0
LowCapGemHunter
· Il y a 18h
Le vieux Microsoft sort un nouveau système, génial.
Voir l'originalRépondre0
gas_fee_trauma
· 07-03 06:50
Je ne comprends pas mais je sens que c'est très puissant.
Voir l'originalRépondre0
LiquidationWatcher
· 07-01 16:20
Je me suis endormi en cours de mathématiques. Quelqu'un peut-il expliquer en une phrase ?
Voir l'originalRépondre0
CrashHotline
· 07-01 16:18
Microsoft a enfin fait quelque chose de sérieux.
Voir l'originalRépondre0
LongTermDreamer
· 07-01 16:05
Dans trois ans, cela va exploser. Il ne reste plus qu'à voir qui peut supporter le pullback.
Nova : un système zk-SNARKs efficace et flexible pour des applications à grande échelle
Nova: un système de zk-SNARKs efficace
Nova est un nouveau système de zk-SNARKs développé par Microsoft, visant à améliorer l'efficacité et la flexibilité des preuves. Il utilise la technologie des systèmes de contraintes de rang 1 relâchés (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), qui permet d'utiliser moins de randomité dans les preuves, augmentant ainsi considérablement l'efficacité des preuves.
Principales caractéristiques de Nova
Efficacité : Nova utilise la technologie R1CS relâchée, réduisant la randomité requise pendant le processus de preuve, ce qui améliore considérablement la vitesse de génération et de vérification des preuves.
Prise en charge du calcul incrémentiel : Nova permet de calculer progressivement des fonctions complexes, sans avoir besoin d'accomplir 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 lors de calculs complexes.
Prise en charge du calcul polynomiale : Nova peut gérer des tâches de preuve plus complexes, élargissant le champ d'application des zk-SNARKs.
Flexibilité : La conception de Nova lui permet de s'adapter à une variété de scénarios d'application, lui permettant ainsi de jouer un rôle dans plusieurs domaines.
La mise en œuvre technique de Nova
Le cœur de l'implémentation de Nova comprend les principales parties suivantes :
R1CS (Rank-1 Constraint Systems) : Nova utilise un système R1CS amélioré pour construire des zk-SNARKs.
Schéma de promesse polynomial : Nova adopte un schéma de promesse polynomial basé sur l'argument de produit intérieur (Inner Product Argument, IPA).
Algorithme de Sumcheck : un algorithme utilisé pour vérifier la somme des polynômes, jouant un rôle important dans le système de preuve de Nova.
Schéma de pliage non interactif (Non-Interactive Folding Scheme, NIFS) : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Cryptographie à courbe elliptique (ECC) : Nova utilise ECC pour réaliser des opérations cryptographiques efficaces.
La position de Nova dans le domaine des zk-SNARKs
L'émergence de Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. Son efficacité et sa flexibilité rendent possibles des applications de zk-SNARKs à grande échelle. Nova prend en charge le calcul incrémentiel et les calculs polynomiaux complexes, élargissant ainsi encore le champ d'application des zk-SNARKs.
Bien que Nova ait des avantages significatifs en termes d'efficacité et de fonctionnalité, sa mise en œuvre est relativement complexe et nécessite une compréhension approfondie des technologies cryptographiques associées pour être utilisée et modifiée efficacement. De plus, en raison de l'utilisation d'un R1CS détendu, les preuves de Nova peuvent, dans certains cas, ne pas être aussi puissantes que celles des systèmes R1CS traditionnels. Cependant, les développeurs de Nova ont pris des mesures pour résoudre ces problèmes potentiels, comme l'utilisation d'algorithmes cryptographiques plus puissants et de stratégies de preuve plus complexes.
Dans l'ensemble, Nova représente une avancée importante dans la technologie des zk-SNARKs, offrant de nouvelles possibilités et directions pour le développement futur de ce domaine.