Calculer, engager et anonymiser avec des primitives spécialisées
Calculer, engager et anonymiser avec des primitives spécialisées
Section intitulée « Calculer, engager et anonymiser avec des primitives spécialisées »Regrouper les primitives avancées qui protègent des calculs, des engagements ou des identités, tout en exposant leurs coûts et leurs fuites résiduelles.
Objectif du chapitre
Section intitulée « Objectif du chapitre »Regrouper les primitives avancées qui protègent des calculs, des engagements ou des identités, tout en exposant leurs coûts et leurs fuites résiduelles.
Notions à couvrir
Section intitulée « Notions à couvrir »- Engagements: commit/reveal, binding et hiding
- Mise en gage, accumulateurs à sens unique, preuves d’appartenance et non-appartenance
- Transfert inconscient, signatures aveugles, signatures inconscientes, signatures de groupe, signatures en anneau et credentials anonymes
- MPC, circuits brouillés, prétraitement, modèles malveillants et applications institutionnelles
- Chiffrement homomorphe partiel, somewhat et fully homomorphic, bruit et bootstrapping
- Diffusion anonyme, mixnets, private set intersection, differential privacy vs cryptographie
Sous-sections
Section intitulée « Sous-sections »S’engager maintenant, révéler plus tard [Intermédiaire]
Section intitulée « S’engager maintenant, révéler plus tard [Intermédiaire] »- Commit
- Reveal
- Binding
- Hiding
- Mise en gage
- Applications
Prouver l’appartenance efficacement [Expert]
Section intitulée « Prouver l’appartenance efficacement [Expert] »- Accumulateur à sens unique
- Witness
- Révocation
- Non-membership
- Identité
- Coûts
Calculer sans exposer les entrées [Expert]
Section intitulée « Calculer sans exposer les entrées [Expert] »- MPC
- Garbled circuits
- FHE
- Bruit
- Bootstrapping
- Coûts réalistes
Anonymat cryptographique [Expert]
Section intitulée « Anonymat cryptographique [Expert] »- Blind signatures
- Signatures inconscientes
- Group/ring signatures
- OT / transfert inconscient
- Mixnets
- PSI
- Métadonnées
Exemples et ateliers
Section intitulée « Exemples et ateliers »- Concevoir un protocole commit/reveal de tirage au sort
- Choisir entre ZK, MPC et FHE pour un calcul privé
- Analyser les fuites d’un système de credentials anonymes
Pièges classiques
Section intitulée « Pièges classiques »- Utiliser FHE pour un problème où AEAD suffit
- Ignorer les métadonnées
- Oublier la révocation
- Confondre anonymat cryptographique et conformité
- Négliger le modèle de participants malveillants
À ne pas confondre
Section intitulée « À ne pas confondre »- Engagement et chiffrement
- MPC et partage de secret
- FHE et chiffrement de stockage
- Signature aveugle et signature anonyme
Points à vérifier
Section intitulée « Points à vérifier »à vérifier: maturité production des bibliothèques FHE/MPC retenues.