Pionnier de l'accélération matérielle dans le domaine des ZK : Interprétation de la vision et des plans de Cysic
Récemment, le fondateur d'Ethereum, Vitalik, a de nouveau souligné l'importance des ZK-SNARKs dans la feuille de route du Danksharding d'Ethereum lors du sommet blockchain de Hong Kong, et a indiqué le potentiel énorme des puces ASIC pour l'accélération ZK. En fait, la technologie ZK a le potentiel d'apporter des transformations de type paradigme tant dans le Web3 que dans les secteurs traditionnels, mais actuellement, l'efficacité de génération des preuves ZK et le coût économique restent des facteurs clés limitant leur application à grande échelle.
Pour résoudre ce problème, plusieurs projets d'accélération ZK ont vu le jour. Parmi eux, Cysic a attiré l'attention du marché grâce à ses performances exceptionnelles lors de la compétition ZPrize et à son solide soutien financier. Cet article explorera en profondeur les principes des produits de Cysic, son modèle commercial ainsi que les principes fondamentaux de l'accélération matérielle ZK.
Le flux de travail du système de preuve ZK
Le processus clé du système de preuves ZK comprend :
Configuration du problème : déterminer le contenu à prouver
Arithmétisation et CSP : convertir le contenu à prouver en circuits logiques et en formes polynomiales
Choisissez le système de preuve approprié ( tel que Halo, Plonk, etc. ) pour générer des programmes ZKP.
Les validateurs utilisent le programme ZKP pour générer des preuves, soumises aux vérificateurs pour validation.
La technologie zk-SNARK est largement utilisée dans la blockchain actuelle, principalement en raison de sa simplicité plutôt que de sa propriété de connaissance nulle. Les caractéristiques de zk-SNARK sont des coûts de génération de preuves élevés mais des coûts de vérification faibles, cette asymétrie la rend très adaptée aux scénarios de vérification décentralisée.
Cependant, le coût élevé de la génération de ZKP sera finalement répercuté sur l'expérience utilisateur et les frais de transaction, limitant ainsi l'application à grande échelle de la technologie ZK. Pour cela, certains projets d'accélération ZK tels que Cysic, Ingonyama, etc. ont vu le jour, tentant de réduire le coût de génération de ZKP sous différents angles.
Principaux goulots d'étranglement de calcul générés par ZKP
Dans le processus de génération de ZKP, les deux tâches qui consomment le plus de ressources informatiques sont la multiplication scalaire multiple MSM( et la transformation de Fourier discrète NTT), représentant 80 à 95 % du temps de génération de preuve.
Le MSM est principalement utilisé pour les calculs sur des courbes elliptiques, pouvant être largement parallélisé mais nécessitant une grande quantité de mémoire. Le NTT est utilisé pour accélérer la multiplication de polynômes, impliquant un accès mémoire aléatoire, ce qui n'est pas favorable pour le matériel.
Les méthodes pour optimiser ces deux calculs incluent :
Optimisation des algorithmes : de nouveaux algorithmes comme Hyperplonk tentent d'éliminer les opérations NTT
Accélération matérielle : utiliser des matériels tels que GPU, FPGA ou ASIC pour améliorer l'efficacité de calcul
La stratégie d'accélération ZK de Cysic
La stratégie de développement de Cysic se divise en quatre phases :
SDK développé sur GPU, fournissant des solutions pour les applications ZK et intégrant les ressources GPU de l'ensemble du réseau
Utiliser FPGA pour réaliser un accélérateur matériel ZK personnalisé
Développement autonome de matériel ZK Depin basé sur ASIC
Construire le Réseau Cysic, en tant que plateforme SAAS/piscine intégrant divers ressources de puissance de calcul ZK.
( Cysic Network : piscine ZK et plateforme SaaS
Cysic Network, en tant que pool de minage ZK et plateforme SaaS, intégrera la puissance de calcul propre à Cysic ainsi que des ressources de puissance de calcul tierces. Son flux de travail comprend :
Un agent de direction du projet ZK soumet une tâche de preuve.
Le Prover accepte la tâche et génère la preuve ZK
Le comité des validateurs vérifie l'validité des preuves et vote
Cysic Network a également construit une blockchain dédiée, utilisant l'algorithme de consensus Proof of Compute )PoC###.
( solutions GPU, FPGA et ASIC
En ce qui concerne l'accélération GPU, le SDK CUDA développé en interne par Cysic est 50 à 80 % plus rapide que les frameworks open source.
Dans le domaine des FPGA, Cysic a réalisé les modules MSM et NTT les plus rapides au monde. Ses SolarMSM et SolarNTT se distinguent dans les calculs à grande échelle.
En ce qui concerne les ASIC, Cysic développe deux produits : ZK Air destiné aux utilisateurs ordinaires et ZK Pro destiné aux grands projets. Ces deux appareils devraient être lancés en 2025 et construiront un réseau ZK-DePIN stable et fiable.
Avec le développement de Cysic Network et la popularité du matériel ZK, le domaine du calcul ZK pourrait connaître un engouement similaire à celui du minage de Bitcoin, avec une croissance explosive attendue du marché.
![L'exploitation minière ZK est-elle sur le point d'émerger ? Une analyse de Cysic])https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp###
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
6
Partager
Commentaire
0/400
RebaseVictim
· Il y a 9h
C'est cher, ce matériel, qu'est-ce que c'est ?
Voir l'originalRépondre0
CafeMinor
· Il y a 9h
Première ligne, occuper un petit banc, joueur ZK
Voir l'originalRépondre0
DaoDeveloper
· Il y a 9h
on dirait que nous comblons enfin ce gap de calcul zk... leur stratégie asic est solide
Cysic : Le leader de l'accélération matérielle dans le domaine ZK avec une couverture complète allant des GPU aux ASIC.
Pionnier de l'accélération matérielle dans le domaine des ZK : Interprétation de la vision et des plans de Cysic
Récemment, le fondateur d'Ethereum, Vitalik, a de nouveau souligné l'importance des ZK-SNARKs dans la feuille de route du Danksharding d'Ethereum lors du sommet blockchain de Hong Kong, et a indiqué le potentiel énorme des puces ASIC pour l'accélération ZK. En fait, la technologie ZK a le potentiel d'apporter des transformations de type paradigme tant dans le Web3 que dans les secteurs traditionnels, mais actuellement, l'efficacité de génération des preuves ZK et le coût économique restent des facteurs clés limitant leur application à grande échelle.
Pour résoudre ce problème, plusieurs projets d'accélération ZK ont vu le jour. Parmi eux, Cysic a attiré l'attention du marché grâce à ses performances exceptionnelles lors de la compétition ZPrize et à son solide soutien financier. Cet article explorera en profondeur les principes des produits de Cysic, son modèle commercial ainsi que les principes fondamentaux de l'accélération matérielle ZK.
Le flux de travail du système de preuve ZK
Le processus clé du système de preuves ZK comprend :
La technologie zk-SNARK est largement utilisée dans la blockchain actuelle, principalement en raison de sa simplicité plutôt que de sa propriété de connaissance nulle. Les caractéristiques de zk-SNARK sont des coûts de génération de preuves élevés mais des coûts de vérification faibles, cette asymétrie la rend très adaptée aux scénarios de vérification décentralisée.
Cependant, le coût élevé de la génération de ZKP sera finalement répercuté sur l'expérience utilisateur et les frais de transaction, limitant ainsi l'application à grande échelle de la technologie ZK. Pour cela, certains projets d'accélération ZK tels que Cysic, Ingonyama, etc. ont vu le jour, tentant de réduire le coût de génération de ZKP sous différents angles.
Principaux goulots d'étranglement de calcul générés par ZKP
Dans le processus de génération de ZKP, les deux tâches qui consomment le plus de ressources informatiques sont la multiplication scalaire multiple MSM( et la transformation de Fourier discrète NTT), représentant 80 à 95 % du temps de génération de preuve.
Le MSM est principalement utilisé pour les calculs sur des courbes elliptiques, pouvant être largement parallélisé mais nécessitant une grande quantité de mémoire. Le NTT est utilisé pour accélérer la multiplication de polynômes, impliquant un accès mémoire aléatoire, ce qui n'est pas favorable pour le matériel.
Les méthodes pour optimiser ces deux calculs incluent :
La stratégie d'accélération ZK de Cysic
La stratégie de développement de Cysic se divise en quatre phases :
( Cysic Network : piscine ZK et plateforme SaaS
Cysic Network, en tant que pool de minage ZK et plateforme SaaS, intégrera la puissance de calcul propre à Cysic ainsi que des ressources de puissance de calcul tierces. Son flux de travail comprend :
Cysic Network a également construit une blockchain dédiée, utilisant l'algorithme de consensus Proof of Compute )PoC###.
( solutions GPU, FPGA et ASIC
En ce qui concerne l'accélération GPU, le SDK CUDA développé en interne par Cysic est 50 à 80 % plus rapide que les frameworks open source.
Dans le domaine des FPGA, Cysic a réalisé les modules MSM et NTT les plus rapides au monde. Ses SolarMSM et SolarNTT se distinguent dans les calculs à grande échelle.
En ce qui concerne les ASIC, Cysic développe deux produits : ZK Air destiné aux utilisateurs ordinaires et ZK Pro destiné aux grands projets. Ces deux appareils devraient être lancés en 2025 et construiront un réseau ZK-DePIN stable et fiable.
Avec le développement de Cysic Network et la popularité du matériel ZK, le domaine du calcul ZK pourrait connaître un engouement similaire à celui du minage de Bitcoin, avec une croissance explosive attendue du marché.
![L'exploitation minière ZK est-elle sur le point d'émerger ? Une analyse de Cysic])https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp###