Applications physiques de preuves à divulgation nulle de connaissance

18/05/2021 - Léo ROBERT, Doctorant
Léo ROBERT

Suguru est un jeu qui ressemble au Sudoku, vous devez remplir une grille avec des chiffres selon certaines règles. Le problème qui se pose est le suivant : comment pouvez-vous me convaincre que vous avez la solution sans révéler la moindre information sur cette solution ?

C'est ce que nous allons voir dans ce séminaire en décrivant des protocoles qui utilisent des objets du quotidien (cartes, enveloppes). Nous prendrons plusieurs jeux (Suguru, Nurikabe, Hitori) comme supports.

Le but est de comprendre le concept de preuves à divulgation nulle de connaissance; concept largement utilisé en cryptographie pour prouver que l'on détient un secret sans révéler d'information à son sujet.