L'essor de l'accélération matérielle ZK : comment Cysic mène la nouvelle révolution minière

Ces dernières années, avec l'application généralisée de la technologie ZK dans le domaine de la blockchain, le coût élevé de génération des preuves ZK est progressivement devenu un goulot d'étranglement pour 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 central du système de preuve ZK comprend :

1. Configuration du problème : déterminer le contenu à prouver
2. Mathématisation et CSP : Convertir le contenu à prouver en modèle mathématique
3. Choisir un système de preuve et générer un programme ZKP

Dans ce processus, la multiplication multiscalaire MSM( et la transformation de Fourier discrète NTT) sont les deux tâches les plus coûteuses en ressources de calcul, représentant 80 à 95 % du temps de génération de preuves.

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

Il existe actuellement trois types de matériel qui peuvent réaliser l'accélération ZK : GPU, FPGA et ASIC. Chacun a ses avantages et ses inconvénients :

• GPU : grande popularité, faible difficulté de développement, mais efficacité énergétique médiocre
• FPGA : grande flexibilité, haute efficacité énergétique, mais difficulté de développement élevée
• ASIC : Meilleures performances, efficacité énergétique maximale, mais cycle de développement long et coûts élevés

Cysic a établi une présence dans ces trois domaines :

1. Accélération GPU : SDK CUDA auto-développé accélère de 50 à 80 %
2. FPGA : réaliser les modules MSM, NTT les plus rapides au monde
3. ASIC : Lancement de deux produits matériels, ZK Air et ZK Pro.

Cysic Network : Pools ZK et plateforme SaaS

Cysic Network intégrera ses propres ressources de calcul et des ressources de calcul tierces pour fournir des services de validation aux projets ZK :

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

Cysic a également construit une chaîne publique dédiée, utilisant l'algorithme de consensus Proof of Compute (PoC) pour sélectionner les producteurs de blocs.

Perspectives d'avenir

Avec le développement de projets d'accélération ZK tels que Cysic, le domaine du calcul ZK pourrait connaître une ruée similaire à celle du minage de Bitcoin. La construction d'un réseau ZK-DePIN réduira considérablement le seuil de participation pour les utilisateurs ordinaires, favorisant l'application de la technologie ZK dans des domaines plus larges.