Zunächst werden der Begriff Zero-Knowledge und entsprechende Komplexitätsklassen definiert. Dann wird für das Graph-Isomorphie-Problem gezeigt, da\3
es einen Zero-Knowledge-Beweis besitzt. Wichtig ist hier das sog.
Simulationsparadigma (siehe auch [1], Kapitel 4).
Schlie\3lich wird die sequentielle Komposition von Zero-Knowledge-Beweisen
untersucht.
Literatur: [9] 6.3