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
Utilisation de la technologie R1CS relâchée, ce qui améliore considérablement l'efficacité de la preuve.
Prise en charge du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction en une seule fois.
Prise en charge des calculs polynomiaux, capable de traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
Les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels, car les R1CS relâchés permettent d'utiliser moins de randomité dans les preuves.
Réalisation relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance.
L'importance de Nova dans le domaine des zk-SNARKs
L'apparition de Nova a ouvert de nouvelles voies pour le développement des zk-SNARKs. Son efficacité et sa flexibilité rendent possibles des applications de zk-SNARKs à grande échelle, élargissant ainsi le champ d'application des zk-SNARKs.
Composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Schéma d'engagement polynomial : utilisé pour prouver l'exactitude de l'évaluation des polynômes.
Schéma de pliage non interactif (NIFS) : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Cryptographie à courbe elliptique (ECC) : fournit des opérations cryptographiques de base.
La mise en œuvre de Nova implique plusieurs concepts et techniques cryptographiques complexes, y compris R1CS, les engagements polynomiaux, les oracles aléatoires, etc. Ces composants forment ensemble un système de zk-SNARKs efficace et flexible, fournissant un support technique puissant pour des applications dans les domaines de la blockchain, de l'authentification, etc.
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.
9 J'aime
Récompense
9
8
Partager
Commentaire
0/400
MidnightTrader
· 07-15 10:05
Microsoft a compris ça, n'est-ce pas ?
Voir l'originalRépondre0
TokenVelocity
· 07-15 01:51
Quand Microsoft a-t-il commencé à s'occuper de zk...
Voir l'originalRépondre0
ForkMonger
· 07-15 01:34
meh... zk centralisé par msft ? que pourrait-il mal se passer
Voir l'originalRépondre0
ResearchChadButBroke
· 07-12 19:30
Encore une victoire écrasante pour Microsoft.
Voir l'originalRépondre0
GateUser-0717ab66
· 07-12 19:23
Puissant, Microsoft a également commencé à jouer avec la Blockchain.
Voir l'originalRépondre0
ForkTongue
· 07-12 19:22
Ah, Gigabyte a aussi fait ça, hein ?
Voir l'originalRépondre0
DarkPoolWatcher
· 07-12 19:03
Encore un système de preuve, mais c'est si complexe.
Voir l'originalRépondre0
BearMarketGardener
· 07-12 19:02
Encore une fois, ils essaient de nous duper avec de nouvelles technologies ?
Nova : le système efficace de zk-SNARKs développé par Microsoft révolutionne les applications Blockchain.
Nova : un système de zk-SNARKs efficace
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
Utilisation de la technologie R1CS relâchée, ce qui améliore considérablement l'efficacité de la preuve.
Prise en charge du calcul incrémentiel, permettant de calculer progressivement des fonctions complexes sans avoir à calculer l'ensemble de la fonction en une seule fois.
Prise en charge des calculs polynomiaux, capable de traiter des tâches de preuve plus complexes.
Les inconvénients potentiels de Nova
Les preuves peuvent ne pas être aussi puissantes que celles des systèmes R1CS traditionnels, car les R1CS relâchés permettent d'utiliser moins de randomité dans les preuves.
Réalisation relativement complexe, ce qui peut augmenter la difficulté d'utilisation et de maintenance.
L'importance de Nova dans le domaine des zk-SNARKs
L'apparition de Nova a ouvert de nouvelles voies pour le développement des zk-SNARKs. Son efficacité et sa flexibilité rendent possibles des applications de zk-SNARKs à grande échelle, élargissant ainsi le champ d'application des zk-SNARKs.
Composants clés de Nova
R1CS et R1CS relâché : systèmes de contraintes utilisés pour construire des zk-SNARKs.
Schéma d'engagement polynomial : utilisé pour prouver l'exactitude de l'évaluation des polynômes.
Schéma de pliage non interactif (NIFS) : utilisé pour prouver la validité de chaque étape dans le calcul incrémental.
Algorithme Sumcheck : utilisé pour vérifier la somme des polynômes.
Cryptographie à courbe elliptique (ECC) : fournit des opérations cryptographiques de base.
La mise en œuvre de Nova implique plusieurs concepts et techniques cryptographiques complexes, y compris R1CS, les engagements polynomiaux, les oracles aléatoires, etc. Ces composants forment ensemble un système de zk-SNARKs efficace et flexible, fournissant un support technique puissant pour des applications dans les domaines de la blockchain, de l'authentification, etc.