🤖 machine learning

Privacy-Enhanced Zero-Order Federated Learning via xMK-CKKS over Wireless Channels

Ce papier propose un protocole en quatre phases permettant un apprentissage fédéré d'ordre zéro amélioré en matière de confidentialité sur des canaux sans fil en exploitant le schéma de chiffrement homomorphe multi-clé xMK-CKKS pour réaliser une agrégation sécurisée, sans estimation de canal, avec des taux de convergence de $O(1/\sqrt{K})$ , même lorsque le serveur collude avec jusqu'à $N-1$ clients.

Auteurs originaux : Anthony Ayli, Khalil Harris, Jihad Fahs, Mohamad Assaad

Publié 2026-05-29

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Anthony Ayli, Khalil Harris, Jihad Fahs, Mohamad Assaad

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 un groupe d'amis essayant de résoudre ensemble un immense puzzle, mais ils se trouvent tous dans des pièces différentes et ne peuvent pas se montrer leurs pièces. C'est l'Apprentissage Fédéré : chacun entraîne un modèle sur ses propres données privées et envoie des mises à jour à un « enseignant » central (le serveur) pour améliorer la solution du groupe.

Le problème ? Envoyer ces mises à jour révèle généralement des secrets. Si quelqu'un intercepte le message, il pourrait deviner à quoi ressemblent vos données privées.

Pour résoudre cela, les auteurs proposent une nouvelle façon d'envoyer ces mises à jour en utilisant une magie mathématique (Cryptographie Homomorphe) sur les ondes radio. Voici comment leur solution fonctionne, expliquée simplement :

1. Le problème de « Une seule clé pour tous »

La plupart des méthodes de confidentialité existantes utilisent une Clé Unique. Imaginez que tout le monde dans le groupe partage une seule clé maître pour verrouiller et déverrouiller leurs messages.

Le défaut : Si même un ami est « honnête mais curieux » (il suit les règles mais espionne secrètement les messages des autres), il peut déverrouiller toutes les mises à jour car il détient la même clé. Si le téléphone d'une personne est piraté, tout le groupe est exposé.

2. La solution : « Chacun a son propre cadenas »

Cet article introduit un système Multi-Clés (spécifiquement appelé xMK-CKKS).

L'analogie : Au lieu d'une seule clé maître, chaque ami possède son propre cadenas et sa propre clé uniques. Pour ouvrir la boîte finale des réponses, le serveur a besoin d'un petit « morceau de déverrouillage » venant de chaque ami.
L'avantage : Même si le serveur est curieux, ou si $N-1$ amis collaborent avec le serveur, ils ne peuvent toujours pas ouvrir la boîte sans le morceau manquant de l'ami restant. Cela rend le système beaucoup plus sûr.

3. Le défi sans fil : La pièce « en évanouissement »

Habituellement, lorsque vous envoyez un message par ondes (comme le Wi-Fi), le signal est déformé par les murs, la distance et les interférences. C'est ce qu'on appelle l'évanouissement (fading).

L'ancienne méthode : Pour corriger cela, vous devez généralement mesurer l'acoustique de la pièce (Estimation de canal) et ajuster votre voix (Pré-égalisation) pour que l'enseignant vous entende clairement.
La touche de l'article : Mesurer parfaitement la pièce est difficile, et si vous vous trompez légèrement, la « magie mathématique » se brise. Les énormes nombres utilisés pour le chiffrement sont brouillés, et le message est perdu.

4. Le tour de magie : « Chanter dans la même tonalité »

Les auteurs ont réalisé que s'ils envoyaient deux choses en même temps à travers exactement la même distorsion, celle-ci s'annulerait elle-même.

Pensez-y ainsi :

Phase 1 : Vous envoyez une « note de référence » (une clé publique partielle) par les ondes. L'enseignant l'entend déformée.
Phase 2 : Vous envoyez votre « message secret » (la mise à jour chiffrée) par les ondes.
Phase 3 : Vous envoyez une « note d'aide » (un partage de déchiffrement) par les ondes.

Le secret : Parce que la « note de référence » et le « message secret » voyagent à travers les mêmes ondes radio exactement au même moment, ils sont déformés exactement de la même manière. Lorsque l'enseignant les combine plus tard, la distorsion s'annule mathématiquement, tout comme des écouteurs à réduction de bruit.

Résultat : Ils n'ont pas besoin de mesurer la pièce ni d'ajuster leur voix. Ils envoient simplement tout à la fois, et les mathématiques corrigent le signal automatiquement.

5. Apprentissage d'ordre zéro : L'approche « aveugle »

Pour garder les choses rapides et légères, ils utilisent une technique appelée Apprentissage d'Ordre Zéro (ZO).

L'analogie : Au lieu d'envoyer une carte détaillée de tout le puzzle (qui est énorme), chaque ami envoie simplement un seul nombre : « Si je déplace légèrement ma pièce vers la gauche, l'image s'améliore-t-elle ou s'aggrave-t-elle ? »
Pourquoi c'est important : Cela signifie que la quantité de données envoyées est minuscule (un seul nombre par personne), indépendamment de la complexité du puzzle. Cela rend la surcharge de chiffrement petite et gérable.

