Lehrende: Prof. Ph.D. Sebastian Faust
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: ZKP
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: Zero Knowledge (ZK) Beweise sind Beweissysteme, mit denen ein Prover einem Verifier gegenüber die Wahrheit von Behauptungen wie z.B. "Ich kenne eine Lösung für ein Kreuzworträtsel" beweisen kann, ohne aber die Lösung des Rätsels zu verraten. ZK Beweise finden vielseitige Anwendung in der Kryptographie, beispielsweise im Bereich von sicherer Verschlüsselung und anonymen Kryptowährungen. In diesem Seminar lernen wir verschiedene Arten von ZK Beweissystemen und deren Anwendungsmöglichkeiten kennen. Exemplarische Auswahl der Themen: - Was sind ZK Beweise und welche Varianten gibt es? - Die Fiat-Shamir Transformation und nicht-interaktive Beweissysteme - Groth-Sahai Beweise - ZCash - Succint Arguments of Knowledge (SNARKs) und ihre Anwendungen - Das Verschlüsselungsverfahren von Naor und Yung
Voraussetzungen: Das Seminar richtet sich an Masterstudierende. Grundlagenvorlesung IT-Sicherheit oder Grundlagenwissen in Kryptografie sind empfehlenswert.