Chiffrement homomorphe

Conclusion

En conclusion, cette étude non seulement valide OpenFHE comme référence actuelle en FHE, mais aussi met en lumière les interactions subtiles entre paramètres cryptographiques, matériels et logiciels. Les pistes proposées, combinées à l'évolution rapide des architectures matérielles, pourraient accélérer l'adoption du chiffrement homomorphe dans des secteurs où la confidentialité est non négociable, comme la santé ou la finance décentralisée.

4 L'étude de Thi Van Thao DOAN et al.[24] vise à présenter aux lecteurs les principes fondamentaux des schémas de chiffrement homomorphe (HE) sans entrer dans des détails mathématiques complexes.

Analyse comparative

Cet article propose une comparaison théorique et pratique exhaustive des principaux schémas

HE, couvrant les trois catégories existantes:

-- FHE (chiffrement entièrement homomorphe)

-- SWHE (chiffrement partiellement homomorphe à capacités limitées)

-- PHE (chiffrement partiellement homomorphe)

Méthodologie d'analyse

Pour chaque famille de schémas, nous analysons:

-- Les paramètres d'entrée et leurs contraintes opérationnelles

-- Les compromis sécurité/performance via une méthodologie comparative

Bénéfices pratiques

Cette approche permet aux praticiens non experts de :

CHAPITRE 4. ETUDE DE L'EXISTANT 47

-- Distinguer les propriétés des bibliothèques existantes

-- Faciliter leur intégration dans des projets HE personnalisés Étude expérimentale

Composant Détails

Bibliothèques testées SEAL , PALISADE , HELib, HEAAN

Implémentations personnelles Paillier, ElGamal, RSA (pour les schémas PHE non disponibles dans les bibliothèques open-source)

Méthodologie Mesures de performance par cas d'usage avec interprétation

des résultats

Analyse de sécurité

Une évaluation rigoureuse couvre:

-- Résistance aux attaques IND-CPA et IND-CCA

-- Vulnérabilités face à la factorisation entière sur:

-- Ordinateurs classiques

-- Ordinateurs quantiques

Conclusion

Cette étude fournit ainsi un cadre opérationnel pour le choix éclairé de schémas HE selon les

contraintes applicatives.

5 L'étude Shereen Mohamed Fawaz, Nahla Belal, Adel ElRefaey, Mohamed Waleed Fakhr [29] évalue les performances des schémas BFV (exact) et CKKS (approximatif) via la bibliothèque Microsoft SEAL, en se concentrant sur trois opérations arithmétiques homomorphes : addition, multiplication et mise au carré de vecteurs. L'étude intègre une analyse temporelle détaillée et une gestion critique du bruit cryptographique.

Méthodologie expérimentale

Les expériences sont réalisées avec des vecteurs de taille 2ⁿ et des paramètres de chiffrement adaptés à chaque schéma:

-- BFV : Paramètres incluant le degré du polynôme modulus (2ⁿ ), le modulus du texte chiffré et le modulus du texte en clair.

-- CKKS : Paramètres similaires mais sans modulus du texte en clair, utilisant une technique d'encodage différente.

Résultats clés

Comparaison des temps d'exécution:

-- Multiplication BFV : Nécessite 5 étapes (encodage, chiffrement, multiplication, déchiffrement, décodage). Le temps total augmente avec la taille des vecteurs, les étapes les plus coûteuses étant le chiffrement (4720us pour 4096 éléments) et la multiplication.

-- Addition BFV : Moins coûteuse que la multiplication (62us contre 4720us pour 4096 éléments).

-- CKKS : L'encodage et le chiffrement dominent le temps d'exécution, avec des performances variables selon la taille des vecteurs.

Mémoire de Master 2 Recherche 47 MOUYOUME DIEUDONNE(c) UYI

CHAPITRE 4. ETUDE DE L'EXISTANT 48

Impact du bruit et relinéarisation :

La multiplication séquentielle réduit progressivement le budget de bruit. Le BFV permet 3 multiplications séquentielles pour 4096 éléments grâce à la relinéarisation, une technique réduisant la taille des textes chiffrés (au prix d'un coût computationnel élevé). Le CKKS ne permet que 2 multiplications pour la même taille. Pour les grandes tailles de vecteurs (8192, 16384), le CKKS devient moins performant que le BFV en termes de multiplications séquentielles.

Performances comparées BFV et CKKS :

-- Addition : BFV surpasse CKKS pour toutes les tailles.

-- Mise au carré : BFV est plus rapide pour 4096 et 8192 éléments, mais CKKS légèrement meilleur pour 16384.

-- Multiplication : BFV reste plus efficace globalement.

Cette étude souligne l'arbitrage entre précision (BFV) et flexibilité (CKKS), tout en mettant en avant l'impact critique de l'optimisation des paramètres et de la gestion proactive du bruit. Les résultats orientent le choix de schéma selon les cas d'usage, avec des pistes prometteuses pour l'intégration du FHE dans l'infrastructure de calcul sécurisé.

6 L'étude de Kim et al. [36], publiée en 2021 propose une analyse comparative des schémas de chiffrement homomorphe BGV et BFV, avec des variantes améliorées implémentées dans la bibliothèque PALISADE. Nous démontrons un contrôle optimal du bruit cryptographique selon les paramètres opérationnels, combinant évaluation théorique et benchmarks expérimentaux. Les résultats révèlent des compromis performance/précision dépendant du module de texte en clair t, avec des gains allant jusqu'à 4× en multiplication homomorphe.

Contexte et Objectifs

Leurs travail s'inscrit dans l'optimisation des schémas HE de seconde génération. Les

objectifs clés incluent:

-- Implémentation unifiée des variantes BGV/BFV dans PALISADE

-- Analyse comparative de la complexité computationnelle

-- Évaluation empirique via des benchmarks reproductibles

Méthodologie

Implémentation PALISADE

Ils ont développé des modules spécifiques intégrant:

BFV optimisé: E(m) = (c0,c1) ? ZQ[X]/(Xⁿ + 1)² (4.1)

avec gestion adaptative du modulus Q selon le profil de bruit.

Comparaison théorique

Pour les opérations primaires , ils analysent: -- Coût en multiplications modulaires

Mémoire de Master 2 Recherche 48 MOUYOUME DIEUDONNE(c) UYI

CHAPITRE 4. ETUDE DE L'EXISTANT 49

Mémoire de Master 2 Recherche 49 MOUYOUME DIEUDONNE(c) UYI

-- Profondeur de réduction de bruit

-- La taille des clés dérivées

Résultats

Contrôle du bruit

Leur variante BFV réduit l'expansion de bruit de 15% vs. BGV pour t > 2²⁰, inversant les

tendances antérieures.

Performances opérationnelles

-- BFV : 2.1× plus rapide pour t = 2 (OPérations/s)

-- BGV : Supériorité à partir de t = 210

-- Multiplication homomorphe : 4× accélération sur 10 niveaux