💻 computer science

Plausible Deniability in Fully Homomorphic Computation

Cet article introduit PD-FHC, un cadre de déni plausible pour le calcul homomorphe complet qui utilise un câblage de porte Fredkin unique sur des images RVB pour exécuter simultanément un véritable circuit booléen et plusieurs leurres, permettant ainsi aux utilisateurs d'externaliser des calculs vers des nuages non fiables tout en maintenant une confidentialité de position informationnelle et la capacité de révéler un leurre vérifiable en cas de coercition.

Auteurs originaux : Shahzad Ahmad, Stefan Rass, Zahra Seyedi

Publié 2026-07-13

📖 8 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Shahzad Ahmad, Stefan Rass, Zahra Seyedi

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 un technicien de laboratoire photo devant effectuer un calcul secret et privé sur un lot d'images. Peut-être devez-vous vérifier si une mesure spécifique dans une photo est supérieure à une certaine limite. Mais il y a un piège : vous devez envoyer ces photos à un ordinateur dans le cloud en lequel vous n'avez pas entièrement confiance.

Habituellement, si vous voulez garder vos données secrètes, vous utilisez le Chiffrement Totalement Homomorphe (FHE). Voyez cela comme le fait de mettre vos photos dans une boîte en verre incassable et luminescente. Le cloud peut toujours effectuer des calculs sur la boîte, mais il ne peut pas voir ce qu'il y a à l'intérieur. Le problème ? La boîte luminescente est un signal flagrant. Si un adversaire autoritaire et coercitif (comme un agent gouvernemental ou un patron strict) exige de savoir ce que vous faites, il peut pointer du doigt la boîte luminescente et dire : « Vous êtes certainement en train de faire des calculs secrets ! Donnez-moi la clé ! » Vous ne pouvez pas nier, car la boîte elle-même hurle « Secret ! ».

Ce document présente une nouvelle astuce ingénieuse appelée PD-FHC (Plausible Deniability in Fully Homomorphic Computation - Dénégation plausible dans le calcul totalement homomorphe). Au lieu d'une boîte luminescente, imaginez que vous cachez votre calcul secret à l'intérieur d'un immense filtre d'image d'apparence ordinaire.

Le tour de magie : Un câblage, plusieurs histoires

Voici comment fonctionne la magie, en utilisant une analogie ludique :

