Zunächst soll kurz die Betrachtung interaktiver (Zero-Knowledge)
Beweissysteme motiviert werden (u.a. mit einem Beispiel). Dann werden
interaktive Beweissysteme formal definiert und ihre Mächtigkeit diskutiert.
Am Beispiel Graph-Non-Isomorphism wird ein konkretes Beweissystem vorgestellt.
Schlie\3lich werden Bit-Commitment schemes vorgestellt und ihre Konstruktion
erläutert.
Literatur: [9] 6.1, 6.2 & 6.4.1, [11]