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

4 Zero–Knowledge Arguments
Wie schon an den Veröffentlichungsterminen zu sehen ist, beschäftigt sich die informationstheoretische
Forschung im Bereich der Zero–Knowledge Arguments in den letzten
Jahren zum weitaus überwiegenden Teil mit berechenbaren Zero–Knowledge Verfahren.
Zu diesem Themenkomplex existieren eine Vielzahl von Veröffentlichungen. Zur Darstellung
der aktuellen Forschung wurde als Vertreter die Arbeit von Barak ausgewählt.
Dieses erfolgt unter anderem aufgrund der Tatsachen, dass diese Arbeit sehr aktuell ist,
einen völlig anderen und für Änderungen offenen Weg der Konstruktion und des Beweises
aufweist, sich mit der nicht Black-Box Simulation des Verifieres auseinandersetzt und
seit dem ersten Erscheinungstermin 2001 als Grundlage weiterer (auch Zero–Knowledge
Proof) Verfahren gedient hat.
Für die drei Arbeiten gilt, dass alle einen völlig unterschiedlichen Weg der Konstruktion
und der anschließenden Beweisführung gegangen sind, so dass über die sehr
detaillierte Darstellung ein Einblick in diese sehr verschiedenen Techniken erfolgt.
40