Diplomarbeit zu "`Zero-Knowledge Arguments"' - Telle-Online.de
Diplomarbeit zu "`Zero-Knowledge Arguments"' - Telle-Online.de
Diplomarbeit zu "`Zero-Knowledge Arguments"' - Telle-Online.de
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Inhaltsverzeichnis<br />
Inhaltsverzeichnis<br />
1 Einleitung 1<br />
1.1 Überblick . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br />
1.2 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br />
1.3 Aufbau <strong>de</strong>r Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2<br />
1.4 Überblick <strong>de</strong>r verwen<strong>de</strong>ten Themen <strong>de</strong>r Kryptographie . . . . . . . . . . 2<br />
1.5 Literaturhinweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
2 Definitionen 6<br />
2.1 Grundlegen<strong>de</strong>s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
2.2 <strong>Knowledge</strong> und Zero–<strong>Knowledge</strong> . . . . . . . . . . . . . . . . . . . . . . . 7<br />
2.3 Interaktive Beweissysteme . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
2.3.1 Probabilistische Turing Maschine . . . . . . . . . . . . . . . . . . 8<br />
2.3.2 Interaktive Turing Maschine . . . . . . . . . . . . . . . . . . . . . 9<br />
2.3.3 Interaktive Systeme . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
2.3.4 Interaktives Beweissystem . . . . . . . . . . . . . . . . . . . . . . 10<br />
2.3.5 Interaktives Beweissystem mit Zusatzeingabe . . . . . . . . . . . . 12<br />
2.4 Unterscheidbarkeit <strong>de</strong>r Wahrscheinlichkeitsverteilung . . . . . . . . . . . 13<br />
2.4.1 Pseudo Zufallsgeneratoren . . . . . . . . . . . . . . . . . . . . . . 14<br />
2.5 Bit–Commitment–Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
2.6 Schaltkreise (engl. Circuits) . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />
2.7 Einweg–Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18<br />
2.8 Zahlentheorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
2.8.1 Integer modulo n . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
2.8.2 Multiplikative Gruppe ∗ n . . . . . . . . . . . . . . . . . . . . . . 24<br />
2.8.3 Quadratischer Rest . . . . . . . . . . . . . . . . . . . . . . . . . . 26<br />
2.8.4 Blum-Zahl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26<br />
2.8.5 Diskreter Logarithmus . . . . . . . . . . . . . . . . . . . . . . . . 27<br />
2.8.6 Binärer Körper – Galois-Feld GF (2) . . . . . . . . . . . . . . . . 28<br />
I