06 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul vérifiable et preuves zero-knowledge — Sciences du logiciel - Xavier Leroy

06 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul vérifiable et preuves zero-knowledge

Sciences du logiciel - Xavier Leroy · 11/12/2025 15:43 · 1 h 25

Contenu de l'épisode

Xavier Leroy

Chaire Chaire Sciences du logiciel

Collège de France

Année 2025-2026

06 - Le calcul sécurisé : calculer sur des données chiffrées ou privées : Calcul vérifiable et preuves zero-knowledge