Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie Relaxed R1CS( pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova
L'utilisation de la technologie R1CS relâchée permet d'utiliser moins de randomité dans la preuve, ce qui améliore considérablement l'efficacité de la preuve.
Prend en charge le calcul incrémental, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction d'un coup.
Support des calculs polynomiaux, capable de traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
En raison de l'utilisation de R1CS relâché, les preuves peuvent ne pas être aussi robustes que celles des systèmes R1CS traditionnels, ce qui peut légèrement réduire la sécurité.
La mise en œuvre est relativement complexe et nécessite une compréhension approfondie des calculs polynomiaux, des opérations de groupe et d'autres techniques cryptographiques avancées.
La position importante de Nova
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie qu'elle utilise rend le processus de génération et de vérification des preuves plus efficace, ce qui est crucial pour les applications de zk-SNARKs à grande échelle. En même temps, Nova élargit également le champ d'application des zk-SNARKs, pouvant traiter des tâches de preuve plus complexes.
Les composants principaux de Nova
R1CS et Relaxed R1CS : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Schéma d'engagement polynomial : utilisé pour prouver la valeur d'évaluation d'un polynôme sans divulguer le polynôme lui-même.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Calcul incrémental : permet de calculer progressivement des fonctions complexes.
Schéma de pliage non interactif ) NIFS ( : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Nova a réalisé un système de zk-SNARKs efficace et flexible en combinant ces technologies de manière innovante, fournissant ainsi des outils puissants pour la blockchain, le calcul sécurisé et d'autres domaines.
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
5
Reposter
Partager
Commentaire
0/400
BoredRiceBall
· 07-16 18:38
Microsoft s'est aussi mis au zk? Je file.
Voir l'originalRépondre0
CryptoCross-TalkClub
· 07-14 03:53
Le système de preuve est assoupli, les pigeons sur la chaîne, débloquez rapidement de nouvelles façons de prendre les gens pour des idiots.
Voir l'originalRépondre0
RugpullSurvivor
· 07-14 03:49
Microsoft a quelque chose cette fois-ci !
Voir l'originalRépondre0
GasWhisperer
· 07-14 03:33
hmm... les r1cs détendus ressemblent à l'observation des vagues de gaz pendant une faible congestion... élégant mais risqué à vrai dire
Nova : La technologie R1CS relâchée ouvre un nouveau chapitre pour les zk-SNARKs
Nova: un système de zk-SNARKs innovant
Nova est un nouveau système de zk-SNARKs développé par Microsoft, qui utilise la technologie Relaxed R1CS( pour améliorer l'efficacité et la flexibilité des preuves.
Les principaux avantages de Nova
L'utilisation de la technologie R1CS relâchée permet d'utiliser moins de randomité dans la preuve, ce qui améliore considérablement l'efficacité de la preuve.
Prend en charge le calcul incrémental, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction d'un coup.
Support des calculs polynomiaux, capable de traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
En raison de l'utilisation de R1CS relâché, les preuves peuvent ne pas être aussi robustes que celles des systèmes R1CS traditionnels, ce qui peut légèrement réduire la sécurité.
La mise en œuvre est relativement complexe et nécessite une compréhension approfondie des calculs polynomiaux, des opérations de groupe et d'autres techniques cryptographiques avancées.
La position importante de Nova
Nova ouvre de nouvelles voies pour le développement des zk-SNARKs. La technologie qu'elle utilise rend le processus de génération et de vérification des preuves plus efficace, ce qui est crucial pour les applications de zk-SNARKs à grande échelle. En même temps, Nova élargit également le champ d'application des zk-SNARKs, pouvant traiter des tâches de preuve plus complexes.
Les composants principaux de Nova
R1CS et Relaxed R1CS : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Schéma d'engagement polynomial : utilisé pour prouver la valeur d'évaluation d'un polynôme sans divulguer le polynôme lui-même.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Calcul incrémental : permet de calculer progressivement des fonctions complexes.
Schéma de pliage non interactif ) NIFS ( : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Nova a réalisé un système de zk-SNARKs efficace et flexible en combinant ces technologies de manière innovante, fournissant ainsi des outils puissants pour la blockchain, le calcul sécurisé et d'autres domaines.