Avez-vous déjà envisagé la possibilité que la Preuve de Travail (PoW) fasse un retour sur Ethereum? Avec Cysic, cela semble plus possible que jamais.

En mai dernier, Vitalik Buterin a déclaré au Monténégro que "dans les 10 prochaines années, les zk-SNARKs, basés sur la technologie ZK, seront aussi importants que la blockchain elle-même", marquant l'engagement d'Ethereum envers ZK. Un an plus tard, Vitalik a fait une apparition surprise à Hong Kong, réitérant que ZK est l'avenir d'Ethereum et mettant en avant l'accélération matérielle comme la clé pour surmonter les limitations des zk-SNARKs.

La conversation autour de l'accélération de ZKP est ancienne, avec à la fois les secteurs académique et industriel explorant des moyens d'optimiser les algorithmes ZK pour la vitesse. Cependant, ce n'est qu'en 2022 que l'accélération matérielle a attiré l'attention du public comme solution alternative. Cette année pourrait être considérée comme l'année inaugurale de l'accélération matérielle de ZKP, avec le lancement de ZPrize par Aleo, la compétition technologique de ZKP accélérée matériellement la plus haute qualité et la plus techniquement profonde dans le domaine de la cryptographie à connaissance nulle. Publications de Paradigm sur “Accélération matérielle de ZKPet le "IOSG" de IOSGPourquoi nous sommes optimistes quant à l'accélération matérielle de la preuve de connaissance nulle" suivi. Certains ont rejeté l'idée avec la phrase "si l'algorithme ne suffit pas, le matériel le fera", exprimant un scepticisme à l'égard de l'accélération matérielle. Pourtant, comme ZPrizesa souligné :

Malgré des avancées significatives dans les logiciels et les algorithmes ces dernières années, l'accélération matérielle est restée un chemin moins emprunté en cryptographie à connaissance nulle. Beaucoup oublient que les techniques cryptographiques modernes sont devenues pratiquement utiles après avoir été implémentées nativement dans les CPU. L'accélération matérielle ne se limite pas aux ASIC, elle englobe également de nouvelles méthodes d'optimisation des GPU, CPU, FPGA et appareils mobiles pour générer des preuves à connaissance nulle plus rapidement.

La nécessité d'une accélération matérielle ZKP est largement reconnue en 2023 avec l'introduction de PoSW d'Aleo, qui a introduit des incitations économiques pour les calculs MSM et NTT. Cependant, l'histoire d'aujourd'hui ne concerne pas Aleo mais Cysic, qui vise à fournir une solution complète pour la génération de preuves ZK en temps réel à l'aide de GPU, de FPGA et d'ASIC. Ils s'apprêtent à lancer deux appareils ZK DePIN, ZK Air et ZK Pro, et commenceront bientôt la prévente de machines minières. Cysic vise à répondre aux besoins de calcul dans tous les scénarios ZK, non seulement en tant que fournisseur de services B2B, mais en construisant un réseau DePIN qui ouvre les services B2B aux utilisateurs C finaux avec des puissances de calcul variables. En d'autres termes, n'importe qui peut rejoindre le réseau Cysic, et plus il y a de participants, plus la puissance de calcul est élevée et plus les preuves ZK sont rapides. Finalement, ZK deviendra omniprésent et intégré dans la vie quotidienne.

Ce récit est ambitieux et captivant, rendant le rêve autrefois lointain de l'accélération matérielle ZKP accessible à la personne moyenne ! Aujourd'hui, Foresight News se plonge dans l'accélération matérielle ZKP, les fonctionnalités de Cysic et de ses produits matériels, ainsi que l'infrastructure du réseau DePIN pour voir ce que Cysic vise à accomplir et quelle pourrait être l'importance de son potentiel de marché.

Miser sur le marché de l'accélération matérielle ZKP : L'arrière-plan et la vision de Cysic

