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

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 des ma...   Pour en savoir plus: https://en.wikipedia.org/wiki/Zero-kn... Publications: https://dl.acm.org/doi/10.1145/22145.... https://epubs.siam.org/doi/10.1137/02... https://doi.org/10.1007/3-540-47721-7_11 https://doi.org/10.1145/116825.116852 Retrouvez Passe-science sur Tipeee, Twitter et Facebook: https://www.tipeee.com/passe-science   / thomascabaret84     / passescience.youtube   Musiques: Hi-tech corporate - The Right Music for video https://www.musicscreen.org/Royalty-f... Two of us - Youtube Audio Library Groove Grove - Youtube Audio Library Brittle Rille Reunited - Youtube Audio Library Babylon Disco Ultralounge - Youtube Audio Library