METHODS AND SYSTEM FOR GENERATING AND VERIFYING ZERO-KNOWLEDGE PROOF OF APPROXIMATE LOCATION KNOWLEDGE

A prover device (P) and methods for generating a zero-knowledge proof (18) of approximate knowledge of a reference location (Xv). The method includes: - obtaining a plurality of reference signals (13) originating from a respective plurality of reference sources (12) and acquired at a test location (Xp) within observable range of the reference sources; - constructing an initial codeword from the obtained reference signals (13), this codeword forming a representation of the test location (Xp); - applying a block-based error correction decoding operation on the initial codeword, thereby obtaining an assessment codeword; - applying a hashing operation on the assessment codeword, thereby obtaining a hash value representing the zero-knowledge proof, and - providing the hash value to a verifier device (V), to allow the latter to compare the hash value with a reference hash value and thereby assess validity of the zero-knowledge proof. In addition, a complementary verifier device and corresponding verification methods are provided. L'invention concerne un dispositif de démonstration (P) et des procédés permettant de générer une preuve à connaissance nulle (18) de la connaissance approximative d'un emplacement de référence (Xv). Le procédé comprend les étapes suivantes : - obtenir une pluralité de signaux de référence (13) provenant d'une pluralité respective de sources de référence (12) et acquis à un emplacement d'essai (Xp) dans la plage observable des sources de référence ; - construire un mot codé initial à partir des signaux de référence obtenus (13), ce mot codé formant une représentation de l'emplacement d'essai (Xp) ; - appliquer une opération de décodage de correction d'erreur par bloc sur le mot codé initial, obtenant ainsi un mot codé d'évaluation ; - appliquer une opération de hachage sur le mot codé d'évaluation, obtenant ainsi une valeur de hachage représentant la preuve à connaissance nulle, et - fournir la valeur de hachage à un dispositif de vérification (V), pour permettre à ce dernier de comparer la valeur de hachage à une valeur de hachage de référence et d'évaluer ainsi la validité de la preuve à connaissance nulle. De plus, l'invention concerne un dispositif vérificateur complémentaire et des procédés de vérification correspondants.