6. Les résultats : Est-ce que ça marche ?

Les auteurs ont testé cela sur une tâche standard de reconnaissance d'images (identifier les chiffres 0 contre 1).

Le résultat : Le système a appris aussi bien que s'ils n'utilisaient aucun chiffrement. Le « bruit » ajouté par la magie mathématique était si faible qu'il était pratiquement invisible.
La comparaison : Lorsqu'ils ont essayé l'ancienne méthode (mesurer la pièce et ajuster), le système a échoué complètement car les minuscules erreurs de mesure de la pièce ont été amplifiées par les énormes nombres de chiffrement, détruisant le message.

Résumé

Cet article présente une façon sécurisée pour les appareils d'apprendre ensemble sans partager de données privées. Il résout deux grands problèmes :

Sécurité : Il garantit que même si la plupart des utilisateurs sont curieux ou qu'un seul est piraté, les données du groupe restent sûres (Multi-Clés).
Réalité sans fil : Il permet à ce lourd chiffrement de fonctionner sur des canaux sans fil sans avoir besoin de mesurer parfaitement le signal, en envoyant les signaux de référence et de données ensemble pour qu'ils annulent naturellement les interférences.

C'est comme un groupe d'espions échangeant des notes secrètes dans une pièce bruyante : au lieu d'essayer de crier par-dessus le bruit, ils chuchotent un code qui n'a de sens que lorsque deux parties spécifiques du chuchotement sont combinées, effaçant efficacement le bruit de la pièce pour le récepteur.

Résumé technique : Apprentissage fédéré d'ordre zéro amélioré par la vie privée via xMK-CKKS sur des canaux sans fil

1. Énoncé du problème

L'apprentissage fédéré (FL) permet aux appareils périphériques d'entraîner collaborativement des modèles sans partager de données brutes, mais les mises à jour de modèles transmises restent vulnérables aux attaques par inférence. Bien que le chiffrement homomorphe (HE) permette une agrégation préservant la vie privée en autorisant les serveurs à effectuer des calculs sur des données chiffrées, les méthodes existantes de type « HE par voie aérienne » (over-the-air) font face à deux limitations critiques :

Vulnérabilité de sécurité : La plupart des méthodes reposent sur un HE à clé unique, où tous les clients partagent une clé secrète. Cela rend le système vulnérable aux clients « honnêtes mais curieux » (HBC) qui peuvent déchiffrer les mises à jour des autres utilisateurs, et la compromission d'un seul client met en danger l'ensemble du réseau.
Dépendance à l'estimation du canal : Les implémentations existantes de HE multi-clés (spécifiquement xMK-CKKS) nécessitent de grands paramètres cryptographiques (par exemple, un module $q \approx 2^{109}$ à $2^{218}$ ). Combinées à une agrégation par voie aérienne (OTA), les techniques standard d'estimation de canal et de pré-égalisation échouent. Toute erreur résiduelle d'estimation de canal est multipliée par le grand module $q$ lors du déchiffrement, ensevelissant le signal de message (mis à l'échelle par $\Lambda \approx 2^{40}$ ) sous un plancher de bruit massif, provoquant un échec du déchiffrement.

La question centrale abordée est : Peut-on combiner le HE multi-clés avec une agrégation par voie aérienne sans estimer ni compenser le canal sans fil ?

2. Méthodologie

Les auteurs proposent un protocole en quatre phases qui intègre xMK-CKKS (un schéma de HE multi-clés) avec un FL d'ordre zéro (ZO) sur des canaux sans fil à variation lente, dominés par une ligne de vue (LoS) (par exemple, THz en intérieur à courte portée).

Mécanisme central : Annulation algébrique par retransmission de canal

Le protocole évite l'estimation de canal en s'assurant que les clés publiques partielles et les textes chiffrés subissent la même réalisation de canal exacte au cours d'un seul tour de communication. Cela permet aux termes de chiffrement dominants à grand module de s'annuler algébriquement lors du déchiffrement.

Les quatre phases :

Agrégation de clés fraîches (Montée) : Chaque appareil $i$ transmet simultanément sa clé publique partielle $b_i$ . Le serveur reçoit la superposition $\tilde{b}_k = \sum h_{i,k} b_i + \text{bruit}$ . Crucialement, le serveur ne fait pas d'estimation de $h_{i,k}$ ; il diffuse simplement $\tilde{b}_k$ .
Chiffrement (Montée) : Les appareils encodent leurs estimations de gradient ZO ( $m_{i,k}$ ) en utilisant le $\tilde{b}_k$ reçu comme clé publique et transmettent les textes chiffrés $(c_{0}, c_{1})$ . Le serveur les agrège par voie aérienne.
Partage de déchiffrement (Montée) : Le serveur diffuse le $c_1$ agrégé. Les appareils calculent des parts de déchiffrement partielles $D_j$ en utilisant leurs clés secrètes et les transmettent.
Récupération (Descente) : Le serveur combine le texte chiffré agrégé et les parts de déchiffrement. Parce que la clé publique $\tilde{b}_k$ et les parts de déchiffrement ont été générées en utilisant les mêmes coefficients de canal $h_{i,k}$ , le terme impliquant le grand module $q$ s'annule algébriquement :
$\tilde{b}_k + \tilde{S}_k a = \text{termes de bruit faibles}$
où $\tilde{S}_k$ est la somme pondérée par le canal des clés secrètes. Le résultat est un terme de bruit borné indépendant de $q$ , permettant au serveur de récupérer le message agrégé.

