Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne
Sciences du logiciel - Xavier Leroy
00:00
Modèles PCP/IOP et SunCheck
Lien vers PCP/IOP et protocole SunCheck pour envoyer des oracles et vérifier des calculs complexes.
Play episode from 25:26
Transcript
