Accélération matérielle ZK : Explorer le chemin innovant de Cysic

Le système de preuve ZK est un système technique complexe, mais il peut être compris de manière simplifiée du point de vue des fonctions et des flux de travail. Pour un système qui ZK-ise le calcul ordinaire, son processus central comprend :

1. Interagir avec le système ZK via le front-end, soumettre le contenu à prouver.
2. Le système convertit le contenu en un format adapté au traitement ZK
3. Utiliser des systèmes de preuve spécifiques ( tels que Halo2, Plonk, etc. ) pour générer des preuves ZK

Dans ce processus, les tâches de calcul les plus consommatrices de ressources informatiques sont MSM(Multiplication scalaire multiple) et NTT(Transformation théorique des nombres), représentant 80 à 95 % du temps de génération des preuves.

Pour optimiser l'efficacité de la génération de ZKP, l'accélération matérielle est devenue un choix incontournable. Actuellement, trois types de matériel peuvent être utilisés pour l'accélération ZK : GPU, FPGA et ASIC, chacun ayant ses avantages et ses inconvénients. Cysic, en tant que pionnier dans le domaine de l'accélération matérielle ZK, a établi une stratégie de développement par étapes :

1. SDK développé sur GPU, fournissant des solutions pour les applications ZK
2. Utiliser FPGA pour réaliser un accélérateur matériel ZK personnalisé
3. Développement autonome de matériel ZK Depin basé sur ASIC
4. Construire le Cysic Network, intégrer les ressources de puissance de calcul de tout le réseau

En matière d'accélération GPU, le SDK CUDA développé par Cysic offre une amélioration de 50 à 80 % par rapport aux derniers frameworks open source. Dans le domaine des FPGA, Cysic a réalisé les modules MSM, NTT les plus rapides au monde. Dans le domaine des ASIC, Cysic a déjà établi une présence et lancé deux produits matériels, ZK Air et ZK Pro.

Cysic Network, en tant que piscine ZK et plateforme SaaS, intégrera diverses ressources de puissance de calcul pour offrir des solutions complètes de puissance de calcul et de vérification au secteur ZK. Il utilise l'algorithme de consensus Proof of Compute (PoC), attirant les participants grâce à un mécanisme de mise et d'incitation.

Avec l'innovation continue de Cysic, l'accélération matérielle ZK devrait connaître un développement rapide, posant les bases d'une large application de la technologie ZK.