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.
N<br />
negligible function . . . . . . . . . . . . siehe µ(·)<br />
Nicht-Uniforme Verifier . . . . . . . . . . 77, 88<br />
Nicht-Uniformes Generator Protokoll88,<br />
89<br />
O<br />
Öffnungsauffor<strong>de</strong>rung . . . . . . siehe Wahl<br />
Öffnungsphase. . . . . . . . . . . . . . . . . . . . . . . 15<br />
Öffnungswahl. . . . . . . . . . . . . . . siehe Wahl<br />
one-way function siehe Einweg Funktion<br />
Orakel–Maschine . . . . . . . . . . . . . . . . . . . . 76<br />
outA(·) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
P<br />
Pr[·] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
Proof of <strong>Knowledge</strong> . . . . . . . . . . . . . . . . . 88<br />
Prover . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
Pseudo Zufallsgenerator . . . . . . . . . . . siehe<br />
Zufallsgenerator<br />
PZK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31, 33<br />
Q<br />
Quadratischer Rest . . . . . . . . . . . . . . . . . . 26<br />
R<br />
Restklassenring. . . . . . . . . . . . . . . . . . . . . . 24<br />
Run<strong>de</strong> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
S<br />
Schaltkreis . . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />
Boolescher. . . . . . . . . . . . . . . . . . . . . . . 17<br />
Probabilistischer . . . . . . . . . . . . . . . . 17<br />
Sen<strong>de</strong>band . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
Simulator. . . . . . . . . . . . . . . . . . . . . . . . . . . . 30<br />
Simultane Ausführung . . . . . . . . . . . . . . 96<br />
Soundness . . . . . . . . . . . . . . . . . . . . . . . . 10, 37<br />
T<br />
transcript(AB)(·) . . . . . . . . . . . . . . . . . . . . . 12<br />
Trapdoor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21<br />
Turing Maschine . . . . . . . . . . . . . . . . . . . . . . 8<br />
Deterministische . . . . . . . . . . . . . . . . . . 8<br />
Interaktive . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
In<strong>de</strong>x<br />
I<br />
Interaktive Probabilistische . . . . . . . 9<br />
Probabilistische . . . . . . . . . . . . . . . . . . . 8<br />
U<br />
Uniforme Verifier . . . . . . . . . . . . . . . . . 77, 80<br />
Universelles Argument . . . . . . . . . . . . . . 78<br />
Ununterscheidbarkeit . . . . . . . . . . . . . . . . 14<br />
V<br />
Verifier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
uniforme . . . . . . . . . . . . . . . . . . . . . . . . 77<br />
vernachlässigbare Funktion . . . siehe µ(·)<br />
viewA(·) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11<br />
Vollständigkeitsbedingung . . . . . . . . 10, 37<br />
W<br />
Wahl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53<br />
Wahrscheinlichkeitsverteilung . . . . . . . 13<br />
Unterscheidbarkeit . . . . . . . . . . . . . . 13<br />
Witness indistinguishing . siehe Zeugnis<br />
Z<br />
Zero-<strong>Knowledge</strong> . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Argument . . . . . . . . . . . . . . . . . . . . . . . 37<br />
Argument of <strong>Knowledge</strong>. . . . . . 76, 77<br />
beschränkt simultan . . . . . . . . . . . . . 96<br />
Perfekt . . . . . . . . . . . . . . . . . . . . . . . . . . 31<br />
Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30<br />
Proof of <strong>Knowledge</strong> . . . . . . . . . . . . . 76<br />
Zero-<strong>Knowledge</strong> Argument . . . . . . . . . . 36<br />
Nicht-Uniforme . . . . . . . . . . . . . . . . . . 88<br />
Uniforme . . . . . . . . . . . . . . . . . . . . . . . . 80<br />
Zeugnis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7, 33<br />
ununterscheidbar . . . . . . . . . . . . . . . . 33<br />
ZK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31<br />
Zufallsband. . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
Zufallsgenerator . . . . . . . . . . . . . . . . . . . . . 14<br />
Zug. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9