Cysic, établie en août 2022, fonctionne en tant que génération et vérification en temps réel de preuve à divulgation nulle (ZKP), offrant le calcul à divulgation nulle en tant que service (ZK-CaaS) alimenté par ses puces ASIC, FPGA et GPU propriétaires. En février 2023, Cysic a obtenu 6 millions de dollars de financement initial, dirigé par Polychain Capital avec des contributions de HashKey, SNZ Holding, ABCDE, A&T Capital et la Fondation Web3.com. En octobre de la même année, Cysic a remporté le premier prix du concours ZPrize "Battre le meilleur (FPGA/GPU)" avec sa technologie FPGA.

L'équipe fondatrice de Cysic bénéficie d'un parcours impressionnant et de solides compétences. Le co-fondateur Leo Fan est responsable de l'architecture système et de la recherche cryptographique chez Cysic. Après avoir obtenu son master en informatique à l'Académie chinoise des sciences, il a poursuivi un doctorat en informatique à l'Université Cornell. Au cours de sa carrière académique, il a travaillé en tant que chercheur dans des institutions prestigieuses telles que IC3, Yahoo, Bell Labs et IBM. Après son diplôme, Leo a rejoint Algorand pour se concentrer sur la recherche cryptographique et occupe actuellement un poste de professeur adjoint au département d'informatique de l'Université Rutgers. Le co-fondateur Bowen Huang, qui a quitté son programme de doctorat à l'Université Yale pour obtenir un master, dirige désormais la gestion des puces et de la chaîne d'approvisionnement chez Cysic. Auparavant, il était ingénieur de recherche à l'Institut de technologie informatique de l'Académie chinoise des sciences. Reconnaissant le potentiel de ZK comme solution ultime d'évolutivité pour l'industrie de la blockchain et l'accélération matérielle comme voie technologique inévitable, ils se sont lancés dans cette aventure avant 2022.

Actuellement, le domaine ZK est dominé par deux systèmes de preuve : zk-SNARKs et zk-STARKs. Des projets tels que Zcash, Scroll, Taiko, Mina, Aztec, Manta et Anoma utilisent zk-SNARKs, tandis que Starknet, StarkEx et zkSync (qui a transitionné vers Boojum) emploient zk-STARKs. De plus, il existe des projets ZK tels que le protocole de données historiques d'Ethereum Axiom et le développeur de technologie ZK Nil Foundation. Selon les estimations de Cysic, le marché comprend plus de 50 principaux projets ZK d'une valeur marchande combinée dépassant 100 milliards de dollars, tandis que la valorisation totale de la piste d'application de la ZKP a dépassé 15 milliards de dollars.

Au cours des deux dernières années, la voie ZK a été critiquée pour la longueur des temps de génération de preuve et les fortes demandes en ressources. Par exemple, l'utilisation des GPU par Scroll pour la génération de preuve ZK nécessite au moins une heure et plus de 280 Go de RAM. Ces problèmes non seulement entravent l'adoption généralisée de ZKP, mais ralentissent également le progrès commercial d'Ethereum. Bien que les preuves STARK soient générées plus rapidement que les SNARKs, les deux nécessitent une accélération matérielle pour augmenter la vitesse de génération de preuve de quelques heures à quelques secondes. Sans surmonter ce goulot d'étranglement, la vision de ZKP de synchroniser la production de blocs avec Ethereum, telle que préconisée par Vitalik, reste inatteignable.

Malgré l'avis de la Fondation Ethereum sur la ZK comme l'avenir de l'échelle, les ZK Rollups détiennent actuellement une part de marché peu convaincante dans l'espace Ethereum L2. Les 5 premiers L2 en termes de TVL utilisent tous Optimism Rollup, les ZK Rollups ne représentant que 8,5% de la part de marché. Starknet est le seul projet ZK Rollup valorisé à plus de 1 milliard de dollars, principalement en raison des incitations de l'écosystème de la fondation et des attentes de largage aérien. Étant donné la forte valorisation de la piste ZK, si l'accélération matérielle peut largement résoudre les défis actuels, le potentiel de marché est important.

Cysic vise haut avec pour objectif ultime de fournir une solution complète d'accélération matérielle GPU + ASIC, ciblant les besoins en calcul dans tous les scénarios de calcul ZK tels que ZK Rollup, zkML et ZK Bridge. En tant qu'étape intérimaire, au cours de l'année écoulée, Cysic a développé son propre matériel d'accélération FPGA capable de prendre en charge une variété de systèmes de preuve, y compris Halo2, RapidSnark, Plonky2x. Cette démarche a non seulement mis en valeur une polyvalence et une flexibilité sans précédent, mais a également ouvert un vaste univers d'opportunités commerciales.

Exploration de l'accélération du matériel ZKP : Une plongée dans les systèmes de preuve ZK

Après avoir discuté de Cysic et du domaine émergent de l'accélération matérielle ZKP, il est temps de se plonger dans ce que vise exactement ce matériel à accélérer. Fondamentalement, l'objectif est d'accélérer les calculs impliqués dans la génération de preuves ZK, en faisant essentiellement une course à la puissance de calcul. C'est en partie la raison pour laquelle je soutiens que la technologie ZKP réintroduit le concept de Preuve de Travail (PoW) dans Ethereum. Mais en y regardant de plus près, quels calculs spécifiques sont accélérés par le matériel ZKP ? Pour éclairer ce point, examinons le système de preuve zk-SNARKs pour comprendre le parcours de l'arithmétisation à la génération et à la vérification des preuves.

Tout d'abord, toutes les transactions des utilisateurs sur la blockchain sont agrégées dans des Rollups hors chaîne. Ainsi, la nature et le volume de ces transactions influencent directement la complexité à la fois de la conception du circuit et des preuves ZK elles-mêmes.

Vient ensuite la phase d'"arithmétisation", où les données de transaction sont transformées en circuits ZK, puis en expressions mathématiques polynomiales. Ce processus présente des similitudes avec la division entre le "front-end" et le "back-end" dans le développement logiciel traditionnel. Dans le "front-end", les données de transaction sont structurées en circuits à l'aide de langages tels que R1CS et PLONK, les convertissant en une série de polynômes. Cela revient à traduire des schémas de circuits en formules mathématiques, qui guident ensuite la construction et le fonctionnement du circuit. Plus les transactions sont complexes et nombreuses, plus l'échelle du circuit est grande et plus les degrés polynomiaux sont élevés.

Avec les bases posées par l'arithmétisation, la prochaine étape consiste à développer le « back-end » - le système de preuve ZK lui-même, qui est responsable de la génération de preuves de connaissance nulle. Le système de preuve zk-SNARKs, par exemple, comprend deux composants principaux : PIOP et PCS. Les PIOPs éminents incluent PLONK et GKR, tandis que les PCS bien connus (Schémas d'engagement polynomiaux) comprennent FRI et KZG. Par exemple, combiner PLONK avec IPA peut créer la variante Zcash du système de preuve Halo2, PLONK avec KZG peut produire la version PSE/Scroll de Halo2, et PLONK avec FRI mène à Plonky2. Les systèmes de preuve ZK actuels utilisent principalement des schémas comme Halo2 et Groth 16, qui sont basés sur KZG.

En utilisant le protocole Groth16 comme illustration, nous pouvons rationaliser le calcul et le représenter comme un problème de satisfaction de circuit (C-SAT) en utilisant des contraintes R1CS. Ce problème de C-SAT est ensuite davantage simplifié en un problème de satisfaction de programme arithmétique quadratique (QAP), conduisant à la création de polynômes publics Ui(x), Vi(x), Wi(x), T(x), et d'un vecteur a. Ce vecteur a englobe à la fois les entrées publiques et les secrets (témoins), en respectant la relation représentée dans le diagramme fourni. Résoudre le problème de satisfaction de QAP est simple lorsque a est connu, mais déduire a des polynômes publics est un défi significatif. Ce défi déplace efficacement la preuve de l'authenticité et de l'exhaustivité du processus de calcul pour démontrer que le Prouveur détient la solution a(i), une étape cruciale dans le développement du cadre backend de ZKP.

