Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne
Sciences du logiciel - Xavier Leroy
00:00
Arguments vs preuves et contraintes computationnelles
Distinction entre proofs et arguments en présence de bound computationnel, et utilité en pratique.
Play episode from 17:33
Transcript
