reading toards 28/12

[עודד גולדרייך‎]

We start a new topic: zero-knowledge (ZK) proofs.
The reading assignment for 28/12 is rather light,
and those interested can proceed and read some of the next.

READING ASSIGNMENT FOR 28/12/2010

Motivation to ZK (Sec 4.1 -- on "proofs" and "gaining knowledge")
and the basic framework of interactive proof systems (Sec 4.2,
which includes an example: the interactive proof system for GNI).


READING ASSIGNMENT FOR 04/01/2011

The basic definition of ZK (Sec 4.3),
including an example (i.e., ZK for GI),
augmentation by auxiliary-inputs,
and a sequential composition theorem.
The latter is very important; please read it carefully
rather than assuming that this is straightforward
(as it is not -- compare, e.g., parallel composition...).