Accélération matérielle ZK : comment Cysic mène la nouvelle ère ZK

Récemment, l'application de la technologie ZK dans le domaine de la blockchain est de plus en plus répandue, mais son coût de calcul élevé constitue le principal obstacle à son adoption à grande échelle. Pour résoudre ce problème, des solutions d'accélération matérielle ZK ont vu le jour, parmi lesquelles Cysic est particulièrement remarquée en tant que leader du secteur.

Le flux de travail du système de preuve ZK

Le processus clé du système de preuve ZK comprend :

1. Soumettre le contenu à prouver
2. Convertir le contenu en modèle mathématique
3. Choisissez un système de preuve approprié pour générer un programme ZKP
4. Utiliser le programme ZKP pour générer des preuves

La technologie zk-SNARK est largement utilisée dans la blockchain actuelle, caractérisée par des preuves concises et un faible coût de vérification. Cependant, la génération de ZKP reste très gourmande en temps, ce qui limite sa promotion dans les applications pratiques.

Principales limitations du calcul ZK

Dans le processus de génération de preuves ZK, les tâches de calcul qui consomment le plus de ressources sont la multiplication de scalaires multiples MSM( et la transformation de Fourier rapide NTT), qui occupent 80 à 95 % du temps de calcul.

MSM implique un grand nombre de calculs parallèles et d'accès mémoire, tandis que NTT nécessite des accès mémoire aléatoires fréquents. Ces caractéristiques rendent leur exécution efficace sur du matériel traditionnel difficile, nécessitant des solutions d'accélération matérielle spécialisées.

Comparaison des solutions d'accélération matérielle ZK

Actuellement, il existe principalement trois types de matériel pouvant être utilisés pour l'accélération ZK : GPU, FPGA et ASIC. Chacun d'eux a ses avantages et ses inconvénients :

• GPU : seuil d'entrée bas, mais efficacité énergétique médiocre
• FPGA : haute flexibilité, bonne efficacité énergétique, mais difficulté de développement élevée.
• ASIC : performances et efficacité énergétique optimales, mais cycle de développement long et coûts élevés.

Cysic a établi une présence dans ces trois directions, visant à fournir des solutions d'accélération matérielle complètes pour l'industrie ZK.

La stratégie d'accélération ZK de Cysic

La stratégie de développement de Cysic se divise en quatre phases :

1. Développer un SDK accéléré par GPU
2. Utiliser FPGA pour réaliser un accélérateur personnalisé
3. Développement de puces ASIC et d'équipements matériels
4. Construire le réseau Cysic pour intégrer diverses ressources de calcul

Cysic Network, en tant que piscine minière ZK et plateforme SaaS, intégrera la puissance de calcul propre de Cysic et la puissance de calcul tierce pour fournir des services de validation aux projets ZK.

Les réalisations technologiques de Cysic

En ce qui concerne le GPU, le SDK aut développé 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 les ASIC, Cysic développe deux produits matériels : le ZK Air destiné aux utilisateurs ordinaires et le ZK Pro destiné aux mineurs professionnels.

Grâce à ces configurations, Cysic espère devenir un leader dans le domaine de l'accélération matérielle ZK et promouvoir l'application à grande échelle de la technologie ZK.