TCS / Teaching / T-79.511

T-79.511 Special Course on Cryptology

Autumn 2001: Zero-Knowledge

Schedule

In preparing your own survey, please use Petteri's .tex file (from his first presentation) as a formatting example.

The page http://www.adastral.ucl.ac.uk/~helger/crypto/link/zeroknowledge/hutseminar.html contains links to background papers on every subject. (The list for last seminars is probably incomplete.)

Date Subject Materials Presenter Opponent
26.09.01 Introduction
Interactive Proof Systems Survey: .ps.gz, .tex; slides: .ps.gz Petteri Kaski Johan Wallén (.ps.gz)
03.10.01 IP=PSPACE Survey: .ps.gz, .tex; slides: N/A Lauri Tarkkala Mika Kojo (.ps.gz)
ZK: Introduction Helger Lipmaa ---
10.10.01 All languages in IP have ZK proofs Survey: .ps.gz, .tex (N/A); slides: N/A Mika Kojo Petteri Kaski
Four rounds are optimal for ZK Survey: .ps.gz, .tex; slides: .ps.gz, .tex Johan Wallén Jan Hlinovsky
17.10.01 Cancelled
24.10.01 Cancelled
PCP proofs (Survey: .ps.gz, tex: N/A, slides: N/A) Mika Kojo Petteri Kaski (.ps.gz, .tex)
31.10.01 Noninteractive ZK (Survey: .ps.gz, tex: N/A, slides: N/A) Lauri Tarkkala Jan Hlinovsky
ZK proofs of identity & proofs-of-knowledge Survey: .ps.gz, tex: N/A, slides: N/A Jan Hlinovsky Lauri Tarkkala (.ps.gz)
07.11.01 Multi-party computation Survey: .ps.gz, .tex, slides: .ps.gz Johan Wallén Mika Kojo
Statistical ZK Survey: .ps.gz, tex: N/A, slides: N/A Petteri Kaski Lauri Tarkkala
14.11.01 Resettable ZK Survey: .ps.gz (draft), tex, slides: .ps.gzJohan Wallén Petteri Kaski (.ps.gz)
Fiat-Shamir heuristic. Random oracles Survey: .ps.gz (draft), tex: N/A, slides: N/A Jan Hlinovsky Johan Wallén (.ps)
21.11.01 No seminar
28.11.01 Statistical Difference is HVSZK-complete Survey: .ps.gz (draft), tex: .tex Petteri Kaski Johan Wallén (.ps.gz)

Date	Subject	Materials	Presenter	Opponent
26.09.01	Introduction
Interactive Proof Systems	Survey: .ps.gz, .tex; slides: .ps.gz	Petteri Kaski	Johan Wallén (.ps.gz)
03.10.01	IP=PSPACE	Survey: .ps.gz, .tex; slides: N/A	Lauri Tarkkala	Mika Kojo (.ps.gz)
ZK: Introduction		Helger Lipmaa	---
10.10.01	All languages in IP have ZK proofs	Survey: .ps.gz, .tex (N/A); slides: N/A	Mika Kojo	Petteri Kaski
Four rounds are optimal for ZK	Survey: .ps.gz, .tex; slides: .ps.gz, .tex	Johan Wallén	Jan Hlinovsky
17.10.01	Cancelled
24.10.01	Cancelled
PCP proofs	(Survey: .ps.gz, tex: N/A, slides: N/A)	Mika Kojo	Petteri Kaski (.ps.gz, .tex)
31.10.01	Noninteractive ZK	(Survey: .ps.gz, tex: N/A, slides: N/A)	Lauri Tarkkala	Jan Hlinovsky
ZK proofs of identity & proofs-of-knowledge	Survey: .ps.gz, tex: N/A, slides: N/A	Jan Hlinovsky	Lauri Tarkkala (.ps.gz)
07.11.01	Multi-party computation	Survey: .ps.gz, .tex, slides: .ps.gz	Johan Wallén	Mika Kojo
Statistical ZK	Survey: .ps.gz, tex: N/A, slides: N/A	Petteri Kaski	Lauri Tarkkala
14.11.01	Resettable ZK	Survey: .ps.gz (draft), tex, slides: .ps.gzJohan Wallén	Petteri Kaski (.ps.gz)
Fiat-Shamir heuristic. Random oracles	Survey: .ps.gz (draft), tex: N/A, slides: N/A	Jan Hlinovsky	Johan Wallén (.ps)
21.11.01	No seminar
28.11.01	Statistical Difference is HVSZK-complete	Survey: .ps.gz (draft), tex: .tex	Petteri Kaski	Johan Wallén (.ps.gz)

Useful literature:

Oded Goldreich, ``Foundation of Cryptology Basic Tools v.1'', Cambridge University Press, 2001. ISBN: 0521791723 [online information, see Ch. 4]
Oded Goldreich, ``Modern Cryptography, Probabilistic Proofs and Pseudorandomness'' [online information, Ch 2.3]

See also my links on zero-knowledge. Some papers from there will be exposed in seminar.

Latest update: September 26, 2001 by helger

tcs.hut.fi