Le backend du ZKP est structuré en trois phases principales : Configuration, Prouveur et Vérificateur. Chaque phase utilise des paramètres spécifiques. Le processus commence en alimentant les polynômes arithmétisés et un nombre aléatoire secret unique R (introduisant le concept de "configuration de confiance") dans la phase de Configuration. Après cette configuration, le Prouveur et le Vérificateur peuvent respectivement générer et vérifier des preuves en utilisant les paramètres Sp et Sv. Tout au long de cette phase, le Prouveur calcule et crée des preuves en utilisant à la fois des entrées publiques et des secrets, tandis que le Vérificateur vérifie ces preuves par rapport aux entrées publiques. Il est important de noter que le Vérificateur reste ignorant des secrets impliqués.

Pendant la phase de génération de preuve par le Prover, une computation extensive est nécessaire. La question se pose alors : comment pouvons-nous accélérer ce processus computationnel pour générer des preuves ? C'est précisément là que l'application du matériel devient crucial. À l'heure actuelle, tirer parti du matériel pour améliorer la capacité computationnelle représente la seule approche ; naturellement, une puissance de calcul accrue se traduit par un temps de traitement réduit.

Chaque système de preuve englobe des opérations cryptographiques distinctes qui exigent des efforts de calcul substantiels. Au sein des systèmes basés sur PLONK + KZG, les opérations consommant le plus de temps sont la multiplication multi-scalaire (MSM) et la transformation théorique des nombres (NTT). Pour les systèmes zk-STARK, les principaux obstacles computationnels sont NTT et les calculs de hachage de Merkle. MSM concerne les calculs liés aux courbes elliptiques, tandis que NTT est similaire à une transformation de Fourier rapide (FFT) mais adaptée aux corps finis, servant de variante optimisée de la FFT conçue pour les calculs liés aux polynômes. Presque tous les principaux protocoles ZK utilisent largement ces deux processus de calcul, qui représentent collectivement 80 à 95 % du temps nécessaire pour générer des preuves. En général, les calculs MSM représentent 60 à 70 % de la charge de travail computationnelle totale, NTT contribuant à environ 25 %. Cependant, ces pourcentages peuvent varier selon les différentes implémentations. Selon la répartition des tâches computationnelles, il est possible de cibler individuellement MSM ou NTT pour accélérer ou d'accélérer simultanément les deux processus.

Pont avec FPGA, ciblant ZK ASIC

En le regardant d'un point de vue plus large, les tâches computationnelles significatives impliquent essentiellement des opérations de pipeline simples qui nécessitent simplement une puissance de calcul robuste. Compte tenu de la nature déterministe des calculs de preuve ZK, qui nécessitent des calculs répétitifs pour générer des résultats de preuve, du matériel dédié adapté à des fonctions spécifiques offre des avantages clairs par rapport aux solutions logicielles. La complexité des calculs pourrait être considérablement atténuée avec la mise en œuvre du traitement parallèle. Fait intéressant, à la fois les calculs MSM et NTT se prêtent bien à une amélioration grâce à un matériel haute performance qui facilite le traitement parallèle.

Le parcours de Cysic et les orientations futures

Cysic vise à être un pionnier dans l'accélération ZK ASIC, aspirant à fournir une gamme complète de solutions d'accélération matérielle ASIC qui englobent les calculs MSM et NTT. Comme Leo Fan a souligné, “Une quantité considérable de tests et de prototypage sur FPGA est essentielle avant de passer au développement ASIC.”

