💻 computer science

Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation

Cet article propose une analyse systématique des failles de liaison contextuelle dans les preuves de proximité à connaissance nulle, en introduisant la méthode Zairn-ZKP qui intègre l'identité et le contexte directement dans la preuve pour réduire les hypothèses opérationnelles et éliminer les vulnérabilités de transfert sans coût de calcul significatif.

Auteurs originaux : Yoshiyuki Ootani

Publié 2026-04-07

📖 4 min de lecture☕ Lecture pause café

CC BY 4.0

Auteurs originaux : Yoshiyuki Ootani

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes dans une ville remplie de coffres-forts numériques (appelés "drops" dans le papier). Pour ouvrir un coffre, vous devez prouver que vous vous trouvez physiquement à côté de lui. C'est ce qu'on appelle une preuve de proximité.

Le Problème : Le "Ticket de Cinéma" qui ne dit pas quel film on regarde

Jusqu'à présent, la technologie utilisée pour prouver votre présence (la "Preuve à Connaissance Zéro" ou ZKP) fonctionnait un peu comme un ticket de cinéma générique.

Ce ticket prouve que vous êtes assis dans une salle spécifique.
Mais le ticket ne mentionne pas le titre du film, ni la date, ni le numéro de votre place.

Le danger ? Si vous avez un ticket pour le film "Avengers" dans la salle A, un malin pourrait le donner à son ami dans la salle B (qui projette le même film à la même heure). L'ami pourrait l'utiliser pour entrer, même s'il n'est pas dans la bonne salle. Dans le monde numérique, cela signifie qu'une preuve volée pour un objet (un message secret, une photo) pourrait être utilisée pour en ouvrir un autre, même si les coordonnées GPS sont identiques. C'est ce qu'on appelle le "fossé de liaison contextuelle".

La Solution : Le "Ticket Personnalisé" (Zairn-ZKP)

L'auteur, Yoshiyuki Ootani, propose une nouvelle façon de faire les choses. Au lieu d'avoir un ticket générique, il propose d'imprimer directement sur le ticket toutes les informations importantes :

Le nom du coffre (l'identité de l'objet).
La version des règles de sécurité (la politique).
L'heure exacte de la séance.

C'est ce qu'il appelle "lier le contexte dans la preuve".

L'Analogie du Passeport

L'ancienne méthode (Hors circuit) : Vous montrez votre passeport au gardien. Le gardien regarde son carnet pour vérifier si ce passeport est valide pour ce visa spécifique. Si le gardien est distrait, malhonnête, ou si son carnet est à jour mais que le passeport a été volé pour un autre visa, le système échoue.
La nouvelle méthode (Dans la preuve) : Le passeport lui-même est modifié. Il porte un tampon spécial qui dit : "Valide UNIQUEMENT pour le Visa X, le 12 avril, à 14h00". Même si vous donnez ce passeport au gardien le plus honnête du monde, il ne pourra pas l'utiliser pour le Visa Y, car le tampon ne correspond pas. La sécurité est dans le papier, pas dans la tête du gardien.

Pourquoi c'est génial ? (Les avantages)

Moins de confiance requise : Avec l'ancienne méthode, il fallait faire confiance à plusieurs vérifications manuelles (le gardien, le carnet, l'horloge). Avec la nouvelle, la sécurité est mathématique. Si les informations ne correspondent pas, le ticket est automatiquement rejeté par la machine, peu importe qui le présente.
Pas plus lent : C'est la grande surprise du papier. Ajouter ces informations sur le ticket ne prend presque aucun temps supplémentaire. C'est comme si écrire "Pour le film Avengers" sur le ticket ne prenait pas plus de temps que d'écrire juste "Cinéma".
Résistance aux attaques : Les chercheurs ont simulé des attaques dans des villes très denses (comme Tokyo ou New York) où des centaines de coffres sont proches les uns des autres. Ils ont montré que l'ancienne méthode laissait passer des centaines de tentatives de vol par heure, tandis que la nouvelle méthode bloque tout.

