28.03.14: Zero-Knowledge

Wykład prowadzony był według książki Odeda Goldreicha The Foundations of Cryptography (vol 1). Książka ta nie jest dostępna online, ale Goldreich zamieścił draft niektórych rozdziałów na swojej stronie. Rozdział o Zero Knowledge znajduj się tu. Poniżej używam numerów rozdziałów oraz stron odnosząc się do tego draftu.

Zaczęliśmy krótkim wstępem (Rozdziały 4.1- 4.3.3, Rozdział 4.4 do strony 162). Ponieważ większość tego materiału była na wykładzie z Kryptografii I, to nie potraktowaliśmy go dość pobieżnie.

Bardziej dokładnie przedstawiliśmy materiał z Rozdziału 4.10 (Non-Interactive Zero Knowledge). Dowód Faktu 4.10 był zostawiony na ćwiczenia i niestety nie poradziliśmy sobie z nim do końca.

Pokazaliśmy też dlaczego protokoły Zero-Knowledge nie są odporne na składanie "równoległe" (Rozdział 4.5.3.1)