Mit Hilfe von Bit-Commitment schemes wird gezeigt, da\3 jede Sprache aus NP
einen Zero-Knowledge-Beweis besitzt. Dazu wird ein Zero-Knowledge-Beweissytem
für 3-Färbbarkeit von Graphen angegeben und die Zero-Knowledge-Eigenschaft
nachgewiesen.
Literatur: [9] 6.4