BENNATAN, M. Adrien (2021) Implémentation du protocole de preuve à divulgation nulle de connaissance KKW pour SHA-256 PRE - Projet de recherche, ENSTA.
Fichier(s) associé(s) à ce document :
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 454Kb |
Résumé
Les protocoles de preuve à divulgation nulle de connaissance sont des protocoles qui permettent à un fournisseur de preuve de prouver mathématiquement la connaissance d'un secret à un vérificateur, sans divulguer aucune information sur ce secret. Dans un premier temps, le protocole KKW et son implémentation pour SHA-256 en partant du schéma de signature Picnic sont présentés. Ensuite, il s'agit de mesurer les performances obtenues et de discuter de la viabilité de KKW dans le contexte du protocole MLS (Messaging Layer Security), pour sécuriser une conversation de groupe chiffrée. Pour finir, la plateforme Cairo, qui propose une manière automatisée de prouver l'exécution correcte d'un programme, est abordée.
| Type de document: | Rapport ou mémoire (PRE - Projet de recherche) |
|---|---|
| Mots-clés libres: | Preuve à divulgation nulle de connaissance, SHA-256, MLS, Calcul Multipartite Sécurisé, Fiat-Shamir, circuit booléen, arbre de Merkle, STARK, Cairo |
| Sujets: | Sciences et technologies de l'information et de la communication Mathématiques et leurs applications |
| Code ID : | 8558 |
| Déposé par : | adrien Ben natan |
| Déposé le : | 23 août 2021 15:15 |
| Dernière modification: | 23 août 2021 15:15 |
