« Prouver qu'une chose est vraie sans révéler aucun détail » — preuve à divulgation nulle de connaissance

▰ Qu'est-ce que la preuve à divulgation nulle de connaissance ?
Il y a plus de 30 ans, lorsque trois cryptographes l'ont proposée, beaucoup ont probablement pensé que c'était faux, difficile à croire. Après tout, pour convaincre quelqu'un habituellement, il faut présenter des faits et des preuves. Comment faire confiance simplement en disant « Je ne vous ai pas menti » ?

▰ Mais les mathématiques sont si magiques
Par exemple, vous savez qu’un film très peu connu contient un Easter egg caché. Vous voulez prouver que vous l’avez vu sans spoiler le contenu de l’Easter egg.

Vous pouvez dire à votre ami : « Un personnage du film, à la 45ème minute, tient quelque chose avec une marque spéciale. »

Si votre ami regarde le film et trouve cette marque, il saura que vous l’avez vraiment vu, sans que vous ayez besoin de révéler ce qu’est l’Easter egg.

C’est la logique centrale de la preuve à divulgation nulle de connaissance : transformer « parler » en « vérifier par les détails », résolvant ainsi le problème de « devoir prouver tout en restant secret ».

▰ Cependant, cette technologie a aussi un gros inconvénient : générer une preuve demande énormément de puissance informatique.

C’est comme si, à l’époque, faire une résolution mathématique prenait 10 minutes, et qu’il fallait rédiger un rapport de vérification absolument sans erreur, en décomposant chaque étape en plus petites unités à vérifier une par une. La charge de travail pouvait alors être multipliée par plusieurs dizaines.

▰ À ce moment-là, j’ai remarqué le projet @cysic_xyz, et j’ai trouvé leur approche particulièrement pertinente.

Alors que tout le monde utilise des GPU pour générer des preuves à divulgation nulle de connaissance, car les GPU sont excellents pour traiter simultanément une multitude d’opérations répétitives.

Mais le problème, c’est que les GPU sont à la base conçus pour le rendu graphique ou la vidéo, pas pour ce genre de tâches.

Ce que @cysic_xyz veut faire, c’est concevoir des puces spécialement dédiées à la preuve à divulgation nulle de connaissance, avec une conception centrée sur « la génération efficace de preuves ».

Je trouve cela très visionnaire. Si cela aboutit, le coût des preuves à divulgation nulle de connaissance pourrait considérablement baisser, facilitant leur adoption.

En réalité, la preuve à divulgation nulle de connaissance n’est pas si éloignée de nous. Plus tard, pour payer ses factures d’eau et d’électricité en ligne sans craindre la fuite de données, signer des documents importants sans risque de modification, ou même vérifier qu’un compte de jeu n’est pas truqué, elle pourrait être utilisée.

Et la percée de @cysic_xyz dans le hardware pourrait bien être la clé pour l’intégrer dans notre vie quotidienne.