Εβδομάδα 5/12-8/12

ΤΡΙΤΗ 05/12/2023

• Το κρυπτοσύστημα El Gamal (Ιδιότητες Ασφάλειας - Malleability)
• Το κρυπτοσύστημα Cramer - Shoup.
• Σχήματα δέσμευσης με βάση το DLP
• Secret Sharing - Threshold El Gamal

Slides: DLP (57-96)

Μελέτη: [ΖΠΓ] 6.5, 9.2, 9.3 [LK2] 11.4.1, 13.3 [BoSh] 10.6.1, 11.5, 22.1, 22.3

ΠΑΡΑΣΚΕΥΗ 08/12/2023

• Αποδείξεις μηδενικής γνώσης: Διαισθητικά Παραδείγματα - Ορισμός
• Παραδείγματα από Θ. Πολυπλοκότητας
• Πρωτόκολλο Schnorr

Slides: ΖΚ (1-43)

Μελέτη [ΖΠΓ] 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