Nova : une nouvelle technologie de zk-SNARKs basée sur un système de contraintes de rang relâché.
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie des systèmes de contraintes de rang 1 relâchés (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, cela permet d'utiliser moins de randomité dans la preuve, ce qui améliore considérablement l'efficacité de la preuve.
Support du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction d'un seul coup.
Prise en charge du calcul polynomial, capable de traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
L'utilisation de R1CS relâché peut diminuer la sécurité de la preuve, mais les développeurs ont pris des mesures pour résoudre ce problème.
La mise en œuvre est relativement complexe, ce qui augmente 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. La technologie R1CS relâchée qu'elle utilise rend le processus de génération et de validation des preuves plus efficace, ce qui est essentiel pour les applications de zk-SNARKs à grande échelle. Les caractéristiques prenant en charge le calcul incrémental et le calcul polynomial élargissent encore le champ d'application des zk-SNARKs.
Les composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Schéma de promesse polynomiale : utilisé pour prouver la valeur d'évaluation d'un polynôme sans révéler le polynôme lui-même.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Schéma de pliage non interactif (NIFS) : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Cryptographie à courbe elliptique (ECC) : fournit une technologie de cryptage à clé publique efficace.
Fonction de hachage Keccak256 : utilisée pour traiter le transcript dans le processus de zk-SNARKs.
Nova a réalisé un système de zk-SNARKs efficace et flexible grâce à une combinaison innovante de ces composants, offrant de nouvelles possibilités dans des domaines tels que la blockchain, l'authentification et le calcul sécurisé.
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.
12 J'aime
Récompense
12
6
Partager
Commentaire
0/400
GateUser-2fce706c
· Il y a 9h
Ça arrive, ça arrive ! Le nouveau créneau des zk-SNARKs, préparez-vous à vous positionner rapidement.
Voir l'originalRépondre0
MidnightGenesis
· Il y a 9h
Le code a l'air pas mal, mais je ne suis pas trop rassuré.
Voir l'originalRépondre0
CryptoHistoryClass
· Il y a 9h
on dirait un autre engouement technologique pour l'IEO de 2017 fr fr
Voir l'originalRépondre0
WenAirdrop
· Il y a 9h
Zero knowledge, c'est toujours le bull fait par Microsoft.
Voir l'originalRépondre0
CryptoDouble-O-Seven
· Il y a 10h
Qu'est-ce que c'est encore que cette théorie complexe ?
Nova : Un système de contraintes de rang relâché pour faciliter des zk-SNARKs efficaces
Nova : une nouvelle technologie de zk-SNARKs basée sur un système de contraintes de rang relâché.
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie des systèmes de contraintes de rang 1 relâchés (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, cela permet d'utiliser moins de randomité dans la preuve, ce qui améliore considérablement l'efficacité de la preuve.
Support du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction d'un seul coup.
Prise en charge du calcul polynomial, capable de traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
L'utilisation de R1CS relâché peut diminuer la sécurité de la preuve, mais les développeurs ont pris des mesures pour résoudre ce problème.
La mise en œuvre est relativement complexe, ce qui augmente 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. La technologie R1CS relâchée qu'elle utilise rend le processus de génération et de validation des preuves plus efficace, ce qui est essentiel pour les applications de zk-SNARKs à grande échelle. Les caractéristiques prenant en charge le calcul incrémental et le calcul polynomial élargissent encore le champ d'application des zk-SNARKs.
Les composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Schéma de promesse polynomiale : utilisé pour prouver la valeur d'évaluation d'un polynôme sans révéler le polynôme lui-même.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Schéma de pliage non interactif (NIFS) : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Cryptographie à courbe elliptique (ECC) : fournit une technologie de cryptage à clé publique efficace.
Fonction de hachage Keccak256 : utilisée pour traiter le transcript dans le processus de zk-SNARKs.
Nova a réalisé un système de zk-SNARKs efficace et flexible grâce à une combinaison innovante de ces composants, offrant de nouvelles possibilités dans des domaines tels que la blockchain, l'authentification et le calcul sécurisé.