Catalogue en ligne Service de la Documentation et des Archives de la Faculté des Sciences et Techniques

SERVICE DE LA DOCUMENTATION ET DES ARCHIVES DE LA FST

Accueil

Protocoles non-interactifs de preuve à divulgation nulle de connaissance (NIZK) pour la sécurité des systèmes distribués / Mouhamed FALL (2026)

Public
ISBD

Titre :

Protocoles non-interactifs de preuve à divulgation nulle de connaissance (NIZK) pour la sécurité des systèmes distribués

Type de document :

texte imprimé

Auteurs :

Mouhamed FALL, Auteur

Editeur :

Université Cheikh Anta Diop de Dakar : Faculté des Sciences et Techniques : Département de Mathématiques-Informatique

Année de publication :

2026

Importance :

1vol.(106p.)

Présentation :

30cm.

Format :

PDF

Langues :

Français (fre)

Mots-clés :

Réseau Sécurité des systèmes distribués Protocole de Schnorr Transformation de Fiat-Shamir Implémentation Python Application web Attaque Simulation.

Résumé :

Ce mémoire étudie les protocoles de preuve à divulgation nulle de connais-sance non-interactifs (NIZK) et leur application à la sécurité des systèmes distribués. Ces protocoles permettent à une entité de prouver qu'elle possède un secret sans jamais le révéler, et sans nécessiter d'échange direct avec le véri˝cateur une propriété fondamentale dans les réseaux où la communi-cation est limitée ou non ˝able. Après avoir établi les bases mathématiques et cryptographiques nécessaires, le protocole de Schnorr est analysé puis trans-formé en preuve non-interactive via la transformation de FiatShamir. Les constructions avancées telles que les zk-SNARKs sont également présentées. Une implémentation complète est réalisée en Python et déployée sous forme d'application web, permettant de simuler des scénarios d'attaque réels rejeu de preuve, usurpation d'identité, tentative de forge et véri˝cation dis-tribuée mu

Permalink :

https://bibliothequefst.ucad.sn/index.php?lvl=notice_display&id=3741