6 5630 Fortgeschrittene Themen der Kryptographie Herbst 2023

Sicherheit im digitalen Zeitalter beruht darauf, die Wahrheit von Informationen zu beweisen, ohne die zugrunde liegenden Daten preiszugeben. Das Verständnis der mathematischen und logischen Strukturen hinter modernen kryptografischen Beweisen ist für jeden, der sich für Datenschutz, Sicherheit und dezentrale Technologien interessiert, unerlässlich. In diesem Kurs werden Sie vom Verständnis grundlegender kryptographischer Konzepte zum Verständniß der Mechanik moderner Beweissysteme übergehen. Sie erfahren, wie sich interaktive Protokolle zu leistungsstarken, nicht-interaktiven Argumenten entwickelt haben, die moderne Netzwerke sichern. Was Sie lernen werden: - Verstehen Sie die grundlegenden Definitionen von interaktiven Beweisen und Multi-Prover-Umgebungen - Erkunden Sie die Mechanik wahrscheinlichkeitsmäßig überprüfbarer Beweise und ihre Rolle in der Informatik - Erfahren Sie, wie Kryptographie komplexe Beweissysteme in prägnante nicht-interaktive Argumente (SNARGs) umwandelt - Analysieren Sie die Grundprinzipien von Zero-Knowledge-Beweisen und modernen Implementierungen wie zk-SNARKs - Untersuchen Sie reale Anwendungen dieser Beweissysteme in Blockchain-Datenschutz und sicherer Berechnung Dieser reine Textkurs beginnt mit der wesentlichen Terminologie und den grundlegenden Definitionen mathematischer Beweise, bevor Sie Schritt für Schritt durch interaktive Systeme, nicht-interaktive Argumente und moderne, die Privatsphäre wahrenden Anwendungen geführt werden. Es ist speziell für Anfänger konzipiert, die einen klaren, konzeptionellen Einstieg in fortgeschrittene kryptografische Beweise wünschen, ohne dass vorherige fortgeschrittenen Mathematik- oder Programmierkenntnisse erforderlich sind. Beginnen Sie noch heute mit dem Lesen, um die Grundprinzipien der modernen kryptografischen Sicherheit zu ergründen.