Imaginez que vous avez une grille géante de 12 000 petits interrupteurs lumineux (ce sont les pixels d'une image). Vous voulez effectuer un calcul secret en utilisant un motif spécifique d'interrupteurs (votre « vrai » circuit). Mais vous voulez aussi pouvoir raconter une histoire différente si quelqu'un vous force à expliquer ce que vous avez fait.

Les auteurs utilisent un type spécial d'interrupteur appelé porte Fredkin. Voyez la porte Fredkin comme un agent de circulation magique pour trois voies de données. Il possède un bit de contrôle (un petit drapeau) qui décide de son action :

Si le drapeau est baissé, il laisse les voitures passer tout droit.
Si le drapeau est levé, il échange les voitures dans les deux voies latérales.

Maintenant, voici la partie géniale : le fournisseur de cloud ne voit que les instructions de l'agent de circulation (le câblage), pas les drapeaux.

La configuration : Vous prenez votre calcul secret et le transformez en un motif spécifique de drapeaux. Vous inventez également plusieurs calculs « leurres » (comme vérifier la luminosité ou l'équilibre des couleurs de l'image) et les transformez en différents motifs de drapeaux.
L'intégration : Vous cachez les drapeaux de votre calcul secret dans quelques interrupteurs spécifiques. Vous cachez les drapeaux de vos calculs leurres dans d'autres interrupteurs. Pour chaque interrupteur restant dans l'image, vous le remplissez de bruit aléatoire.
Le travail du cloud : Vous envoyez l'image au cloud. Vous lui dites : « S'il vous plaît, applique ce motif d'agent de circulation spécifique sur chaque interrupteur de l'image. » Le cloud ne sait pas quels interrupteurs détiennent votre secret, lesquels détiennent un leurre, et lesquels sont juste du bruit aléatoire. Ils appliquent simplement la même règle à tout le monde, en même temps.
Le résultat : Parce que les drapeaux (les bits de contrôle) sont différents pour chaque groupe d'interrupteurs, l'agent de circulation finit par effectuer votre calcul secret sur les interrupteurs secrets, un calcul leurre sur les interrupteurs leurres, et un calcul de bruit aléatoire sur le reste.

Le moment de la « Dénégation Plausible »

Maintenant, imaginez que l'adversaire coercitif se présente. « Que calculiez-vous ? » demande-t-il.

Vous ne pouvez pas dire : « Je faisais des calculs secrets », car c'est la vérité. Mais vous pouvez dire : « Oh, j'étais juste en train de vérifier la luminosité de ces pixels spécifiques ! » Vous pointez alors l'un de vos circuits leurres.

L'adversaire vérifie les calculs. Il voit les drapeaux que vous avez cachés, il voit le résultat, et il vérifie que le calcul fonctionne parfaitement. Il n'a aucun moyen de savoir que c'était un simple leurre. Le « vrai » calcul secret est toujours caché parmi le bruit aléatoire et les autres leurres, ressemblant exactement au reste de l'image.

Ce que ce document prouve (et ce qu'il ne prouve pas)

Les auteurs sont très prudents quant à ce qu'ils prétendent avoir résolu et ce qui reste un mystère.

Ce qui est prouvé :

Le secret de la « Position » : Si vous remplissez votre image de bruit aléatoire qui correspond au motif statistique de vos données secrètes, le fournisseur de cloud ne peut pas savoir où se trouvent vos interrupteurs secrets. C'est comme essayer de trouver un grain de sable spécifique sur une plage quand chaque grain semble exactement identique. Le document prouve que, dans ces conditions spécifiques, la chance du cloud de deviner le bon endroit n'est pas meilleure qu'un choix aléatoire.
Le secret de l'« Existence » : Si vous êtes contraint de révéler certains de vos circuits, vous pouvez révéler les leurres. Le document prouve que l'adversaire ne peut pas prouver que des circuits supplémentaires existent au-delà de ceux que vous avez révélés. C'est comme un magicien qui vous montre quelques poches vides ; vous ne pouvez pas prouver qu'il n'y a pas une poche cachée qu'il ne vous a pas montrée.

Ce qui est exclu ou non résolu :

Pas de calcul « Invisible » : Le document stipule explicitement que cela ne cache pas le fait qu'un calcul est en cours. Le cloud sait qu'un calcul est exécuté parce qu'il est en train de le faire. La magie réside uniquement dans le fait de cacher quel calcul est effectué et où se trouvent les données secrètes.
Pas d'obfuscation « Magique » : Les auteurs rejettent l'idée d'utiliser des astuces cryptographiques complexes pour cacher la structure du circuit (le câblage). Ils admettent que le câblage est visible pour le cloud. La seule chose cachée est la signification des portes, qui provient des drapeaux cachés.
Pas de couverture « Parfaite » pour n'importe quelle image : Vous ne pouvez pas simplement prendre une photo de vacances aléatoire et y cacher votre secret. Le document soutient que si le « bruit » naturel de la photo ne correspond pas au bruit aléatoire que vous ajoutez, un détecteur intelligent pourrait repérer la différence. Vous devez utiliser une histoire de couverture qui attend une forte présence de hasard (comme un service de tramage ou un outil d'injection de bruit). Si vous essayez de cacher votre secret dans une photo normale, vous pourriez vous faire prendre.

À quel point en sont-ils sûrs ?

Les auteurs sont très confiants dans leurs mathématiques, mais honnêtes sur les limites.

Les Mathématiques : Ils ont prouvé que si vous suivez leurs règles (en faisant correspondre parfaitement le bruit aléatoire), l'avantage du cloud pour trouver votre secret est exactement de zéro. Ce n'est pas une supposition ; c'est une certitude mathématique basée sur les propriétés de la porte Fredkin.
Le Monde Réel : Ils ont effectué des simulations (tests informatiques) avec des images allant de 128x128 pixels jusqu'à 512x512 pixels et des circuits de 5 à 302 portes. Ces tests ont montré que le système est suffisamment rapide pour être pratique, rivalisant avec les outils de chiffrement existants.
Le Point Faible : La seule chose pour laquelle ils n'ont pas de preuve formelle est la partie « sémantique ». Pouvez-vous toujours inventer une histoire de leurre qui semble crédible ? Par exemple, si vous affirmez que vous vérifiez la « luminosité de l'image », est-ce que le calcul ressemble réellement à une vérification de luminosité ? Le document admet que cela nécessite de la créativité humaine et des connaissances métier. C'est une histoire « plausible », mais le document ne prouve pas que vous pouvez l'automatiser parfaitement.

L'essentiel à retenir

Ce document propose un moyen d'externaliser des calculs secrets vers le cloud sans laisser un panneau lumineux indiquant « Je fais des secrets ! ». Il transforme votre calcul secret en une aiguille dans une botte de foin, où la botte de foin est remplie d'autres aiguilles qui se ressemblent exactement. Si quelqu'un vous force à montrer une aiguille, vous pouvez lui en montrer une fausse qui réussit tous les tests.

Ce n'est pas un bouclier magique qui rend le calcul invisible, et cela ne fonctionne pas si vous essayez de le cacher dans le mauvais type d'image. Mais pour la bonne configuration, cela vous donne un nouveau super-pouvoir : la capacité de dire : « Je faisais juste cette chose ennuyeuse », et de faire en sorte que les mathématiques prouvent que vous avez raison.

Résumé Technique : Déni plausible dans le calcul homomorphe entièrement protégé (PD-FHC)

1. Énoncé du problème

L'externalisation du calcul à des fournisseurs de services infonuagiques (cloud) non fiables expose les utilisateurs à deux menaces distinctes que les technologies existantes ne parviennent pas à traiter simultanément :

Confidentialité computationnelle : Protéger les données contre des fournisseurs « honnêtes mais curieux » (traitée par le chiffrement homomorphe entièrement (FHE) et les environnements d'exécution de confiance (TEE)).
Déni plausible : La capacité de nier de manière crédible l'existence ou l'intention d'un calcul lorsqu'on est contraint par un adversaire puissant.

Les solutions actuelles présentent des lacunes critiques :

FHE : Bien qu'il masque les valeurs des données, la transmission des chiffrés est manifeste. Un adversaire coercitif peut exiger les clés de déchiffrement, et l'utilisation même du FHE confirme qu'un calcul privé est en cours.
TEE : Ils produisent des journaux d'attestation qui servent de preuve indéniable d'exécution. De plus, ils sont vulnérables aux fuites par canaux auxiliaires.
Calcul multi-parties sécurisé (MPC) : Bien qu'il soit robuste contre la révélation de la part d'une seule partie, il ne permet pas aux participants de nier que le calcul a eu lieu ou de substituer un autre calcul.
Chiffrement/Stockage déniable : Ils traitent les données statiques (messages ou fichiers) mais ne s'étendent pas à l'intention computationnelle dynamique.

Le document identifie une lacune où un utilisateur doit externaliser un calcul booléen tout en conservant la capacité de nier ce qui a été calculé et, pour un observateur externe, que le calcul a eu lieu.

2. Méthodologie

Les auteurs proposent le PD-FHC, un cadre qui intègre des calculs booléens dans un milieu de couverture (spécifiquement des images RGB) en utilisant des portes de Fredkin et la stéganographie du bit de poids faible (LSB).

Mécanisme central :

Câblage partagé, sémantique variable : Le cadre utilise un câblage unique et fixe de portes de Fredkin universelles. Une porte de Fredkin est une porte réversible à 3 entrées/3 sorties où un bit de contrôle détermine si les deux bits de données sont permutés.
- Si le bit de contrôle est 0, la porte agit comme un passage direct (pass-through).
- Si le bit de contrôle est 1, la porte permute les deux bits de données.
- En définissant les bits de contrôle via des données intégrées, le même câblage physique peut implémenter différentes fonctions logiques (ex: ET, OU, NON, ou des circuits complexes) à différents emplacements.
Intégration multi-emplacements : L'utilisateur (Alice) intègre un circuit « réel » et $L-1$ $L - 1$ circuits « leurres » dans les LSB d'une image.
- Circuit Réel : Intégré à un ensemble secret de positions $\Lambda_{j^*}$ .
- Circuits Leurres : Intégrés à d'autres ensembles de positions disjoints $\Lambda_j$ .
- Bits de remplissage (Fill Bits) : Toutes les positions LSB restantes sont remplies de bits tirés d'une distribution spécifique $\pi$ .
Traitement uniforme : Le fournisseur de services cloud (Carol) reçoit l'image et la spécification du câblage ( $C_{obf}$ ). Elle applique la porte de Fredkin de manière uniforme à chaque position de pixel en parallèle. Elle ne sait pas quelles positions contiennent des données réelles, des données leurres ou du bruit de remplissage.
Réponse à la coercition : Si elle est contrainte, Alice révèle les ensembles de positions, les entrées et les sorties pour un circuit leurre. Parce que le câblage est identique et que le circuit leurre produit des résultats vérifiables cohérents avec la sortie du cloud, l'adversaire ne peut distinguer le leurre du calcul réel.

Fondements théoriques :

Milieu de calcul déniable (DCM) : Un cadre abstrait définissant un milieu avec des positions de bits adressables, des capacités de lecture/écriture et une famille de portes s'appliquant uniformément.
Condition de marginalité appariée (Matched-Marginal Condition) : Pour une sécurité informationnelle, les bits aux positions réelles, aux positions leurres et aux positions de remplissage doivent être tirés de la même loi de probabilité par position $\pi$ . Sous cette condition, le plan LSB est « échangeable », ce qui signifie que la distribution statistique de l'image est invariante par rapport à la permutation des positions.

3. Contributions clés

Cadre Abstrait : Définition d'un Milieu de Calcul Déniable (DCM) et d'un Schéma de Calcul Déniable (DCS) qui séparent le modèle de sécurité du milieu de couverture spécifique (ex: images, audio, paquets).
Formalisation du modèle de menace : Un modèle en deux phases distinguant :
- Cloud Honnête-mais-Curieux (HBC) : Concerné par la confidentialité computationnelle (cacher les données).
- Adversaire Coercitif : Concerné par le déni plausible (cacher l'existence et l'intention du calcul).
  Les auteurs définissent de nouveaux jeux de coercition multi-tours mesurant la « distinction d'existence » (l'adversaire peut-il prouver l'existence de circuits cachés ?) et la « découverte de circuit » (l'adversaire peut-il identifier le circuit réel parmi les leurres révélés ?).
Instanciation basée sur l'image : Une implémentation concrète utilisant des images RGB et des portes de Fredkin.
- Preuve de confidentialité de position : Sous la condition de marginalité appariée, le papier prouve que le fournisseur de cloud obtient un avantage nul (informationnellement) pour localiser les positions du circuit réel par rapport à un choix aléatoire, quelle que soit la distribution $\pi$ .
- Dissimulation partielle du circuit : Le câblage est visible, mais la sémantique des portes est cachée. Le papier prouve que sans la connaissance des bits de contrôle, le câblage ne révèle rien sur la fonction qui est calculée.
Implémentation et Benchmarking : Une implémentation Python testée sur des tailles de circuits (5 à 302 portes) et des dimensions d'images ( $128^2$ à $512^2$ ).

4. Résultats

Garanties de sécurité :
- Confidentialité computationnelle : Le cloud n'apprend rien sur les valeurs secrètes des données ou la fonction spécifique calculée, à condition que la famille de portes préserve la distribution statistique des positions non secrètes (une propriété que les portes de Fredkin satisfont via la permutation de bits).
- Dissimulation de l'existence : Sous la condition de marginalité appariée, l'avantage d'existence est exactement de zéro. Un adversaire ne peut pas distinguer une image contenant uniquement des bits de remplissage d'une image contenant des circuits cachés.
- Découverte de circuit : L'avantage d'identifier le circuit réel parmi les leurres non révélés est limité par la plausibilité sémantique des leurres et la fuite par canaux auxiliaires. Les vecteurs de position et de câblage contribuent de zéro à l'avantage de l'adversaire.
Performance : L'implémentation montre des performances compétitives avec TFHE (une bibliothèque FHE de pointe) pour les circuits booléens tout en offrant un déni que le FHE ne peut offrir.
Imperceptibilité visuelle : La modification des LSB entraîne un décalage maximal de $\pm 1$ par canal, produisant un PSNR > 50 dB, rendant les changements imperceptibles à l'œil nu.

5. Signification et Revendications

Le papier affirme être le premier cadre capable de satisfaire simultanément la confidentialité computationnelle, la dissimulation d'existence (contre les observateurs externes) et la dissimulation partielle de circuit (contre le fournisseur de cloud).

Revendications modérées et limites :

Portée de la plausibilité du support : Les auteurs déclarent explicitement que le PD-FHC ne fonctionne pas pour des images arbitraires (ex: clichés de vacances). Le service de couverture doit légitimement attendre des entrées LSB à haute entropie (ex: dithering, injection de bruit, ou traitement dans le domaine chiffré). Si le service déclaré attend des images naturelles, le plan LSB uniforme requis pour la sécurité devient détectable.
Contraintes sur les entrées réelles : La garantie de l'avantage nul informationnel ne tient exactement que si les bits d'entrée réels suivent également la même distribution $\pi$ que les bits leurres et de remplissage. Pour des entrées réelles structurées, l'avantage est limité par la distance statistique ( $\Delta$ ) entre la distribution des entrées réelles et $\pi$ .
Plausibilité sémantique : La sécurité contre la découverte de circuits repose sur la $\epsilon$ -plausibilité des circuits leurres. Le papier admet que la construction de leurres sémantiquement crédibles (ex: un test de luminosité vs un hachage cryptographique) est une tâche manuelle et spécifique au domaine, et n'est pas encore automatisée.
Attaques actives : Le cadre suppose un cloud honnête-mais-curieux et des observateurs externes passifs. Il ne protège pas contre des attaquants actifs qui pourraient modifier l'image ou refuser de calculer.
Absence d'obfuscation cryptographique : Le papier évite explicitement de revendiquer une obfuscation de circuit cryptographique (sujet à des résultats d'impossibilité). L'« obfuscation » est purement stéganographique, reposant sur les bits de contrôle cachés pour varier la sémantique des portes.

En résumé, le PD-FHC offre une nouvelle approche de l'externalisation du calcul où l'utilisateur peut nier de manière crédible l'intention spécifique du calcul en présentant une fonction alternative vérifiable qui est indiscernable de la réelle sous la coercition, à condition que les conditions statistiques du milieu de couverture soient respectées.