Preuve à divulgation nulle de connaissance (ZKP Zero Knowledge Proof) - Passe-science #57

49,421
0
Published 2023-12-19
Parlons d'un objet mathématique fascinant: les preuves à divulgation nulle de connaissance (ou ZKP pour Zero Knowledge Proof en anglais).
De quoi paradoxalement vous permettre de démontrer à un tiers avoir la solution à un problème, disons une grille de Sudoku, mais sans qu'il n'apprenne la moindre information sur cette solution!
Un thème d'apparence assez ludique mais qui s'est révélé être une vraie révolution pratique en cryptographie moderne.

Sommaire:
- 0:00 Intro
- 0:41 Énoncé
- 1:36 Protocole physique 1
- 4:25 Protocole physique 2
- 8:14 Protocole dématérialisé
- 13:59 Liens ZKP et problèmes NP
- 18:01 Utilisations
- 19:21 Outro

Mon épisode sur P vs NP pour plus d'information sur la réduction NP NPC évoquée en seconde partie:
   • P vs NP : une question fondamentale d...  

Pour en savoir plus:
en.wikipedia.org/wiki/Zero-knowledge_proof

Publications:
dl.acm.org/doi/10.1145/22145.22178
epubs.siam.org/doi/10.1137/0218012
doi.org/10.1007/3-540-47721-7_11
doi.org/10.1145/116825.116852

Retrouvez Passe-science sur Tipeee, Twitter et Facebook:
www.tipeee.com/passe-science
twitter.com/ThomasCabaret84
www.facebook.com/passescience.youtube/

Musiques:
Hi-tech corporate - The Right Music for video
www.musicscreen.org/Royalty-free/Music/sport-tapis…
Two of us - Youtube Audio Library
Groove Grove - Youtube Audio Library
Brittle Rille Reunited - Youtube Audio Library
Babylon Disco Ultralounge - Youtube Audio Library

All Comments (21)
  • @PasseScience
    Ne manquez pas les 6 "Sudokus chiants" de la fin, soit pour vous casser la tête dessus, soit pour embêter la belle famille pendant les fêtes de noël. Et s'ils ne croient pas qu'une solution existe vous pourrez toujours leur démontrer sans leur donner la moindre information dessus!
  • @le_science4all
    Excellent !! FYI, je milite auprès de diverses entités pour la mise en place d'un protocole ZKP de certification unique de citoyenneté. Ceci permettrait aux plateformes de garantir que chaque citoyen aurait au plus un compte ZKP-certifié, et limiterait drastiquement la prolifération des faux comptes.
  • @Hirondo
    ça faisait des années que j'essayais de comprendre ce machin. Merci. Il ne me manque plus qu'une explication sur les starks et les snarks !
  • @pourjimmy
    Je suis scotché devant la facilité de la narration face à la complexité à expliquer ce sujet 😮Bravo et merci 🙏🏻
  • @gordub
    Très bonne vidéo :) Je me permets d'ajouter une autre utilisation possibles des ZK proofs : Via la transformation de Fiat-Shamir, toute ZK proof peut être rendue non-interactive et transformée en algorithme de signature. C'est une procédure standard qu'on retrouve un peu partout en cryptographie post-quantique, notamment. De manière très générale, on utilise les ZK proofs comme routine permettant de construire d'autres types de protocoles cryptographiques :)
  • @dan_iversaire
    Merci de continuer à faire des videos. Pas toujours facile de faire LE contenu interessant du moment mais TA façon de communiquer fait la difference. Allez allez allez 😁😁
  • @flydexo
    Enfin un vulga français qu'il en parle! Merci
  • @thomasou3909
    J'aime beaucoup tes vidéos et celle-ci traite un très beau sujet ! Merci pour ce travail de qualité et ta pédagogie
  • Oh super ce sujet !!! Merci beaucoup pour ce cadeau en avance :) Bonnes fêtes ;)
  • @Soulergonote
    Génial ! Je connaissais pour leur utilité dans certaines cryptomonnaies mais le voir expliquer aussi clairement c'est parfait !
  • @fabricedecreau
    Je découvre la chaîne, ravi de voir un contenu de qualité.
  • @kaba9926
    Excellent ! C’est super clair !
  • @judgelaloicmoi
    excellente video sur un sujet tres complexe, bravo et merci !
  • @fmdj
    Sympa, belle manière de rendre digeste un sujet compliqué ! Allez je m'abonne :)