Intégration d'ordre zéro

Le protocole utilise l'estimation de gradient d'ordre zéro, où chaque appareil transmet uniquement un scalaire chiffré unique par tour. Cela garantit que la surcharge de communication et de chiffrement est indépendante de la dimension du modèle $d$ , rendant le schéma évolutif. La perturbation du canal est traitée comme une perturbation bornée au sein de l'algorithme d'apprentissage plutôt que comme une erreur à éliminer.

3. Contributions clés

HE multi-clés agnostique au canal : L'article propose le premier protocole permettant l'agrégation xMK-CKKS sur un canal sans fil partagé sans acquisition d'information d'état de canal (CSI) ni pré-égalisation.
Annulation algébrique : Il démontre que la retransmission des clés publiques partielles et des textes chiffrés à travers la même réalisation de canal provoque l'annulation algébrique des termes de chiffrement à l'échelle $q$ . Cela empêche l'incertitude du canal de se manifester comme une erreur amplifiée par $q$ qui détruirait autrement le déchiffrement.
Analyse de convergence : Les auteurs prouvent que le protocole préserve le taux de convergence standard du FL-ZO de $O(1/\sqrt{K})$ jusqu'à un plancher de bruit négligeable. Le bruit résiduel du canal et du chiffrement entre dans l'estimateur de gradient sous forme de perturbations bornées.
Sécurité améliorée : Le schéma est sécurisé contre un serveur HBC colludant avec jusqu'à $N-1$ clients, une amélioration significative par rapport aux schémas HE à clé unique où un seul client compromis brise le système.
Validation de faisabilité : Les résultats numériques sur MNIST valident que le protocole fonctionne avec des paramètres RLWE standards ( $n=4096, 8192$ ) et que le bruit décodé est négligeable par rapport au bruit du canal.

4. Résultats

Convergence : L'analyse théorique (Théorème 2) montre que l'algorithme converge vers un voisinage de la solution optimale avec un plancher de bruit $\rho$ . Pour les paramètres testés ( $n=4096/8192$ , $\Lambda=2^{40}$ ), le plancher de bruit est d'environ $10^{-16}$ , ce qui est négligeable par rapport au bruit de canal typique.
Performance : Les expériences sur MNIST (classification 0 contre 1) montrent que le protocole chiffré atteint une précision de test à moins de 1 % de la référence non chiffrée.
Échec des alternatives : L'article démontre que la pré-égalisation standard basée sur la CSI (Zero-Forcing ou MMSE) échoue complètement dans le contexte multi-clés. Même avec de petites erreurs d'estimation de canal ( $\sigma_{pilot}=0.1$ ), l'erreur résiduelle est multipliée par $q$ , provoquant une divergence immédiate de la perte d'entraînement (saturant près de $10^{14}$ ).
Surcharge : La surcharge de communication par appareil est indépendante de la dimension du modèle. Avec une bande passante de 1 THz, les temps de transmission sont inférieurs à 8 ms, s'inscrivant dans le temps de cohérence des canaux THz statiques en intérieur.

5. Signification et revendications

L'article revendique que le CKKS à clé unique peut s'étendre à de grands modules par voie aérienne en utilisant le formation de faisceaux, mais que le contexte multi-clés est fondamentalement différent. Dans le HE multi-clés, l'annulation des grands termes de clés repose sur une identité algébrique entre la clé publique agrégée et les parts de déchiffrement. Si ces termes subissent des coefficients de canal différents (en raison d'erreurs d'estimation ou de canaux variant dans le temps), l'annulation échoue et le résidu à l'échelle $q$ détruit le message.

La signification de ce travail réside dans la résolution de ce conflit en sacrifiant l'estimation de canal pour la cohérence du canal. En retransmettant les clés et les données à travers la même réalisation d'évanouissement, le protocole garantit que l'annulation algébrique tient sans avoir besoin de connaître le canal. Cela permet :

Une sécurité plus forte : Protection multi-clés contre la collusion.
Une robustesse : Fonctionnement sans acquisition complexe de CSI ni formation de faisceaux.
Une évolutivité : Une surcharge de communication d'ordre zéro qui ne croît pas avec la taille du modèle.

Les auteurs concluent que si le protocole convient actuellement aux liens à variation lente dominés par la LoS (comme les THz en intérieur fixes), il établit une méthode fondamentale pour combiner une forte confidentialité cryptographique avec l'efficacité du calcul par voie aérienne. Les travaux futurs suggérés incluent la réduction de la surcharge de retransmission des clés et la combinaison du protocole avec la vie privée différentielle.