L'essor du marché de l'accélération matérielle ZK, Cysic pourrait devenir le prochain Bitmain

Récemment, avec le succès des projets ZK Rollup tels que Scroll et Starknet, l'accélération matérielle ZK est à nouveau devenue un sujet brûlant sur le marché. L'industrie considère généralement que la demande énorme basée sur la technologie ZK pourrait ouvrir de nouvelles chaînes de production grâce aux modèles SaaS de pools miniers ZK et de génération de ZKP en temps réel. Les fabricants de matériel ZK ayant des forces et un avantage de premier entrant pourraient devenir le prochain Bitmain.

Dans le domaine de l'accélération matérielle ZK, Cysic est l'un des projets les plus en vue. L'équipe a remporté des prix importants au ZPrize et a obtenu près de 20 millions de dollars de financement de la part de VC de premier plan tels que Polychain et ABCDE. Avec le lancement imminent du réseau de test de Cysic et du pool de minage ZK, l'intérêt du marché pour ce projet continue de croître.

Workflow du système de preuve ZK

Le processus central du système de preuve ZK comprend :

1. Problème défini : déterminer le contenu à prouver
2. Arithmétisation et CSP : transformer le contenu à prouver en circuits logiques et en polynômes
3. Choisissez un système de preuve ( comme Halo2, Plonk, etc. ) pour compiler un programme ZKP.
4. Le prouveur utilise un programme ZKP pour générer une preuve, soumise au vérificateur pour validation.

Le projet ZK Rollup utilise la technologie zk-SNARK, en tirant parti de sa simplicité pour concentrer le coût de vérification du côté du Prover, mais le coût élevé de génération de ZKP limite son application à grande échelle.

Principales dépenses générées par ZKP

Les deux types de calcul les plus gourmands en ressources dans la génération de ZKP sont :

• MSM(Multiplication scalaire multiple): multiplication de scalaires multiples sur une courbe elliptique
• NTT(Transformée de Fourier discrète) : transformation rapide de Fourier sur un corps fini

Ces deux méthodes de calcul représentent 80 à 95 % du temps de génération des preuves. MSM nécessite une grande quantité de ressources mémoire, tandis que NTT implique un accès mémoire aléatoire, ce qui n'est pas favorable au matériel.

Solution d'accélération matérielle ZK

Actuellement, il existe principalement trois types de matériel capables de réaliser l'accélération ZK :

1. GPU : haute popularité, faible barrière à l'entrée, mais efficacité énergétique médiocre
2. FPGA : flexibilité élevée, bonne efficacité énergétique, mais difficulté de développement élevée
3. ASIC : performance maximale, consommation minimale, mais durée de développement longue et coûts élevés.

La stratégie de développement de Cysic est :

1. SDK développé sur la base de GPU, intégrant les ressources GPU de tout le réseau
2. Utiliser des FPGA pour réaliser un accélérateur matériel ZK personnalisé
3. Développement de matériel ZK DePIN basé sur ASIC
4. Construire le Cysic Network comme un pool minier ZK et une plateforme SaaS

Cysic Network

Cysic Network en tant que piscine minière ZK et plateforme SaaS, intégrera la puissance de calcul propre à Cysic et les ressources de puissance de calcul tierces. Son flux de travail comprend :

1. L'équipe du projet ZK soumet une tâche de vérification à l'Agent
2. Prover accepte la tâche et génère une preuve ZK
3. Le comité des validateurs vérifie la validité des preuves et vote.

Cysic Network a construit une blockchain dédiée, utilisant l'algorithme de consensus Proof of Compute (PoC).

La configuration d'accélération matérielle de Cysic

En ce qui concerne le 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, NTT, etc. les plus rapides au monde.

En ce qui concerne l'ASIC, Cysic a lancé deux produits ZK DePIN :

• ZK Air : destiné aux utilisateurs finaux, peut se connecter aux appareils via le port Type-C
• ZK Pro : destiné aux grands projets ZK, la puissance de calcul équivaut à celle des serveurs GPU de premier plan.

Cysic Network intégrera ces ressources matérielles pour fournir des solutions de calcul et de validation au secteur ZK, avec l'espoir de mener à une nouvelle explosion de la croissance du marché du calcul ZK.