PHC Sakura

Monté en collaboration avec l’University of Electro-Communications de Tokyo, ce projet international vise spécifiquement à encourager des collaborations Franco-Japonaises. Les concepts de « Scale-based cryptography » et « Card-based cryptography » sont des approches innovantes dans lesquelles il est possible de réaliser des protocoles physiques à divulgation nulle de connaissance (« zero-knowledge proof ») en modélisant des balances physiques de type « Roberval » ou des jeux de cartes. Au moyen de comparaisons multiples, nous pouvons modéliser des fonctions basiques de logique telles que les opérations ET et OU, et ainsi construire des protocoles complexes dans lesquels il est possible de vérifier que quelqu’un connaît un secret sans qu’il ait besoin de le révéler. La modélisation de jeux permet notamment d’étudier des problèmes liés à la théorie des jeux et pouvant ainsi être étendus à des problèmes de la vie réelle. Ces concepts peuvent sembler simplistes au regard des mécanismes cryptographiques existants mais prennent toute leur importance lorsqu’on s’intéresse à des problèmes dans lesquels les ordinateurs ne sont pas utilisés tels que le vote en France (papier et urne).