Séance de cours
Cette séance de cours explore le concept de construction à connaissance nulle à partir du protocole sigma, en se concentrant sur les modèles de configuration et la puissance de l'interaction dans les protocoles cryptographiques. Les sujets abordés incluent le protocole Sigma, Black-Box Zero-Knowledge, NP Zero-Knowledge Proofs, et le théorème de Goldreich-Micali-Wigderson. La séance de cours se penche sur la définition et les propriétés du protocole Sigma, de la connaissance zéro du vérificateur honnête et des protocoles Fiat-Shamir et Schnorr. Il traite également du renforcement des protocoles par engagement et de la question de la réfutabilité dans les preuves cryptographiques. La séance de cours se termine par un aperçu du modèle d’oracle aléatoire et de la mise en œuvre pratique de l’oracle aléatoire.