Anonymous Credentials: Secret-Free and Quantum-Safe

Un mécanisme d’identifiants anonymes est un ensemble de protocoles qui permet aux utilisateurs d’obtenir des identifiants d’une organisation et de prouver que ceux-ci leur appartiennent sans compromettre leurs renseignements personnels. Nous construisons le premier mécanisme d’identifiants résistant aux attaques quantiques n’utilisant pas de clé secrète. La sécurité de ce mécanisme efficient repose sur la capacité de l’organisation à maintenir l’intégrité d’une structure de données connue publiquement. Le mécanisme est basé sur un arbre de Merkle et utilise comme primitive fondamentale une fonction de hachage résistante aux attaques quantiques qui est partiellement homomorphe. Nous construisons également un argument de connaissance à divulgation nulle de connaissance simple et à l’épreuve des attaques quantiques pour vérifier la présence des identifiants dans l’arbre de Merkle. De plus, nous explorons une instanciation concrète du mécanisme et montrons son efficacité pour les fonctions de base de l’inscription et de la vérification.