Après être longtemps tombé dans le magnifique et illusoire terrier du Web3, le public semble avoir habituellement ignoré un point : fondamentalement, nous vivons dans un monde soutenu par le matériel, qu'il s'agisse de la demande d'équipements VR dans le métaverse, ou de la La consommation CPU et GPU derrière l’IA, ou encore la piste ZK, que Vitalik Buterin considère comme le « futur d’Ethereum », ne fait pas exception.
Bourse Binance - la plus grande bourse Bitcoin au monde, inscrivez-vous pour recevoir une remise de commission de 20 %.
Code de parrainage Binance XSGEK3VL
Inscription Binance : https://www.binance.com/zh-CN/join?ref=XSGEK3VL (remise de commission de 20 %) ou reportez-vous au didacticiel d'inscription Binance. Pour les contrats spot, 20 % sont automatiquement restitués toutes les heures.
Bien que ZK ait une logique mathématique rigoureuse et présente des avantages significatifs en matière de sécurité, de confidentialité et d'évolutivité, ZK a actuellement des problèmes d'efficacité dans la génération de preuves. À une époque où des progrès révolutionnaires ne peuvent pas être réalisés au niveau de l'algorithme, l'accélération matérielle ZK est devenue une dotation. ZK développe la solution la plus directe et la plus efficace. Vitalik a également mentionné lors de sa participation au carnaval Web3 de Hong Kong en avril de cette année : l'accélération matérielle ZK contribuera à améliorer l'efficacité et la sécurité d'Ethereum à un nouveau niveau.
Alors que le potentiel de la piste d'accélération matérielle ZK est de plus en plus apprécié, le projet d'accélération matérielle ZK Cysic, qui sera lancé sur le réseau de test à la mi-juillet, a attiré une large attention : Cysic, le réseau de test lancé cette fois, réalisera une série d'activités d'incitation communautaire par étapes.À ce stade, Cysic Le mécanisme de liste invitera les utilisateurs à devenir des validateurs, à participer aux tests du réseau et à recevoir plus tard les récompenses correspondantes ;Cysic ouvrira également certains rôles de certificateur à la communauté.
En tant que l'un des premiers projets de premier plan à mettre le pied sur la piste d'accélération matérielle ZK, Cysic a déjà réalisé un tour de financement initial de 6 millions de dollars et un tour de financement pré-A de 12 millions de dollars, attirant des investisseurs dont Polychain Capital, Hashkey Capital, OKX Ventures. , ABCDE, etc. Des sociétés de capital-risque bien connues dans divers secteurs ont participé et ont reçu le soutien de nombreux investisseurs providentiels tels que George Lambeth, partenaire de DAO5, premier investisseur de Celestia, et Ken Li, ancien directeur exécutif de Binance Labs.
Profitant du lancement du testnet, nous avons eu un échange approfondi avec Leo Fan, co-fondateur de Cysic, pour discuter des idées de Cysic sur ZK et de la piste d'accélération matérielle, des avantages du projet et de la logique de mise en œuvre, ainsi que des perspectives de développement à grande échelle. mise en œuvre de ZK. Au cours de l'échange, Leo Fan a déclaré : L'accélération matérielle ZK renforcera grandement Ethereum, l'industrie du cryptage et même le monde réel. Avec le développement de ZKVM et la livraison prochaine du matériel Cysic ASIC, nous avons des raisons d'être optimistes quant à la prévision de la technologie ZK. sera lancé en 2025. années pour parvenir à une véritable adoption massive.
Dans ce numéro, pénétrons dans le passé, le présent et l'avenir de Cysic et partageons ce que Leo Fan, co-fondateur de Cysic, voit, pense et ressent à propos de la piste d'accélération matérielle ZK.
Arguments clés
Avec l'arrivée du testnet à la mi-juillet, une série d'activités incitatives sont également en préparation : Cysic invitera les utilisateurs à devenir vérificateurs via le mécanisme de liste blanche et à participer à des tests pour gagner des récompenses. De plus, nous ouvrirons également des rôles de prouveurs. à la communauté dans les dernières étapes du testnet. Pour les utilisateurs du côté B, Cysic vise à fournir aux parties au projet ZK des services ZK efficaces, peu coûteux et instantanés. Les mineurs professionnels peuvent également accéder au réseau Cysic pour utiliser plus efficacement l'équipement matériel. Pour les utilisateurs du côté C, les ordinateurs portables ordinaires peuvent également se connecter au réseau Cysic et devenir des vérificateurs.
En tant que projet principal de la piste d'accélération matérielle de ZK, l'objectif du projet Cysic peut être résumé en trois aspects : haute efficacité, réalisant une génération de preuves en temps réel grâce à des puces universelles auto-développées, fournissant des services d'accélération pour ZK avec presque tous les différents ; types d'algorithmes sur le marché ; Centralisation, construire le réseau ZK DePIN pour fournir des services à l'industrie de manière décentralisée.
L’avantage de ZK est qu’il n’est pas nécessaire de faire confiance à des personnes spécifiques, mais la confiance s’établit par une logique mathématique. De plus, par rapport à d’autres plans d’expansion, l’ensemble de l’architecture d’Ethereum est plus convivial pour le développement de ZK, et la logique mathématique rigoureuse de ZK offre également une garantie plus élevée pour la sécurité et l’équité d’Ethereum.
Dans Cysic, les parties au projet ont l'autonomie de choisir le prouveur approprié en fonction de leurs propres besoins, améliorant encore le degré de décentralisation.
Les performances des ASIC sont bien supérieures en termes de rapport coût-performance et performances/consommation d'énergie. Cependant, en raison de problèmes tels que des erreurs d'enregistrement qui peuvent survenir lors du processus de conception et de production de l'ASIC, ce qui entraînera des coûts élevés, tout le monde est plus prudent. sur la conception et la fabrication des ASIC.
Cysic adopte un modèle économique à double jeton : Native Token propose des frais de gaz et des récompenses pour les contributeurs écologiques, et veToken peut participer aux décisions de planification de la puissance de calcul du réseau via la gouvernance.
Avec le développement de ZKVM et la livraison du matériel Cysic ASIC, la technologie ZK pourrait parvenir à une véritable adoption massive en 2025.
Actuellement le service d'accélération matérielle ZK le plus rapide du secteur, le réseau de test Cysic sera bientôt disponible
Shenchao TechFlow : Tout d'abord, veuillez vous présenter.
Fan de Lion：
Bonjour, je suis Leo Fan, co-fondateur de Cysic.
Permettez-moi d'abord de partager mon expérience pédagogique, qui tourne principalement autour de la sécurité informatique de la cryptographie : j'ai étudié dans la classe de base de mathématiques de l'Université du Sichuan pour mon diplôme de premier cycle, j'ai poursuivi mes études de maîtrise au Laboratoire clé de sécurité de l'information de l'État de Pékin de 2010 à 2014, et puis est entré à l'Université Cornell (Cornell University) a étudié la cryptographie et la sécurité de l'information et a obtenu un doctorat en 2019.
Ensuite, je partagerai mon expérience dans l'industrie : pendant mes études supérieures à Pékin, je suis entré en contact avec Bitcoin et j'ai participé aux premiers travaux d'exploitation minière de Bitcoin. Ensuite, pendant mes études de doctorat, j'ai également effectué plusieurs stages chez IBM, Yahoo. et d'autres sociétés. Après avoir obtenu mon diplôme, j'ai d'abord travaillé au National Institute of Standards and Technology (NIST) pour travailler sur la normalisation cryptographique, puis j'ai rejoint le projet Layer 1 Algorand, fondé par l'inventeur de la technologie ZK, lauréat du prix Turing et professeur au MIT, Silvio Micali In. Algorand, je suis principalement responsable de la conception et de la mise en œuvre de la partie Algorand State Proofs, et je m'engage à apporter une interopérabilité sans confiance à l'écosystème Algorand.
Jusqu'en 2022, j'ai trouvé qu'il fallait beaucoup de temps pour générer la preuve ZK. Au départ, je voulais l'optimiser via les niveaux d'algorithme et de logiciel, mais l'effet n'était pas évident, j'ai donc pensé à accélérer la génération de preuve via des méthodes matérielles. et Cysic est né, dans le but de générer des preuves en temps réel ZK grâce à l'accélération matérielle.
DeepChao TechFlow : Le testnet Cysic sera lancé à la mi-juillet. Pouvez-vous s'il vous plaît partager : du point de vue du côté B et du côté C, comment les parties actuelles du projet, les utilisateurs ou les développeurs peuvent-ils participer à l'écosystème Cysic ?
Fan de Lion：
Du point de vue du côté B, Cysic vise à fournir des services ZK efficaces, peu coûteux et instantanés aux parties au projet ZK. Actuellement, Cysic a ouvert le programme d'accès anticipé (EAP) pour fournir des solutions d'accélération matérielle de bout en bout au niveau de l'entreprise pour les projets ZK nécessitant une puissance de calcul. Cysic prend en charge une série de systèmes multi-vérification, notamment Halo2, STARK, Groth16, Plonky2, ZAMA, GKR et RapidSnark. Notre puissant réseau est alimenté par plus de 10 000 cartes GPU, garantissant des performances et une fiabilité inégalées. Actuellement, 16 projets, dont Scroll, Light protocol, Risc Zero, Inference Labs, Ion Protocol, Aerius Labs et TalusNetworkEAP, ont rejoint le programme EAP, et les premiers membres bénéficieront également d'une série de droits écologiques à l'avenir.
De plus, la face B ici peut également faire référence à certains mineurs professionnels qui disposent d'un grand nombre de cartes graphiques. En plus d'accéder à d'autres réseaux tels que AI DePIN, ils peuvent également accéder au réseau Cysic à l'avenir. les cartes seront utilisées la plupart du temps. Elles seront dans un état d'exécution complet de tâches, ce qui signifie que le matériel entrera dans une phase d'utilisation plus efficace. Dans les étapes ultérieures du testnet, nous ouvrirons également le rôle de certificateur à la communauté. Les utilisateurs qui remplissent certaines conditions matérielles peuvent postuler pour devenir certificateurs. D'une part, ils contribueront au réseau principal en ligne, et d'autre part. , ils recevront des récompenses de test.
Du point de vue des utilisateurs du côté C, cela peut faire référence à des utilisateurs relativement novices qui ne disposent peut-être pas de matériel puissant. Ils peuvent ensuite également accéder au réseau Cysic via des ordinateurs portables ordinaires pour jouer le rôle de vérificateurs, contribuant ainsi à l'écosystème ZK et recevant des récompenses. en même temps. . Le testnet Cysic sera lancé à la mi-juillet et des activités d'incitation au testnet associées sont également en préparation : à ce moment-là, nous inviterons également les utilisateurs à devenir vérificateurs via le mécanisme de liste blanche, à participer aux tests du réseau et à recevoir les récompenses correspondantes.
Deep Wave TechFlow : Si vous pouviez décrire ce que fait Cysic en seulement trois mots, comment le décririez-vous ?
Fan de Lion：
Nous pensons qu'après avoir surmonté le goulot d'étranglement en matière d'efficacité, la technologie ZK ouvrira la voie à une adoption à grande échelle, à la fois dans l'industrie du chiffrement et dans le monde réel du Web2. Cysic vise à réaliser ZK en fournissant des services d'accélération matérielle complets, notamment FPGA, GPU et ASIC. Les preuves sont générées en temps réel et le réseau ZK DePIN Cysic Network est conçu pour connecter les parties au projet ZK, les fournisseurs de puissance de calcul et les vérificateurs communautaires, fournissant ainsi une puissance de calcul et un réseau de vérification efficaces, rentables et décentralisés pour l'ensemble du secteur. Dans l’ensemble, Cysic jouera un rôle essentiel dans l’accélération de l’adoption massive de ZK.
Pour en revenir à la question, je pense que ce que fait actuellement Cysic peut être décrit en trois mots :
Efficacité : Cysic vise à générer des preuves en temps réel grâce à des puces auto-développées. Bien que nous soyons encore en train de fournir des services d'accélération ZK pour les projets via GPU, nous sommes également les plus rapides de l'ensemble du secteur à ce stade. , à mesure que le projet avance et ASIC Nous y parviendrons encore plus rapidement.
Polyvalence : en fait, il existe différents algorithmes dans la catégorie ZK, et il existe des différences entre les différents algorithmes. Cysic vise à fournir des services d'accélération ZK qui prennent en charge tous les algorithmes de l'industrie, élargissant ainsi la portée de nos services et améliorant la convivialité.
Décentralisation : Cysic construit actuellement le réseau Cysic, qui est un réseau ZK DePIN. Nous espérons fournir des services à l'ensemble de l'écosystème via un Prover et un Verifier décentralisés, et les participants recevront des récompenses en fournissant des contributions correspondantes à ZK.
DeepChao TechFlow : Actuellement, les solutions d'accélération matérielle ZK incluent principalement CPU, GPU, FPGA et ASIC. Quelles sont les différences entre ces méthodes ? Quelle méthode Cysic préfère-t-il pour implémenter l’accélération matérielle ZK ?
Fan de Lion：
En fait, Cysic a son mot à dire sur cette question. Il existe un concours pour l'accélération matérielle ZK appelé ZPrize. Cysic a raté le premier ZPrize mais était le concepteur et juge de l'une des pistes de l'événement de cette année.
Dans tout le ZK ou dans tout le domaine matériel. Il existe trois indicateurs plus importants :
Le premier est la performance par dollar : c'est-à-dire combien il en coûte pour acheter le matériel correspondant et combien il en coûte pour obtenir la puissance de calcul. Étant donné que les performances du processeur ne peuvent pas suivre celles des autres solutions, l'accélération matérielle dont nous discutons est principalement basée. sur principalement GPU, FPGA et ASIC. Du point de vue du rapport coût-performance : ASIC > GPU > FPGA, c'est à ce moment-là que le volume d'expédition ASIC est suffisamment important et que le ZK actuel peut répondre aux conditions de ce volume d'expédition.
Le deuxième indicateur est la performance par watt : c'est-à-dire la consommation d'énergie dépensée pour faire fonctionner ce matériel. À cet égard, les performances de l'ASIC sont encore loin devant et les performances du GPU sont légèrement meilleures que celles du FPGA.
Le dernier indicateur est Go to Market Time : nous savons que l'ASIC doit concevoir la puce, et le tape-out (Tape-out) est un maillon important dans le processus de conception de la puce ASIC, et le masque généré doit être envoyé à la tranche. La fabrication des puces est effectuée dans des usines rondes, et s'il y a des erreurs pendant le processus d'enregistrement, cela entraînera des coûts élevés, c'est pourquoi tout le monde est actuellement plus prudent quant à la conception et à la fabrication des ASIC.
Il en va de même pour Cysic à court terme De la fin de l'année dernière au début 2025, nous fournirons des services d'accélération à tout le monde via des GPU, mais nos ASIC vous rencontreront probablement aux deuxième et troisième trimestres de l'année prochaine. , lorsque nous nous transformerons d'abord en fournissant des services ASIC. Il s'agit d'un processus inévitable. Cysic s'engage à réaliser la génération de preuves ZK en temps réel. Pour le circuit ZK grand public actuel, nous espérons que notre temps de preuve pourra atteindre une vitesse de 1 à 5 secondes. Pour atteindre cet objectif, seul ASIC peut atteindre. il.
Shenchao TechFlow : Comment Cysic met-il en œuvre la génération de preuves en temps réel ? Quels changements ou innovations cela apportera-t-il à ZK, Ethereum et même à l’ensemble du secteur de la cryptographie ?
Fan de Lion：
Je pense que cela mènera certainement à de très grandes innovations. Prenons comme exemple la combinaison de ZK et de Machine Learning. Actuellement, si vous souhaitez utiliser ZK pour exécuter un circuit de Machine Learning, cela prendra beaucoup de temps : si vous exécutez un GPT2, cela prendra environ une minute sans ZK. . Secondes, mais si vous souhaitez utiliser ZK pour prouver un circuit GPT2, même la solution la plus rapide prendra plusieurs minutes, et si vous utilisez le CPU, cela prendra environ quelques heures, ce qui est totalement inutile pour l'expérience utilisateur. .
La puce ASIC de Cysic sera capable de générer des preuves ZK en temps réel, ce qui favorise non seulement la combinaison de ZK et de la technologie d'apprentissage automatique, mais apporte également une bonne expérience aux utilisateurs. Bien sûr, Crypto et IA sont désormais très étroitement intégrés, cet exemple est donc également un exemple très Crypto Native.
De plus, je pense que l'accélération ZK a un grand impact sur Ethereum et même sur l'ensemble du secteur du cryptage. Le plus grand changement est que les opérations qui prenaient auparavant plus de dix minutes ont été réduites à quelques secondes. sur la chaîne L2, les transactions peuvent être confirmées plus rapidement, et cette confirmation est basée sur une logique mathématique plutôt que sur l'hypothèse de « non-culpabilité » comme l'OP. Il s'agit d'une énorme amélioration pour l'industrie du cryptage.
Génération en temps réel de preuves ZK de manière décentralisée, le modèle à double jeton encourage le réseau ZK DePIN
Shenchao TechFlow : Dans les solutions précédentes, il était toujours difficile d'équilibrer efficacité et décentralisation. Cysic parvient non seulement à générer des preuves en temps réel, mais réalise également la décentralisation des vérificateurs/certificateurs. Vous pouvez simplement nous le dire. Pouvez-vous nous dire comment Cysic y parvient. ? Comment le consensus PoC adopté par Cysic peut-il améliorer encore la décentralisation ?
Fan de Lion：
Comme mentionné dans la question précédente, il existe deux rôles importants dans le réseau ZK DePIN Cysic Network construit par Cysic : le prouveur et le vérificateur.
Le vérificateur est chargé de vérifier la preuve générée par le prouveur. Il est plus facile de décentraliser le vérificateur car même les téléphones mobiles, les ordinateurs portables et les tablettes peuvent participer à la vérification d'une preuve ZK. Les exigences matérielles sont très faibles et le temps de vérification est généralement inférieur. qu'une seconde.
La décentralisation du prouveur est difficile au début (c'est-à-dire à l'ère GPU), car si l'on veut offrir une bonne expérience utilisateur, c'est-à-dire que le temps pour générer la preuve est relativement court, ce qui signifie que vous besoin de prouver Il existe un certain seuil pour que de nombreuses personnes répondent aux exigences matérielles les plus élevées. Mais lorsque le matériel de Cysic sera commercialisé, cette situation sera grandement atténuée, car par rapport à l'accélération GPU actuelle, le matériel de Cysic peut augmenter l'efficacité de l'accélération ZK jusqu'à dix fois, et le prix est relativement moins cher, tout le monde peut acheter Cysic. du matériel à moindre coût pour atteindre le niveau des mineurs professionnels.
D'un point de vue logiciel, Cysic construit actuellement un réseau ZK DePIN. Nous avons conçu un mécanisme PoC (Preuve de calcul) pour mieux s'adapter au scénario ZK DePIN qui ressemble en fait davantage à une combinaison de preuve d'enjeu et de preuve de travail. Chaque époque comprend environ 100 blocs. Un groupe de nœuds est sélectionné en fonction de la puissance de calcul du prouveur, puis en fonction du poids de gage de ce groupe de nœuds, il est décidé qui proposera les blocs à cette époque. Le fait que le réseau soit dans un état stable augmentera également le degré de décentralisation.
Deep Wave TechFlow : Nous avons remarqué que Cysic adopte une conception de modèle à double jeton qui combine des jetons utilitaires et des jetons de gouvernance. Pouvez-vous nous présenter les avantages de la conception à double jeton et comment Cysic réalise un développement écologique grâce à une gouvernance efficace ? et des incitations ?
Fan de Lion：
Dans le modèle à double jeton : l’un est Native Token et l’autre est veToken.
Native Token est principalement utilisé pour les frais de gaz, récompenser les contributeurs écologiques, etc. Cependant, si vous souhaitez participer à la gouvernance et décider de la répartition de la puissance de calcul du réseau, les participants doivent s'engager à Cysic Token pour obtenir les droits de vote correspondants.
Nous savons que ZK a de nombreux projets et que beaucoup d'entre eux utilisent des algorithmes différents. Par conséquent, la manière de planifier la puissance de calcul dans le réseau Cysic devient cruciale. Si la puissance de calcul est bien planifiée, elle apportera des rendements élevés au réseau Cysic. ce qui, à son tour, peut mieux responsabiliser les participants au réseau. Avoir le droit de vote équivaut à avoir le droit de participer à la planification de la puissance de calcul. Par exemple, si un projet a très bien fonctionné récemment, devrions-nous fournir plus de puissance de calcul ? Grâce à un tel mécanisme, il est non seulement plus propice à la capture de la valeur de l'ensemble de l'écosystème ZK, mais le jeton de Cysic peut également mieux circuler dans tout l'écosystème ZK.
Shenchao TechFlow : Les exigences matérielles du service d'accélération matérielle ZK rappellent facilement la piste DePIN. Quelles extensions la construction écologique de Cysic a-t-elle à DePIN ?
Fan de Lion：
Nous espérons que davantage de matériel rejoindra le réseau Cysic. Il convient de noter que ces matériels du réseau Cysic ne sont pas simplement inactifs, mais exécutent en fait des services pour créer de la valeur grâce à la génération et à la vérification de preuves. différence entre de nombreux projets AI et DePIN. Actuellement, le réseau Cysic est en phase de test interne et des centaines de serveurs sont toujours remplis de tâches.
De plus, le réseau Cysic a également un certain impact sur les utilisateurs traditionnels. En raison des avantages de ZK en matière d'informatique confidentielle, nous fournirons également de meilleurs services aux utilisateurs traditionnels via le réseau DePIN.
Deep Trend TechFlow : Que ce soit lors de la conférence EDCON Monténégro de l'année dernière ou du Carnaval Web3 de Hong Kong de cette année, le co-fondateur d'Ethereum, Vitalik Buterin, a clairement exprimé l'opinion selon laquelle "ZK est l'avenir d'Ethereum". Pourquoi Vitalik est-il si optimiste sur ZK ? Par rapport à d’autres solutions d’expansion, quels sont selon vous les avantages de la technologie ZK et son autonomisation pour Ethereum ?
Fan de Lion：
Je pense que les raisons sont divisées en deux aspects :
Tout d’abord, ZK n’a pas besoin de faire confiance à des personnes spécifiques. Contrairement au mécanisme de confiance « sans soupçon » d’OP, la confiance de ZK est basée sur une logique mathématique rigoureuse, et la technologie ZK a été développée depuis trente ou quarante ans. les hypothèses deviennent de plus en plus complètes en 2016. Il est donc plus sûr de faire confiance aux mathématiques qu’à d’autres solutions.
Deuxièmement, par rapport à d'autres solutions d'extension, l'architecture entière d'Ethereum est plus conviviale pour le développement de ZK. Après avoir utilisé ZK pour générer une preuve, elle peut être rapidement vérifiée dans Ethereum, et la preuve ZK générée peut être un bloc de L2. Ce Bloc peut correspondre à 1 000 transactions. En d’autres termes, vérifier une preuve ZK sur Ethereum équivaut à vérifier 1 000 transactions. ZK est une meilleure solution d’expansion sans modifier trop de couches sous-jacentes d’Ethereum.
Enfin, parlons de l'autonomisation d'Ethereum grâce à la technologie ZK : je pense que le développement rapide de ZK a d'abord considérablement amélioré le temps de règlement d'Ethereum via L2, et deuxièmement, grâce à ZK Bridge, Ethereum peut éviter de nombreuses failles de sécurité tout en améliorant l'efficacité ; , ZK dispose également d'un grand pouvoir sur la façon dont Ethereum lui-même génère des blocs. ZK dispose d'un module de fonction de retard vérifiable qui utilise des fonctions mathématiques rigoureuses pour générer des nombres aléatoires et génère également des preuves ZK correspondantes pour vérifier s'il existe un bon calcul de la fonction de retard, ce qui est le cas. une bonne garantie pour la sécurité et l’équité d’Ethereum.
Deep Chao TechFlow : Face au problème actuel de faible efficacité de ZK, Vitalik s'est également concentré sur trois directions de solution, à savoir : 1. Arbres de parallélisation et d'agrégation 2. Utilisation des algos SNARK et du hachage pour améliorer l'efficacité 3. Utilisation de l'ASIC pour l'accélération matérielle ZK ; . Cysic est un projet axé sur l'accélération matérielle ZK. Selon vous, quels sont les avantages du matériel ZK par rapport aux deux autres solutions ?
Fan de Lion：
En fait, il existe une relation de coopération entre la première solution d'arborescence de parallélisation et d'agrégation et la troisième solution d'accélération matérielle ZK. Les solutions de parallélisation et d'arborescence d'agrégation sont en fait soit un EVM parallèle (EVM parallèle), soit une agrégation et une vérification par lots éprouvées peuvent en fait accélérer ce processus.
La deuxième solution consiste à utiliser les algorithmes SNARK et le hachage pour améliorer l'efficacité. SNARK (Succinct Non-Interactive Arguments of Knowledge) est en fait ZK. Ce que nous accélérons est SNARK. Il existe de nombreux paramètres dans SNARK. Si elle est radicale, elle aura un certain impact sur la sécurité. L'avantage de l'accélération matérielle ZK est sa capacité à accélérer sans compromettre le châssis de sécurité.
ZKVM assiste les expéditions de matériel auto-développé par Cysic, ZK pourrait ouvrir la voie à une adoption à grande échelle en 2025
Shenchao TechFlow : Récemment, le vent de ZK a frappé Solana. Le protocole de confidentialité Light Protocol a proposé une nouvelle primitive pour Solana : ZK Compression, qui s'engage à permettre l'informatique ZK native sur Solana afin que les jetons sur Solana et les frais de gestion de compte soient réduite par des ordres de grandeur. Que pensez-vous de ZK Compression ? Selon vous, quelles opportunités et quels défis cela apportera à la piste d'accélération matérielle ZK sur laquelle Cysic se trouve ?
Fan de Lion :
La compression ZK est une technologie ZK récemment apparue sur Solana. Il utilise principalement la simplicité de ZK pour réduire l'état, réduisant ainsi les frais généraux. La même technologie est également utilisée dans les ponts ZK-L2 et ZK. Pour Cysic, il n'y a aucune différence entre ce noyau technologique et la technologie actuellement développée par Cysic, c'est juste que la technologie existante de Cysic peut fournir un bon support pour les applications ZK dans de nouveaux scénarios (Solana).
Shenchao TechFlow : Combien de temps pensez-vous qu'il faudra pour que la technologie ZK soit véritablement adoptée à grande échelle dans des scénarios spécifiques ? Quelles sont les opportunités importantes pour promouvoir la réalisation de cette vision ?
Fan de Lion：
Je pense que l’adoption à grande échelle de ZK pourrait avoir lieu l’année prochaine, et elle ne se limitera pas seulement à l’industrie du cryptage, mais sera véritablement appliquée dans de nombreux scénarios d’atterrissage. Cela vient principalement de deux opportunités :
Tout d'abord, en termes de logiciel, Cysic est très préoccupé par le développement de ZKVM. ZKVM vise à aider les développeurs afin qu'ils n'aient plus à écrire beaucoup de circuits ZK, mais puissent écrire directement les projets RUST ou Go correspondants, et. puis transformez-les en circuits ZK via ZKVM, ce qui améliore considérablement la vitesse de développement de ZK et abaisse le seuil de développement de logiciels ZK. Cysic continuera également à explorer et à lancer de meilleures solutions en termes de logiciels.
D'autre part, le matériel développé par Cysic sera expédié l'année prochaine, ce qui améliorera également considérablement l'efficacité de la génération de preuves ZK, devenant ainsi une force clé dans la promotion de l'adoption à grande échelle de la technologie ZK.
Deep Wave TechFlow : Pouvez-vous partager avec nous les progrès majeurs réalisés par Cysic récemment et quels seront les objectifs de Cysic au second semestre 2024 ?
Fan de Lion：
Cysic a réalisé de nombreuses percées au cours de l'année écoulée : fin 2023, l'équipe a déterminé approximativement l'orientation du développement de la conception de la puce ZK. Avant, notre travail consistait peut-être uniquement à accélérer un certain module relativement lourd. , nous avons déterminé l'orientation du développement sur la base de l'orientation de conception de la puce ZKVM, ce qui permet à notre produit matériel d'avoir une forme d'affichage très flexible. Nous aurons deux produits :
ZK Air sera un produit destiné aux utilisateurs ordinaires. Il s'agit d'un appareil ZK DePIN léger et portable, proche de la taille d'un chargeur Macbook. Il peut être connecté à un téléphone mobile ou à un ordinateur via Type-C pour obtenir une certification ZK efficace. ZK Air offre plus de puissance de calcul que ce que les cartes graphiques grand public peuvent offrir et est comparable à 10 RTX 4090.
ZK Pro peut accélérer au maximum la production de preuves ZK, calculer la preuve ZK pour les utilisateurs en temps réel et est conçu de manière similaire aux machines minières traditionnelles. ZK Pro est plus adapté aux projets ZK à grande échelle, tels que zkRollup, zkML et d'autres scénarios. En termes de performances, ZK Pro a réalisé une énorme amélioration par rapport à Air. Selon la divulgation officielle de Cysic, sa puissance de calcul est comparable à 50 cartes graphiques Nvidia RTX 4090.
De plus, en termes de GPU, nous avons développé nous-mêmes le code général correspondant, qui est grandement amélioré par rapport au CPU. Par rapport aux solutions open source du marché, il est également presque deux fois plus rapide. Avant que l'ASIC ne vous réponde, notre objectif est de vous fournir. de meilleurs services d'accélération matérielle ZK pour l'industrie via GPU et d'autres solutions.
En 2024, le testnet Cysic sera lancé à la mi-juillet et le réseau principal pourrait être lancé au troisième trimestre. Actuellement, la plupart des travaux de développement sont terminés et nous continuons à effectuer des tests de résistance et d'autres aspects. travail.