Hachage dans les systèmes: intégrité, arbres et preuves

Hachage dans les systèmes: intégrité, arbres et preuves

Regrouper les usages systémiques du hachage: empreintes, arbres, preuves, déduplication, chaînes d’intégrité et limites de sécurité.

Chapitre 17 Intermédiaire · Expert 16 pages

Objectif du chapitre

Regrouper les usages systémiques du hachage: empreintes, arbres, preuves, déduplication, chaînes d’intégrité et limites de sécurité.

Notions à couvrir

• Empreinte de fichier et vérification de téléchargement
• Arbres de Merkle et preuves d’appartenance
• Preuves de stockage et attaques associées
• Hachage algébrique et contraintes ZK
• Déduplication, engagement faible et fuite d’existence
• Hachage dans blockchains, journaux transparents et supply chain

Sous-sections

Intégrité de fichiers [Débutant]

• Digest publié
• Téléchargement
• Miroir
• Signature au-dessus du hash
• Collision dans le contexte

Arbres et journaux [Intermédiaire]

• Merkle tree
• Preuve d’inclusion
• Certificate Transparency
• Transparence de packages
• Audit append-only

Stockage et fuites [Expert]

• Proofs of storage
• Déduplication
• Fuite de présence
• Données à faible entropie
• Salage quand il faut

Contraintes avancées [Expert]

• Hash dans circuit ZK
• Hash algébrique
• Coût de preuve
• Domain separation

Exemples et ateliers

• Construire une preuve d’inclusion Merkle
• Vérifier un artefact logiciel avec hash et signature
• Analyser une déduplication côté client

Pièges classiques

• Publier uniquement un hash pour prouver l’authenticité
• Utiliser un hash rapide sur données devinables
• Oublier le contexte signé
• Choisir un hash coûteux sans raison

À ne pas confondre

• Empreinte et signature
• Arbre de Merkle et blockchain
• Proof of storage et sauvegarde vérifiée
• Hash algébrique et hash généraliste

Points à vérifier

• à vérifier : choix de hachages algébriques si des exemples ZK sont développés.