En résumé

Ce papier ne crée pas une nouvelle magie mathématique compliquée. Il propose une méthode de sécurité plus intelligente pour les applications qui utilisent la géolocalisation.

Au lieu de dire : "Je prouve que je suis ici, et j'espère que le serveur se souvient que je devrais ouvrir ce coffre-là", on dit : "Je prouve que je suis ici, ET que ce ticket est spécifiquement conçu pour ce coffre-là, à cet instant précis."

C'est comme passer d'un système où l'on doit faire confiance à un humain pour vérifier les détails, à un système où le ticket lui-même contient la vérité, rendant les erreurs et les tricheries presque impossibles, sans ralentir le processus.

1. Problématique : Les lacunes de liaison de contexte

L'article identifie une vulnérabilité critique dans les systèmes de contenu géolocalisé utilisant des preuves à connaissance nulle (ZKP) pour l'authentification de proximité.

Le constat : Une preuve ZKP de proximité standard certifie uniquement que le prouveur se trouve à une certaine distance d'un point cible (un fait géométrique). Cependant, cette preuve est « flottante » : elle ne porte aucune engagement cryptographique vers le contexte de l'application (identité du contenu déverrouillé, version de la politique, session utilisateur).
La conséquence : Dans les systèmes étatiques (stateful) où plusieurs « drops » (contenus) peuvent partager les mêmes coordonnées, ou où les politiques évoluent, un attaquant peut transférer une preuve valide d'un objet à un autre. Par exemple, prouver sa présence pour déverrouiller le contenu A (Drop A) permet ensuite de déverrouiller le contenu B (Drop B) si les deux sont situés au même endroit, même si l'attaquant ne possède pas les clés de déchiffrement de B.
Le vide de sécurité : Les approches actuelles reposent souvent sur des vérifications « hors circuit » (off-circuit) côté serveur ou client. Ces approches dépendent d'invariants opérationnels (gestion d'état, unicité des nonces, synchronisation) qui, s'ils échouent ou sont contournés (notamment par un client compromis), laissent la porte ouverte à des attaques de rejeu inter-contextes.

2. Méthodologie et Analyse

L'auteur propose une analyse systémique de la sécurité plutôt qu'une nouvelle primitive cryptographique.

Taxonomie des vulnérabilités :
- V1 (Déclaration non liée) : Réutilisation d'une preuve géométrique pour un contexte d'application différent (ex: Drop A vers Drop B).
- V3 (Fragilité de liaison au niveau applicatif) : Les vérifications côté client peuvent être contournées par un attaquant contrôlant le binaire de l'application.
- V2 (Piège de soundness du circuit) : Problèmes de contraintes sous-contraintes dans les circuits ZK (ex: comparaisons non sécurisées en arithmétique modulaire).
- V4 (Vérité GPS) : Limitation inhérente où le système ne peut pas garantir que les coordonnées proviennent d'un capteur physique réel (hors périmètre de la preuve ZK).
Modèle de vérification hors circuit : L'article formalise un modèle où le vérificateur reçoit la preuve $\pi$ , les signaux publics $pub$, et une revendication auxiliaire $aux$. Il montre que si $aux$ n'est pas engagé cryptographiquement dans $\pi$ , un attaquant peut obtenir une $aux$ valide pour un objet $O_2$ et l'appliquer à une preuve générée pour $O_1$ (si les paramètres géométriques sont identiques).
Solution proposée : Zairn-ZKP
- Il s'agit d'une instanciation concrète intégrant le contexte applicatif directement dans les entrées publiques du circuit ZK.
- Les entrées publiques incluent : l'identité du drop, la version de la politique, l'epoch (fenêtre de temps) et le nonce de session.
- Le circuit calcule un hachage de ces éléments ($C = H(dropId || policyVersion || epoch)$) et exige que la preuve soit valide uniquement si ces valeurs correspondent à celles attendues.

3. Contributions Clés

