Résumé: Nous présenterons comment il est possible de démontrer un énoncé dans NP sans transférer sa preuve (zero-knowledge) grâce aux contraintes posées par la relativité: que l’information ne peut voyager plus vite que la lumière. Nos verrons comment réaliser une telle chose en pratique bien que les prouveurs ne soient que limité par ce qui leur est permis par la physique quantique. Nous soutiendrons enfin que la même méthode ne peut être consistante face à des prouveurs uniquement limités par l’impossibilité de communiquer.
Travail conjoint avec A. Massenet, L. Salvail, L. Stinchcombe et N. Yang.
Biographie: Le Prof. Claude Crépeau est né à Montréal, en 1962. Il obtient une maitrise de l’Université de Montréal en 1986 et son doctorat d’informatique au MIT en 1990, en travaillant en cryptographie sous la direction des Professeurs Gilles Brassard (UdeM), et Silvio Micali (MIT). Il fit deux ans d’études post doctorales à l’Université d’Orsay, sous Miklós Sántha et fut un chercheur CNRS à l’École normale supérieure de 1992 à 1995 dans l’équipe de Jacques Stern. Il a été nommé professeur agrégé à l’Université de Montréal en 1995, et enfin à l’école d’informatique de l’Université McGill depuis 1998. Il fut membre du programme de l’Institut Canadien de Recherches Avancées sur l’informatique quantique de 2003 à 2013.
Le Professeur Crépeau est connu pour son travail sur les preuves à divulgation nulle de connaissance, les protocoles de calculs multiparties classiques et quantiques, et la cryptographie quantique (dont l’authentification quantique). En 1992, en collaboration avec Charles H. Bennett, Gilles Brassard, Richard Jozsa, Asher Peres, et William Wootters, le Professeur Crépeau inventa la téléportation quantique, un concept vérifié de façon expérimentale. Ce travail a depuis été cité plus de 13600 fois dans la littérature scientifique.
