Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne
Sciences du logiciel - Xavier Leroy
00:00
Techniques récursives pour preuves compactes
Présentation de preuves récursives (split, fold, recurse) permettant preuves de taille logarithmique.
Play episode from 20:15
Transcript
