La technologie ZK montre un potentiel énorme dans des domaines tels que l'extension d'Ethereum et le calcul de confiance, mais l'efficacité de génération des ZKP est actuellement faible, ce qui entrave son application à grande échelle. Pour résoudre ce problème, des solutions de matériel ZK ont émergé, Cysic étant l'un des leaders.
Processus de travail du système de preuve ZK
Le processus central du système de preuve ZK comprend :
Définition du problème : déterminer le contenu à prouver
Arithmétisation et CSP : transformer le contenu à prouver en modèle mathématique
Choisissez le système de preuve ( comme Halo2, Plonk, etc. ) pour générer des programmes ZKP.
Le prouveur utilise un programme ZKP pour générer une preuve, le vérificateur effectue la vérification.
La génération de ZKP prend du temps mais la vérification est rapide, cette asymétrie favorise la vérification décentralisée, mais entraîne également des coûts élevés.
Les principaux coûts de génération de ZKP
Les deux tâches de calcul les plus gourmandes en ressources lors de la génération de ZKP sont MSM et NTT, représentant 80 à 95 % du temps total :
MSM: traitement de la multiplication scalaire multiple sur des courbes elliptiques
NTT: effectuer une transformation de Fourier rapide sur un domaine fini
MSM nécessite une grande quantité de mémoire et de ressources de calcul parallèle, tandis que NTT est limité par l'accès mémoire aléatoire.
Solution d'accélération matérielle ZK
Actuellement, il existe principalement trois solutions d'accélération matérielle : GPU, FPGA et ASIC.
GPU : haute adoption, facile à développer
FPGA : flexibilité élevée, efficacité énergétique, mais grande difficulté de développement
ASIC : efficacité maximale, mais délai de développement long et coûts élevés
La stratégie d'accélération ZK de Cysic
Cysic a mis en place des dispositions à plusieurs niveaux:
Cysic Network : ZK piscine minière et plateforme SaaS
Intégrer des ressources de puissance de calcul propriétaires et tierces
Utiliser le mécanisme de consensus Proof of Compute
Accélération GPU:
SDK d'accélération CUDA développé en interne
Regrouper une grande quantité de ressources de calcul GPU de la communauté
Solution FPGA:
Réaliser les modules MSM, NTT les plus rapides au monde
SolarMSM et SolarNTT sont en tête de performance
Disposition ASIC:
Lancement de deux produits matériels, ZK Air et ZK Pro
Construire un réseau ZK-DePIN
Grâce à une approche multidimensionnelle, Cysic est en passe de devenir un leader dans le domaine de l'accélération matérielle ZK, ouvrant la voie à une application à grande échelle de la technologie ZK.
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.
11 J'aime
Récompense
11
6
Partager
Commentaire
0/400
PseudoIntellectual
· Il y a 23h
La nouvelle opportunité pour les mines est arrivée ?
Voir l'originalRépondre0
ChainChef
· Il y a 23h
recette technologique savoureuse en préparation... les pools de minage zk vont devenir plus épicés pour être honnête
Voir l'originalRépondre0
ApeDegen
· Il y a 23h
manipulateur de marché还敢说 真铁拳
Voir l'originalRépondre0
ShibaOnTheRun
· Il y a 23h
C'est assez avancé, mais je ne comprends pas.
Voir l'originalRépondre0
BlockchainBard
· Il y a 23h
La pelleteuse va encore se transformer.
Voir l'originalRépondre0
DefiEngineerJack
· 07-22 15:23
meh... techniquement parlant, le goulet d'étranglement matériel était évident depuis 2021, pour être honnête.
Cysic multi-niveau ZK accélération matérielle pour créer un Pool de minage ZK et un écosystème de puces
Accélération matérielle ZK : Cysic peut-il devenir le prochain Bitmain ?
La technologie ZK montre un potentiel énorme dans des domaines tels que l'extension d'Ethereum et le calcul de confiance, mais l'efficacité de génération des ZKP est actuellement faible, ce qui entrave son application à grande échelle. Pour résoudre ce problème, des solutions de matériel ZK ont émergé, Cysic étant l'un des leaders.
Processus de travail du système de preuve ZK
Le processus central du système de preuve ZK comprend :
La génération de ZKP prend du temps mais la vérification est rapide, cette asymétrie favorise la vérification décentralisée, mais entraîne également des coûts élevés.
Les principaux coûts de génération de ZKP
Les deux tâches de calcul les plus gourmandes en ressources lors de la génération de ZKP sont MSM et NTT, représentant 80 à 95 % du temps total :
MSM nécessite une grande quantité de mémoire et de ressources de calcul parallèle, tandis que NTT est limité par l'accès mémoire aléatoire.
Solution d'accélération matérielle ZK
Actuellement, il existe principalement trois solutions d'accélération matérielle : GPU, FPGA et ASIC.
La stratégie d'accélération ZK de Cysic
Cysic a mis en place des dispositions à plusieurs niveaux:
Grâce à une approche multidimensionnelle, Cysic est en passe de devenir un leader dans le domaine de l'accélération matérielle ZK, ouvrant la voie à une application à grande échelle de la technologie ZK.