Méthodologie de sécurité de déploiement : Une approche systématique pour séparer les vulnérabilités de liaison de contexte (V1, V3) des problèmes de soundness du circuit (V2) et de confiance des capteurs (V4).
Modèle formel et comparaison d'hypothèses : Une analyse comparative de sept stratégies de liaison (de la simple vérification côté client à la liaison complète dans la preuve). L'étude démontre que la liaison « dans la preuve » (in-proof) réduit la surface d'hypothèses opérationnelles nécessaires.
Zairn-ZKP : Une implémentation fonctionnelle utilisant Groth16 et Circom qui intègre le contexte applicatif comme signal public.
Preuve de sécurité : Démonstration formelle (Jeu de transfert de transcript) que la liaison dans la preuve rend la réutilisation d'une preuve entre deux contextes différents impossible, même si les coordonnées géographiques sont identiques, sous réserve de la soundness de Groth16 et de la résistance aux collisions du hachage.

4. Résultats de l'Évaluation

L'évaluation a été menée sur cinq plateformes (x86, ARM, iOS, Android, WASM) et comparée à des alternatives hors circuit.

Coût de performance (Overhead) :
- L'ajout de la liaison de contexte dans la preuve n'ajoute aucun coût mesurable en termes de temps de génération de preuve par rapport à une preuve géométrique pure (différence médiane de -0.12 ms, bruit de mesure).
- L'augmentation de coût observée (environ 2x par rapport à un prototype non sécurisé) est entièrement due à la correction des erreurs de soundness du circuit (V2), et non à la liaison de contexte elle-même.
- La vérification reste rapide (~9-10 ms).
Sécurité et Résistance aux attaques :
- Scénario G (Transfert inter-drop même epoch) : Dans un environnement urbain dense, plusieurs drops partagent souvent le même nonce d'epoch.
  - Les stratégies de liaison de session uniquement (niveau ii, comme Portal) échouent : une preuve pour le Drop A est acceptée pour le Drop B si le nonce est partagé.
  - La stratégie Zairn-ZKP (niveau iii) bloque totalement ce transfert car l'identité du drop est cryptographiquement liée à la preuve.
- Réduction des invariants opérationnels : Une stratégie hors circuit robuste (Stockage de digest) nécessite 4 invariants opérationnels (mapping nonce-drop, unicité, synchronisation, etc.). La liaison dans la preuve réduit ce nombre à 2 invariants (soundness cryptographique et correcte émission par le serveur), éliminant la dépendance à la gestion d'état serveur complexe.
Complexité d'implémentation :
- La solution in-proof (Zairn-ZKP) nécessite beaucoup moins de code serveur (20 lignes vs 110 lignes pour une solution hors circuit robuste) et moins de points de défaillance potentiels.
- Elle évite la nécessité de stocker un état par drop côté serveur, réduisant la charge de base de données et les besoins de nettoyage (Cron jobs).

5. Signification et Conclusion

L'article démontre que pour les systèmes de contenu géolocalisé étatiques, la simple vérification de la proximité géométrique est insuffisante.

Changement de paradigme : Le papier soutient que la liaison du contexte applicatif doit être déplacée de la couche opérationnelle (vérifications serveur/client) vers la couche cryptographique (entrées publiques du circuit ZK).
Avantage décisif : Cette approche offre une sécurité équivalente (voire supérieure en robustesse) aux meilleures solutions hors circuit, mais avec une surface d'hypothèses réduite, une implémentation plus simple et aucun coût de performance supplémentaire.
Impact pratique : Dans les déploiements urbains denses où de nombreux objets partagent les mêmes coordonnées, la liaison in-proof est essentielle pour prévenir le vol de contenu par transfert de preuve, un risque que les solutions basées uniquement sur des nonces de session ne peuvent pas éliminer sans une gestion d'état complexe et coûteuse.

En résumé, ce travail fournit une méthodologie de déploiement sécurisée pour les applications ZK étatiques, prouvant que la sécurité contextuelle peut être obtenue « gratuitement » en termes de performance, au prix d'une conception de circuit plus rigoureuse.