Au cours de la dernière année, Cysic a réussi à accomplir la phase initiale de la conception de sa preuve de concept (POC), établissant des accélérateurs basés sur FPGA pour les calculs MSM, NTT et l'arbre de Merkle de Poséidon, aux côtés d'un cadre complet d'accélération matérielle ZK de bout en bout qui couvre l'ensemble du flux opérationnel.

Prototype FPGA de Cysic (en cours d'assemblage)

Les données récentes révèlent que SolarMSM de Cysic est capable d'exécuter des calculs MSM à l'échelle de 2³⁰ en 0,195 secondes, le positionnant comme le plus efficace parmi toutes les tentatives d'accélération matérielle FPGA-MSM connues à ce jour. De même, SolarNTT réalise des calculs NTT de la même échelle en 0,218 secondes. De plus, la technologie d'accélération FPGA de Cysic est actuellement utilisée dans les calculs ZK de Scroll, parvenant à traiter des tâches MSM et NTT à l'échelle de 2²² en environ 1 milliseconde (0,001 seconde).

Comparaison des GPU, FPGA et ASIC

Explorer le chemin vers le développement des ASIC nécessite un examen des forces comparatives des différents types de matériel d'accélération. L'attrait de l'accélération matérielle réside dans sa capacité à réduire la consommation d'énergie, à minimiser les retards, à renforcer les capacités de traitement parallèle et à améliorer le débit de données. Cette optimisation permet un déploiement plus efficace de l'espace et des composants des circuits intégrés. Avec les processeurs centraux qui perdent en popularité en raison de leurs longs temps de traitement et de leur consommation excessive d'énergie, les projecteurs se tournent vers les GPU, les FPGA et les ASIC, chacun étant caractérisé par son équilibre unique entre flexibilité et efficacité des performances.

Dans le domaine des projets ZK, les GPU sont devenus le choix privilégié pour l'accélération matérielle, leur disponibilité généralisée en fait la solution intérimaire en attendant l'arrivée de matériels plus spécialisés. Les GPU offrent une option rentable et adaptable pour les développeurs d'accélération matérielle ZK, avec des outils comme le SDK CUDA facilitant les tâches de traitement parallèle telles que le MSM. Cependant, les GPU ne sont pas sans inconvénients, notamment leur dépendance à l'environnement matériel, ce qui peut être restrictif lors de l'utilisation de modèles haut de gamme.

Les FPGA présentent une proposition différente, étant programmables et reconfigurables pour s'adapter à divers algorithmes en fonction des besoins de systèmes ou d'applications spécifiques. Cette adaptabilité les rend particulièrement adaptés aux calculs tels que FFT et NTT. Le développement du matériel FPGA transforme essentiellement le processus en un "jeu logiciel", où la puissance collective de plusieurs FPGA peut largement surpasser celle des GPU, tout en étant plus rentable en termes de dépenses matérielles et de consommation d'énergie. Malgré ces avantages, les FPGA présentent des coûts initiaux plus élevés et des demandes de chaîne d'approvisionnement plus complexes par rapport aux GPU.

D'autre part, les ASIC sont conçus sur mesure pour exceller dans des tâches spécifiques, leur conception sur mesure les plaçant au sommet des solutions d'accélération matérielle pour la technologie ZK. Cette spécialisation comporte des limitations, telles que l'incapacité de reprogrammer ou de multitâche sur différents algorithmes ZK. Malgré ces contraintes, les ASIC offrent des performances et une efficacité inégalées, bien que cela nécessite des délais de production plus longs et des investissements plus importants. Le développement des ASIC est donc un enjeu de haute importance, offrant des avantages inégalés à ceux qui parviennent à naviguer à travers ses complexités.

source:Groupe Amber

Un examen plus approfondi des choix stratégiques révèle pourquoi Cysic a choisi de se lancer avec du matériel d'accélération FPGA dans sa phase initiale. Compte tenu des limitations des ASIC, y compris leur manque de flexibilité, leurs coûts élevés et leurs délais de développement prolongés, les FPGAs apparaissent comme le choix optimal pour s'imposer sur le marché pendant cette phase transitoire. La technologie FPGA de Cysic est suffisamment polyvalente pour prendre en charge divers systèmes de preuves ZK, tels que Halo2, RapidSnark et Plonky2x, ce qui lui permet de gérer l'ensemble du spectre des algorithmes ZK grand public actuels. Cela signifie que les FPGAs sont capables de répondre aux exigences de calcul dans tous les scénarios où des calculs ZK sont nécessaires, des ZK Rollups aux ZKML et ZK Bridges. De plus, le processus de génération de preuves ZK est non seulement intensif en calcul, mais nécessite également des ressources mémoire substantielles. Par exemple, la génération de preuves pour le circuit zkEVM actuel de Scroll nécessite au moins 280 Go de RAM. Dans de tels cas, les FPGAs offrent la flexibilité d'adapter la capacité mémoire selon les besoins.

Choisir de se concentrer sur le développement de FPGA n'implique pas que Cysic ait abandonné les GPU et les ASIC. Au contraire, Cysic travaille activement sur des solutions d'accélération basées sur les GPU pour offrir une gamme plus large de services flexibles pour accélérer les calculs ZK et IA. Dans le cadre de cet effort, Cysic a déjà mis en place un réseau informatique GPU qui intègre des centaines de milliers de GPU avancés 3090/4090, soulignant son engagement à exploiter diverses technologies pour répondre aux besoins évolutifs des calculs ZK.

Cartes graphiques Cysic et salles de serveurs

Les benchmarks internes de Cysic ont révélé que leur SDK CUDA dépasse largement les derniers frameworks open-source, avec des améliorations de vitesse de 50% à 80%. En tirant parti de ce SDK GPU avancé, Cysic a pu offrir des services de génération de preuves à plusieurs projets ZK de premier plan, mettant en valeur leur expertise technique. Parallèlement, Cysic fait des progrès dans le développement d'ASIC, avec des processus de conception et de tape-out progressant activement, ce qui témoigne de leur engagement à repousser les limites du matériel informatique.

ZKP + DePIN: Libérer le potentiel du réseau Cysic

À première vue, l'entreprise de Cysic dans le matériel d'accélération ZKP pourrait sembler simple. Pourtant, face à l'arrière-plan de 2024, avec la montée fulgurante de Helium Mobile et la croissance explosive de io.net, l'avènement de DePIN a considérablement élargi les horizons de Cysic.

La grande vision de Cysic implique l'établissement d'un réseau de Prover alimenté par l'accélération matérielle ZKP. Ce projet ambitieux prévoit non seulement d'incorporer les solutions matérielles exclusives de Cysic, telles que FPGA, GPU et ASIC, dans le réseau de Prover, mais aussi de permettre aux membres de la communauté de contribuer à une diversité de ressources informatiques. En créant un réseau informatique décentralisé, Cysic vise à infuser la génération de preuves de ZK avec des incitations économiques et des mécanismes de gouvernance robustes.

Essentiellement, le réseau Prover de Cysic démocratise un service qui était traditionnellement B2B, en l’ouvrant aux utilisateurs individuels et en servant de connecteur central entre les projets ZK, les fournisseurs de puissance de calcul et les validateurs communautaires. Cette approche innovante est une première dans le domaine de l’accélération matérielle ZKP. Auparavant, le ZKP et l’acquisition de matériel d’accélération spécialisé pouvaient être intimidants pour l’utilisateur moyen. Le réseau Cysic, quant à lui, simplifie la participation ; les utilisateurs n’ont qu’à apporter leur puissance de calcul pour faire partie du réseau informatique ZKP. La vision est claire : au fur et à mesure que le réseau s’étendra avec plus d’utilisateurs et de puissance de calcul, l’efficacité de la génération de preuves ZK augmentera, rapprochant le rêve de « preuves en temps réel » quasi instantanées de la réalité.

Après le The Merge d'Ethereum, un nombre significatif d'anciens mineurs de PoW se sont retrouvés avec des GPU sous-utilisés, offrant une opportunité précieuse pour le Prover Network d'exploiter cette ressource existante. Mais qu'en est-il de ceux qui n'ont pas le matériel nécessaire pour rejoindre le réseau DePIN ? Cysic a pris des mesures proactives pour relever ce défi, en concevant deux puces/dispositifs ZK DePIN innovants, le ZK Air et le ZK Pro, prévus pour être lancés en 2025. Ces développements visent à élargir la base de la communauté et à étendre davantage le marché, marquant ainsi le mouvement stratégique de Cysic vers l'inclusivité et la croissance dans l'écosystème ZKP.

Comme illustré, le dispositif ZK Air est conçu pour être aussi compact qu'une batterie externe ou un chargeur d'ordinateur portable, offrant une solution portable pour les tâches ZK DePIN. Ce dispositif offre des capacités de calcul dépassant celles des cartes graphiques grand public les plus haut de gamme, permettant aux utilisateurs de le connecter à des ordinateurs portables, iPads ou smartphones via un câble de type C. Grâce au réseau Prover, il facilite l'accélération des preuves ZK à petite échelle, récompensant les utilisateurs pour leurs contributions. De plus, ZK Air peut générer des preuves ZK directement sur un ordinateur local. En revanche, ZK Pro s'adresse aux entités commerciales, optimisé pour des initiatives ZK étendues telles que zkRollup et zkML, faisant de ZK Air le choix privilégié pour la plupart des utilisateurs en raison de son accessibilité et de son utilité.

La synergie entre l'accélération matérielle ZKP et DePIN est évidente. Alors que io.net cible l'IA et l'apprentissage automatique avec son réseau GPU décentralisé, Cysic mise sur ZK comme l'avenir de la blockchain. Son matériel propriétaire est suffisamment polyvalent pour répondre à toutes les demandes de calcul ZK, soutenu par un marché ZK valant plus de 15 milliards de dollars, offrant des perspectives de croissance significatives.

Xiaofeng a déjà fait remarquer : « L'essence de la blockchain est liée à DePIN, l'exploitation minière matérielle de Bitcoin servant de forme rudimentaire à DePIN. » L'accélération matérielle ZKP rappelle le mécanisme PoW de Bitcoin. Cependant, l'introduction du réseau Prover marque l'établissement par Cysic d'un réseau de calcul ZKP dédié. Comme PoW, l'exploitation minière ZKP dans le cadre de DePIN vise à être entièrement sans autorisation. Contrairement au PoW traditionnel, où seuls les mineurs les plus rapides sont récompensés, ce qui conduit à des efforts invalidés pour d'autres, le réseau Prover de Cysic assure que toutes les contributions sont reconnues et récompensées.

Les utilisateurs sont invités à participer aux premières initiatives de Cysic sur Galxe, notamment à gagner des badges, à créer des NFT et à participer au testnet prévu de mai à juin cette année. Cysic laisse entendre qu'elle récompensera les premiers participants avec des incitations NFT exclusives, soulignant ainsi son engagement envers l'engagement communautaire et l'innovation dans l'espace ZKP.

Disclaimer：

1. Cet article est repris de [ Foresight News], Tous les droits d'auteur appartiennent à l'auteur original [Peng SUN]. If there are objections to this reprint, please contact the Porte Apprendreéquipe, et ils s'en occuperont rapidement.
2. Avertissement de responsabilité : Les points de vue et opinions exprimés dans cet article sont uniquement ceux de l'auteur et ne constituent aucun conseil en investissement.
3. Les traductions de l'article dans d'autres langues sont effectuées par l'équipe Gate Learn. Sauf mention contraire, il est interdit de copier, distribuer ou plagier les articles traduits.