Wstęp do Wiedzy Zerowej 1000-2M23IZK
List of lectures
1-2) Introduction to zero knowledge:
3) Zero-knowledge for all NP
4) Zero-knowledge proof of knowledge
5) Witness indistinguishability (WI)
6) WI protocols are closed under parallel repetitions
7) A special case: Sigma protocols
8-9) AND and OR compositions of Sigma protocols
10) Non-interactive zero knowledge
11) Parallel and sequential composition of zero-knowledge
12) Introduction to secure multi-party computation (MPC) protocols
13-14) The "MPC in the head" technique with examples
15) Advanced topics, including protocols used for blockchains, such as Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zkSNARKS)
Wymagania (lista przedmiotów)
Założenia (lista przedmiotów)
Koordynatorzy przedmiotu
Efekty kształcenia
The student will obtain preliminary knowledge on the zero-knowledge topic and will be able to understand how to correctly apply this technique in real-world scenarios.
The student will be able to check the correctness of a zero-knowledge proof system and will be able to use state-of-the-art zero-knowledge tools to create privacy-preserving systems.
Kryteria oceniania
The final grade is based on homeworks and the results of the oral exam.
Literatura
Oded Goldreich "Foundations of Cryptography. II: Basic Applications"
Dan Boneh and Victor Shoup "A Graduate Course in Applied Cryptography"
Justin Thaler "Proofs, Arguments, and Zero-Knowledge"
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: