In der Übersicht
Multi-Party Computation (MPC) ist wohl eines der grundlegendsten Probleme im Bereich der Kryptographie und des verteilten Rechnens. Es ermöglicht einer Reihe von Parteien, eine Berechnung durchzuführen
private Daten, ohne sensible Informationen preiszugeben. Seit seiner Einführung vor mehr als dreißig Jahren wurde eine bedeutende Arbeit geleistet, sowohl im Hinblick auf die theoretische Arbeit als auch auf die Umsetzbarkeit in der Praxis.
Heutzutage ist MPC eine Technologie, die immer praktischer wird, und es wurden zahlreiche Versuche unternommen, solche Systeme in der realen Welt einzusetzen.
Trotz aller Bemühungen berücksichtigen die meisten Verbesserungen im Hinblick auf die Effizienz von MPC ein idealisiertes Kommunikationsnetzwerk, das sogenannte „synchrone“, bei dem die Parteien Zugriff auf synchronisierte Uhren haben und eine Obergrenze für die Verzögerung der Netzwerkkommunikation angenommen wird. Obwohl dieses Modell theoretisch interessant ist und die Untersuchung sauberer Protokolle ermöglicht, ist es nicht in der Lage, reale Netzwerkverhaltensweisen wie das Internet zu erfassen, die typischerweise eine unvorhersehbare Verzögerung aufweisen und asynchron sind.
Der Stand der Technik hinsichtlich der Effizienz asynchroner MPC-Protokolle ist weit von seinem synchronen Gegenstück entfernt. Insbesondere die derzeit effizientesten synchronen MPC-Protokolle erreichen eine Kommunikationseffizienz, die linear mit der Anzahl der beteiligten Parteien und der Rechengröße wächst, und nutzen sehr einfache Rechenwerkzeuge (viele Lösungen sind sogar informationstheoretisch und nur die Berechnung). besteht aus linearen Operationen an den lokalen Daten). Andererseits wächst bei aktuellen asynchronen MPC-Protokollen die Anzahl der Parteien mindestens quadratisch und sie nutzen kryptografische Tools, die einen höheren Rechenaufwand erfordern (z. B. homomorphe Verschlüsselung).
Ziel dieses Projekts ist die Entwicklung neuer Techniken, die den Entwurf effizienter MPC-Protokolle ermöglichen, die über das Internet eingesetzt werden können. Insbesondere sehen wir die Anwendung von MPC-as-ein Dienst mit starken Sicherheitsgarantien (wie Fairness und Robustheit). Da wir eine groß angelegte Anwendung anstreben, an der Tausende von Benutzern komplexe Berechnungen durchführen, liegt unser Fokus auf Lösungen, die möglichst wenig rechenintensive kryptografische Grundelemente verwenden.
