Séminaire
|
Date : 25 mai 2023 13:30 - Salle :Salle A104
Application physique de preuves à divulgation nulle de connaissance et preuve de NP-complétude.Léo ROBERT, post-doc - LIMOS |
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 ? La présentation sera en deux parties. Dans un premier temps, nous verrons un protocole qui utilise des objets du quotidien (cartes, enveloppes) pour prouver qu'une personne détient (ou non) la solution sans révéler la moindre information. Dans un second temps, nous verrons comment prouver que la résolution d'un tel jeu est "difficile".
L'approche choisie permet de découvrir facilement des notions cryptographiques utilisées dans plusieurs domaines (blockchain, e-voting, database).
Page web : https://perso.limos.fr/~leorober/