L'avenir de l'accélération matérielle ZK : Les ambitions et les défis de Cysic
Ces dernières années, avec l'application généralisée de la technologie ZK dans le domaine de la blockchain, les goulets d'étranglement en termes d'efficacité des systèmes de preuve ZK deviennent de plus en plus évidents. Vitalik a de nouveau souligné l'importance des ZK-SNARKs dans l'extension 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, dès 2022, les principales sociétés de capital-risque avaient déjà prévu les vastes perspectives de l'accélération matérielle ZK. Avec la montée en puissance de projets ZK Rollup tels que Scroll et Starknet, l'accélération matérielle est devenue un sujet de prédilection sur le marché. Dans ce domaine émergent, les fabricants de matériel ZK puissants et bénéficiant d'un avantage de première mover pourraient bien devenir le prochain Bitmain.
Cysic, en tant qu'un des leaders dans le domaine de l'accélération ZK, propose une gamme de produits incluant des pools miniers ZK pour le secteur B2B et du matériel ZK-Depin pour le secteur B2C, attirant l'attention de nombreux investisseurs de premier plan. Cet article explorera en profondeur les principes et le modèle commercial des produits de Cysic, et fournira une brève introduction aux principes d'accélération du matériel ZK.
Le flux de travail du système de preuve ZK
Bien que le système de preuves ZK soit complexe, il peut être compris de manière simplifiée du point de vue des fonctions et des flux de travail. Pour les systèmes qui ZK-ise le calcul ordinaire, le processus central comprend :
Établissement du problème : définir le contenu à prouver.
Arithmétisation et CSP : transformer le contenu à prouver en circuits logiques et en formes polynomiales.
Choisissez un système de preuve approprié comme Halo, Plonk, etc., et compilez pour générer un programme ZKP.
La technologie zk-SNARK est largement utilisée dans la blockchain actuelle, caractérisée par un coût élevé de génération de preuves, mais un coût de vérification bas. Cette asymétrie confère à la technologie ZK un avantage considérable dans les scénarios de vérification décentralisée, mais pose également des défis pour une application à grande échelle.
Principales dépenses générées par ZKP
Dans le processus de génération de preuves ZK, la multiplication scalaire multiple MSM( et la transformation de Fourier discrète NTT) sont les deux tâches les plus consommatrices de ressources de calcul, occupant 80 à 95 % du temps de génération des preuves.
MSM traite principalement les opérations sur les courbes elliptiques, pouvant être largement parallélisé mais nécessitant une grande quantité de ressources mémoire. NTT implique un accès mémoire aléatoire, peu convivial pour le matériel et difficile à traiter efficacement dans un environnement distribué.
Les méthodes pour optimiser ces opérations incluent l'amélioration des algorithmes et l'accélération matérielle. Certains nouveaux algorithmes comme Hyperplonk éliminent les opérations NTT en modifiant Plonk, tandis que l'algorithme STARK ne nécessite pas de MSM mais introduit un grand nombre de calculs de hachage.
Comparaison des solutions d'accélération matérielle ZK
Les principales solutions d'accélération matérielle ZK actuellement comprennent GPU, FPGA et ASIC, chacune ayant ses avantages et inconvénients :
GPU : Forte popularité, barrière à l'entrée relativement basse, mais efficacité énergétique inférieure à celle des FPGA et ASIC.
FPGA : Haute flexibilité, bon rapport qualité-prix énergétique, mais seuil de développement élevé.
ASIC : Performance optimale, consommation d'énergie minimale, mais cycle de développement long et coût élevé.
La stratégie de Cysic est de réaliser progressivement un déploiement complet de GPU à ASIC :
SDK développé sur la base de GPU, intégrant les ressources GPU de tout le réseau.
Utiliser des FPGA pour réaliser un accélérateur matériel ZK personnalisé rapide.
Développer du matériel ZK Depin basé sur ASIC.
Construire un réseau Cysic en tant que plateforme SAAS/piscine, intégrant toutes les ressources de puissance de calcul.
Cysic Network : ZK mining pool et plateforme SaaS
Cysic Network vise à devenir une plateforme de pool minier ZK et SaaS intégrée, intégrant sa propre puissance de calcul et absorbant des ressources tierces. Son flux de travail comprend :
Le projet soumet une tâche de preuve à l'agent (Agent).
Le Prover accepte la tâche et génère la preuve ZK.
Le comité des validateurs vérifie la validité de la preuve et vote.
Cysic Network utilise un algorithme de consensus appelé Proof of Compute (PoC), qui sélectionne les validateurs de blocs en fonction de la fonction VRF et des performances historiques des Prover.
La mise en place de l'accélération matérielle de Cysic
Dans le domaine des GPU, Cysic a développé un SDK d'accélération CUDA auto-développé, offrant des performances supérieures de 50 % à 80 % par rapport aux frameworks open source.
Dans le domaine des FPGA, Cysic a réalisé les modules MSM et NTT les plus rapides au monde, avec des performances exceptionnelles de SolarMSM et SolarNTT dans le calcul à grande échelle.
Pour ASIC, Cysic prévoit de lancer deux produits matériels ZK :
ZK Air : un appareil portable, adapté aux utilisateurs ordinaires pour participer à des tâches de preuve ZK à petite échelle.
ZK Pro : similaire aux machines minières traditionnelles, adapté aux grands projets ZK tels que ZK-Rollup et ZKML.
Ces dispositifs devraient être lancés en 2025, ce qui devrait favoriser la construction du réseau ZK-DePIN et l'explosion du marché de l'informatique 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
5
Partager
Commentaire
0/400
LiquiditySurfer
· Il y a 4h
Mining grand entreprise vient encore manger la liquidité des pigeons.
Cysic agencement matériel ZK accéléré pour créer un pool de minage ZK et une plateforme SAAS full stack.
L'avenir de l'accélération matérielle ZK : Les ambitions et les défis de Cysic
Ces dernières années, avec l'application généralisée de la technologie ZK dans le domaine de la blockchain, les goulets d'étranglement en termes d'efficacité des systèmes de preuve ZK deviennent de plus en plus évidents. Vitalik a de nouveau souligné l'importance des ZK-SNARKs dans l'extension 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, dès 2022, les principales sociétés de capital-risque avaient déjà prévu les vastes perspectives de l'accélération matérielle ZK. Avec la montée en puissance de projets ZK Rollup tels que Scroll et Starknet, l'accélération matérielle est devenue un sujet de prédilection sur le marché. Dans ce domaine émergent, les fabricants de matériel ZK puissants et bénéficiant d'un avantage de première mover pourraient bien devenir le prochain Bitmain.
Cysic, en tant qu'un des leaders dans le domaine de l'accélération ZK, propose une gamme de produits incluant des pools miniers ZK pour le secteur B2B et du matériel ZK-Depin pour le secteur B2C, attirant l'attention de nombreux investisseurs de premier plan. Cet article explorera en profondeur les principes et le modèle commercial des produits de Cysic, et fournira une brève introduction aux principes d'accélération du matériel ZK.
Le flux de travail du système de preuve ZK
Bien que le système de preuves ZK soit complexe, il peut être compris de manière simplifiée du point de vue des fonctions et des flux de travail. Pour les systèmes qui ZK-ise le calcul ordinaire, le processus central comprend :
La technologie zk-SNARK est largement utilisée dans la blockchain actuelle, caractérisée par un coût élevé de génération de preuves, mais un coût de vérification bas. Cette asymétrie confère à la technologie ZK un avantage considérable dans les scénarios de vérification décentralisée, mais pose également des défis pour une application à grande échelle.
Principales dépenses générées par ZKP
Dans le processus de génération de preuves ZK, la multiplication scalaire multiple MSM( et la transformation de Fourier discrète NTT) sont les deux tâches les plus consommatrices de ressources de calcul, occupant 80 à 95 % du temps de génération des preuves.
MSM traite principalement les opérations sur les courbes elliptiques, pouvant être largement parallélisé mais nécessitant une grande quantité de ressources mémoire. NTT implique un accès mémoire aléatoire, peu convivial pour le matériel et difficile à traiter efficacement dans un environnement distribué.
Les méthodes pour optimiser ces opérations incluent l'amélioration des algorithmes et l'accélération matérielle. Certains nouveaux algorithmes comme Hyperplonk éliminent les opérations NTT en modifiant Plonk, tandis que l'algorithme STARK ne nécessite pas de MSM mais introduit un grand nombre de calculs de hachage.
Comparaison des solutions d'accélération matérielle ZK
Les principales solutions d'accélération matérielle ZK actuellement comprennent GPU, FPGA et ASIC, chacune ayant ses avantages et inconvénients :
La stratégie de Cysic est de réaliser progressivement un déploiement complet de GPU à ASIC :
Cysic Network : ZK mining pool et plateforme SaaS
Cysic Network vise à devenir une plateforme de pool minier ZK et SaaS intégrée, intégrant sa propre puissance de calcul et absorbant des ressources tierces. Son flux de travail comprend :
Cysic Network utilise un algorithme de consensus appelé Proof of Compute (PoC), qui sélectionne les validateurs de blocs en fonction de la fonction VRF et des performances historiques des Prover.
La mise en place de l'accélération matérielle de Cysic
Dans le domaine des GPU, Cysic a développé un SDK d'accélération CUDA auto-développé, offrant des performances supérieures de 50 % à 80 % par rapport aux frameworks open source.
Dans le domaine des FPGA, Cysic a réalisé les modules MSM et NTT les plus rapides au monde, avec des performances exceptionnelles de SolarMSM et SolarNTT dans le calcul à grande échelle.
Pour ASIC, Cysic prévoit de lancer deux produits matériels ZK :
Ces dispositifs devraient être lancés en 2025, ce qui devrait favoriser la construction du réseau ZK-DePIN et l'explosion du marché de l'informatique ZK.