Diplomarbeit zu "`Zero-Knowledge Arguments"' - Telle-Online.de

4 Zero–Knowledge Arguments
Zu dem Komplex der berechenbaren Zero–Knowledge Arguments mit polynomieller
Rundenzahl sind keine wissenschaftlichen Arbeiten vorhanden. Daher werden im nachfolgenden
Text aufgrund der Einteilung in
1. perfekte Zero–Knowledge Arguments mit polynomieller Rundenzahl,
2. perfekte Zero–Knowledge Arguments mit konstanter Rundenzahl und
3. berechenbare Zero–Knowledge Arguments mit konstanter Rundenzahl
hauptsächlich die Arbeiten von
• Naor, Ostrovsky, Venkatesan und Yung [NOVY92] in Abschnitt 5 ab Seite 41 als
Vertreter von Punkt 1,
• Brassard, Crépeau und Yung [BCY91] in Abschnitt 6 ab Seite 53 als Vertreter von
Punkt 2 und
• Barak [Bar03] in Abschnitt 7 ab Seite 72 als Vertreter für den letzten Punkt
ausführlich vorgestellt.
Aus dem Vorhandensein von Protokollen mit konstanter Rundenzahl, die vordergründig
besser sind, als diejenigen mit polynomieller Rundenzahl, kann aber nicht der
Schluss gezogen werden, dass Protokolle mit polynomieller Komplexität überflüssig sind.
Der Vorteil der konstanten Rundenzahl ist mit höheren Anforderungen an die Leistungsfähigkeit
der Teilnehmer des interaktiven Systems verbunden, die in einer geplanten
Umgebung eventuell nicht realisiert werden kann. In diesen Fällen wird die erfordeliche
Sicherheit über polynomielle Rundenzahlen, zu der auch z.B. logarithmische gehören,
erzielt.
Neben den Eigenschaften perfekt Zero–Knowledge in polynomieller Rundenzahl zu
sein ist die Arbeit [NOVY92] typisch für eine in der modernen Forschung angewandten
Technik. Grob gesagt geht es in dieser Veröffentlichung darum, dass kein vollständiges
Protokoll eines Zero–Knowledge Arguments vorgestellt sondern der erstmals in [GMW86]
bewiesene Umstand ausgenutzt wird, dass es ausreichend ist, ein sicheres Verschlüsselungsverfahren
zu konstruieren.
Die Besonderheit bei [BCY91] besteht darin, dass es die letzte vollständige Konstruktion
eines in sich geschlossenen perfekten Zero–Knowledge Arguments mit konstanter
Rundenzahl ist. Neuere Arbeiten verfolgen diesbezüglich den Weg, der auch in
[NOVY92] gegangen wurde, indem lediglich ein entsprechendes Verschlüsselungsverfahren
meistens in Form von Bit–Commitment–Schemes erzeugt wird. Bei [BCY91] ergeben
sich dagegen die Konstruktion und die einzelnen Beweise noch in einem Zusammenhang.
39