Zero-Knowledge-Beweise - Sapientia

Inhaltsverzeichnis
1 Die ”
magische” Tür 3
1.1 Aufbau des Beweises . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Effektivität des Beweises . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Allgemeine Definition 6
2.1 Interaktive Beweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Kriterien von Zero-Knowledge-Beweisen . . . . . . . . . . . . . . . . 6
2.2.1 Vollständigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.2 Zuverlässigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2.3 Zero-Knowledge-Eigenschaft . . . . . . . . . . . . . . . . . . . 7
3 Historischer Hintergrund 9
3.1 Lösungsformel für Gleichungen dritten Grades . . . . . . . . . . . . . 9
3.2 Gültigkeit des Beweises . . . . . . . . . . . . . . . . . . . . . . . . . 10
4 Graphenisomorphie 11
4.1 Was ist ein Graph . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.2 Was bedeutet Isomorphie . . . . . . . . . . . . . . . . . . . . . . . . 12
4.3 Zero-Knowledge-Protokoll . . . . . . . . . . . . . . . . . . . . . . . . 13
4.4 Gültigkeit des Beweises . . . . . . . . . . . . . . . . . . . . . . . . . 15
5 Schlussbetrachtung 16
Literaturverzeichnis 17
Erklärung zum selbstständigen Verfassen 18