Chers amis, bon après-midi ! C'est encore une fois la fête annuelle du Double 11, je ne pensais pas qu'un célibataire comme moi pourrait aussi profiter d'une fête exclusive 😆. L'année dernière, je dépensais une grosse somme à cette période.

Ce soir, je vais encore dépenser beaucoup. Je viens de vérifier mes dépenses cette année et je me suis rendu compte que rien qu'avec 🍑, j'ai déjà dépensé autant, ce qui me rapproche rapidement du statut de membre diamant noir. Mais une question m'est soudain venue à l'esprit.

Lors du paiement, la page affiche le montant final à payer. Je veux confirmer si ce prix est correct après la superposition des remises, des enveloppes rouges, des coupons, etc., sans révéler mes informations privées comme mon niveau de membre, mon historique d'utilisation de coupons ou mes détails d'allocation de shopping — que faire dans ce cas ?

❙ La preuve à divulgation nulle de connaissance (Zero-Knowledge Proof) donne la réponse, mais elle soulève aussi un problème encore plus difficile : elle consomme énormément de puissance de calcul.

▰ Parlons d'abord de la puissance de ZKP « une seule fois calculée, vérifiée à jamais »

Générer une preuve à divulgation nulle de connaissance ne prend que quelques millisecondes pour confirmer que le montant est correct, mais le processus de génération de cette preuve doit être refait en suivant des règles mathématiques, ce qui représente plusieurs centaines voire mille fois plus de travail que le calcul initial.

▰ Ce qui est encore plus compliqué, c'est que dans l'industrie, on s'appuie principalement sur des GPU pour supporter cette charge de calcul.

Les GPU peuvent effectivement traiter simultanément une multitude de calculs répétitifs, ce qui leur permet de répondre aux besoins, mais leur conception initiale est pour le traitement d'images, pas pour effectuer les « opérations mathématiques sur des corps finis » nécessaires à la preuve à divulgation nulle de connaissance.

De nombreuses fonctionnalités dans un GPU, comme celles pour gérer l'éclairage et les ombres dans les jeux, sont inutilisables lors de la génération de preuves, elles occupent simplement des ressources, et en plus, lors du transfert de données, elles consomment beaucoup d'énergie, ce qui réduit leur rapport qualité-prix.

▰ C'est là que la stratégie de @cysic_xyz devient particulièrement cruciale. Ils ne se concentrent pas sur le matériel général, mais sur le « développement de puces dédiées ».

❙ Comment peut-on juger que la performance de calcul de la ZKP diffère de celle d'un ordinateur classique ?

Il faut regarder combien de hachages, de contraintes mathématiques, ainsi que le temps et l'énergie nécessaires pour générer une preuve. Les puces dédiées peuvent optimiser ces aspects, en éliminant les fonctionnalités inutiles et en concentrant toutes leurs performances sur les besoins essentiels de la preuve à divulgation nulle de connaissance.

Je pense que ce n'est pas seulement une avancée technologique, mais aussi une voie claire pour toute l'industrie. La preuve à divulgation nulle de connaissance passe progressivement du concept théorique à une application concrète.

À l'avenir, la demande pour la « calculabilité vérifiable » ne fera que croître. Il faut dire que @cysic_xyz a vraiment fait un choix visionnaire dans ce domaine.
#cysic