Dieser Fachvortrag von Andy (TU Darmstadt, Encrypto Group) bietet eine technische und ethische Analyse von Secure Multi-Party Computation (MPC). MPC wird als kryptographisches Verfahren definiert, das Berechnungen auf verschlüsselten Datensätzen ermöglicht, ohne dass die beteiligten Rechenknoten (Server) Zugriff auf die Rohdaten erhalten. Der Vortrag erläutert die mathematische Basis durch Secret Sharing, bei dem Daten in Fragmente zerlegt und über mehrere Instanzen verteilt werden. Während Additionen lokal und effizient durchgeführt werden können, erfordern Multiplikationen einen hohen Kommunikationsaufwand durch Maskierung mit Zufallswerten. Neben der formalen Sicherheitsdefinition via Real-vs-Ideal-Simulation warnt der Referent vor der Implementierung ethisch bedenklicher Funktionalitäten (z. B. Apples CSAM-Scanning), da kryptographische Sicherheit nicht mit gesellschaftlicher Unbedenklichkeit gleichzusetzen ist. Abschließend wird das Framework MP-SPDZ als Werkzeug für die Forschung und Prototypisierung vorgestellt.
Wichtigste Punkte & Zeitstempel
0:00 Einleitung & Problemstellung: Vorstellung von MPC als Lösung für das Privacy-Utility-Dilemma, beispielhaft erläutert am Gender-Pay-Gap-Projekt in Boston. Ziel ist die statistische Auswertung ohne Offenlegung sensibler Gehaltsdaten.
1:54 Cloud vs. Trusted Hardware: Kritik an Cloud-Lösungen und Trusted Execution Environments (TEE) wie Intel SGX, die zwar Schutz versprechen, aber regelmäßig durch Side-Channel-Attacken kompromittiert werden.
4:40 Funktionsweise von MPC: Einführung des "Fog"-Modells. Daten werden mittels Secret Sharing (additives Modell) in Fragmente zerlegt. Ein einzelner Server besitzt nie genug Teile, um den Klartext zu rekonstruieren.
8:31 Mathematische Addition: Demonstration der linearen Homomorphie. Additionen können von den Servern lokal auf ihren Anteilen durchgeführt werden, was keinen Netzwerk-Overhead verursacht.
11:00 Mathematische Multiplikation: Erläuterung der Komplexität durch Kreuzterme. Multiplikation erfordert den Austausch von Nachrichten zwischen den Servern, wobei die Daten durch Zufallsmaskierung (Blinding) geschützt werden müssen.
18:04 Sicherheitsmodell: Definition der Sicherheit durch das Simulations-Paradigma. Ein Protokoll gilt als sicher, wenn ein Angreifer die echte Protokollausführung nicht von einer idealisierten "Fantasy-Welt" (mit vertrauenswürdigem Dritten) unterscheiden kann.
22:45 Angriffsvektoren & Annahmen: Diskussion über Kollusion (Zusammenarbeit korrupter Server), Malicious Adversaries (aktives Manipulieren von Nachrichten) und die Bedrohung durch Quantencomputer für klassische Härteannahmen (z. B. diskrete Logarithmen).
27:19 Praktische Anwendungen: Einsatz von MPC bei Signal (Kontakt-Discovery), in der Medizin (Datenaustausch zwischen Kliniken) und theoretisch in Online-Games zur Verhinderung von Map-Hacks.
31:30 Ethische Fallfalle (CSAM-Scanning): Analyse des Apple-Vorschlags zum Scannen von Kinderpornografie. Der Referent betont: Ein Protokoll kann kryptographisch perfekt sicher sein, aber eine schädliche Funktionalität (Überwachung/Zensur) effizient umsetzen.
36:06 MP-SPDZ Framework: Vorstellung der Open-Source-Bibliothek auf GitHub zur Entwicklung von MPC-Anwendungen mittels einer Python-basierten DSL. Hinweis auf den hohen Kommunikationsbedarf (0,3 MB für minimalste Berechnungen).
42:54 Ausblick & Forschung: Fokus auf effizientere Protokolle, private Graph-Algorithmen und die Interaktion zwischen MPC und Zero-Knowledge-Proofs (ZKP).
Glossar
MPC (Secure Multi-Party Computation): Ein Teilbereich der Kryptographie, der es mehreren Parteien ermöglicht, gemeinsam eine Funktion über ihren Eingaben zu berechnen, ohne diese preiszugeben.
Secret Sharing: Ein Verfahren, bei dem ein Geheimnis in Teile (Shares) zerlegt wird. Nur eine definierte Mindestanzahl an Shares kann das Geheimnis wiederherstellen.
Modulo-Arithmetik: Rechnen in einem endlichen Zahlenraum (Restklassenring), essenziell für kryptographische Operationen.
SGX (Software Guard Extensions): Eine Hardware-Sicherheitsfunktion von Intel zur Isolierung von Code in sogenannten Enklaven.
CSAM (Child Sexual Abuse Material): Fachbegriff für Darstellungen von sexuellem Kindesmissbrauch; im Kontext des Vortrags als Ziel für (umstrittene) clientseitige Scans genutzt.
Simulator (Simulations-Paradigma): Ein mathematisches Konstrukt, das beweist, dass ein Angreifer aus den Protokollnachrichten nichts lernen kann, indem es diese Nachrichten ohne Kenntnis der Geheimnisse generiert.
Kollusion: Der Zusammenschluss mehrerer eigentlich getrennter Instanzen mit dem Ziel, Sicherheitsbarrieren zu durchbrechen.
Data Oblivious Algorithms: Algorithmen, deren Kontrollfluss und Speicherzugriffsmuster unabhängig von den Eingabedaten sind, um Informationsabfluss durch Laufzeitanalysen zu verhindern.
MP-SPDZ: Ein vielseitiges Software-Framework für das Benchmarking und Testen verschiedener MPC-Protokolle.
Zero-Knowledge-Proof (ZKP): Ein Verfahren, bei dem eine Partei einer anderen beweisen kann, dass sie ein Geheimnis kennt oder eine Berechnung korrekt ausgeführt hat, ohne das Geheimnis selbst preiszugeben.