Εβδομάδα 12η
Section outline
-
ΤΡΙΤΗ 17/12/2024
- Αποδείξεις μηδενικής γνώσης: Διαισθητικά Παραδείγματα - Ορισμός
- Παραδείγματα από Θ. Πολυπλοκότητας
- Πρωτόκολλο Schnorr
Slides: ZK (1-45)
Μελέτη [ΖΠΓ] 10.1 - 10.3 [BoSh] 19.1, 19.4, 19.6
Προαιρετική Μελέτη:
- Zero Knowledge Proofs — A Primer
- To Schnorr and beyond
- Zero Knowledge Proofs: An illustrated primer
- How To Simulate It - A Tutorial on the Simulation Proof Technique (iacr.org) (Ch.1, 2, 3, 5).
- Unifying Zero-knowledge Proofs of Knowledge - Information Security and Cryptography Research Group - ETH Zürich
ΠΑΡΑΣΚΕΥΗ 20/12/2024- Το Σ-πρωτόκολλο Chaum - Pedersen
- Σύνθεση Σ-πρωτοκόλλων (AND, EQ, OR)
Slides: ZK (46-51)
Προαιρετική Μελέτη:
Ψηφιακές Υπογραφές
- Μοντέλα Ασφάλειας
- Υπογραφές RSA - FDH
- To μοντέλο του τυχαίου μαντείου
Slides: DS (1-32)
Μελέτη: [ΖΠΓ] 7.1 - 7.4, [LK2] 12.1 - 12.4.
Προαιρετική Μελέτη:
- Σημειώσεις Bellare - Rogaway για RSA-FDH και απόδειξη μη πλαστογραφησιμότητας (12.3.5 - pdf)