Nova est un nouveau système de zk-SNARKs développé par Microsoft, utilisant la technologie des systèmes de contraintes de rang 1 relaxé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 détendue, il 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 en une seule fois.
Prend en charge le calcul polynomial, 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é, la preuve peut ne pas être aussi puissante que celle des systèmes R1CS traditionnels, ce qui peut légèrement diminuer 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 des techniques cryptographiques avancées telles que les oracles aléatoires.
L'importance de Nova dans le domaine des zk-SNARKs
A ouvert de nouvelles voies pour le développement des zk-SNARKs.
Améliore l'efficacité de la génération et de la vérification des preuves, ce qui est crucial pour les applications à grande échelle.
A élargi le champ d'application des zk-SNARKs, permettant de traiter des tâches de preuve plus complexes.
Les composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Moteur d'évaluation de polynômes : utilisé pour prouver la valeur d'évaluation d'un polynôme à un certain point.
Plan de promesse : permet aux prouveurs de s'engager sur une valeur sans la révéler immédiatement.
Algorithme Sumcheck : utilisé pour vérifier la somme de polynômes.
Fonction de pas de calcul incrémental : permet de calculer progressivement des fonctions complexes.
Les innovations de Nova offrent de nouvelles possibilités aux systèmes de zk-SNARKs, promettant de propulser cette technologie dans des domaines plus larges.
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.
18 J'aime
Récompense
18
7
Partager
Commentaire
0/400
GetRichLeek
· Il y a 15h
Eh bien, zk盘 revient avec des Jetons offerts, allons acheter le dip tout de suite !
Voir l'originalRépondre0
WhaleStalker
· Il y a 15h
Microsoft est aussi sur zk, c'est quelque chose.
Voir l'originalRépondre0
MelonField
· Il y a 15h
Il vaut mieux être efficace, on parlera de sécurité après ~
Voir l'originalRépondre0
MetaEggplant
· Il y a 15h
La sécurité est légèrement inférieure ? Oser publier cela ?
Voir l'originalRépondre0
CascadingDipBuyer
· Il y a 15h
C'est un peu farfelu, mais tant pis, jouons.
Voir l'originalRépondre0
gas_fee_therapist
· Il y a 15h
Encore une fois, sacrifier la sécurité pour l'efficacité ?
Nova : un nouveau système pour améliorer l'efficacité des zk-SNARKs
Nova : un nouveau système de zk-SNARKs
Nova est un nouveau système de zk-SNARKs développé par Microsoft, utilisant la technologie des systèmes de contraintes de rang 1 relaxé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 détendue, il 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 en une seule fois.
Prend en charge le calcul polynomial, 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é, la preuve peut ne pas être aussi puissante que celle des systèmes R1CS traditionnels, ce qui peut légèrement diminuer 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 des techniques cryptographiques avancées telles que les oracles aléatoires.
L'importance de Nova dans le domaine des zk-SNARKs
A ouvert de nouvelles voies pour le développement des zk-SNARKs.
Améliore l'efficacité de la génération et de la vérification des preuves, ce qui est crucial pour les applications à grande échelle.
A élargi le champ d'application des zk-SNARKs, permettant de traiter des tâches de preuve plus complexes.
Les composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Moteur d'évaluation de polynômes : utilisé pour prouver la valeur d'évaluation d'un polynôme à un certain point.
Plan de promesse : permet aux prouveurs de s'engager sur une valeur sans la révéler immédiatement.
Algorithme Sumcheck : utilisé pour vérifier la somme de polynômes.
Fonction de pas de calcul incrémental : permet de calculer progressivement des fonctions complexes.
Les innovations de Nova offrent de nouvelles possibilités aux systèmes de zk-SNARKs, promettant de propulser cette technologie dans des domaines plus larges.