Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03621.jsonl.gz/874

Sichere Mehr Berechnung (eng. Sichere Mehr Berechnung , MPC) ist eine spezielle Disziplin innerhalb kryptologien Umgang mit Berechnungen , in denen mehrere Parteien zusammenarbeiten, aber jede Partei will nicht ihren Beitrag für den anderen offenbaren.
Das Problem wurde eingeführt , die ursprünglich einen Artikel von Andrew C. Yao in 1982 . Der Artikel eingeführten Millionär Problem : Alice und Bob sind zwei Millionäre , die herausfinden wollen , wer der reichste ist, wird aber nicht ihr Vermögen offenbart. Yao vorgeschlagen , eine Lösung , die Alice und Bob können ihre Neugier befriedigen, während die Grenzwerte eingehalten werden. Das Problem und die Lösung ebneten den Weg für eine Verallgemeinerung genannt Mehr Berechnung (MPC) Protokolle .
In einem MPC hat p1 N Teilnehmer, p2, …, pN, die jeweils mit privaten Daten, die d1 genannt werden, d2, …, dN. Die Teilnehmer wollen den Wert einer öffentlich bekannten Funktion F der N Variablen berechnen. Ein MPC-Protokoll genannt sicher, wenn kein Teilnehmer mehr als das bekommen kann, kann aus dem Wissen über ihren eigenen Beitrag, die Beschreibung der Funktion und das Ergebnis der Berechnung (unter bestimmten Bedingungen abhängig vom Modell) abschließt.
Wie viele Verschlüsselungsprotokolle kann die Sicherheit eines MPC – Protokoll Art der Berechnung (dh auf der Basis eines mathematischen Problems als Factoring ) oder unbedingt ( in der Regel mit einer Irrtumswahrscheinlichkeit kann beliebig klein gemacht werden). Das Verfahren wird bei dem in einem Modell beschrieben die Teilnehmer ein verwenden synchronisierten Netzwerk, mit sicheren Kommunikationskanälen zwischen jeweils zwei Teilnehmern (ein Gegner nicht gelesen werden kann, modifizieren oder Bešker in dem Kanal erstellen), und so weiter … Die zentral gesteuerte Gegner können passiv sein ( das heißt, kann sein nur – Lese – Daten von einer Anzahl der Teilnehmer) oder aktiv (kann Ausführungs Protokoll oder eine bestimmte Anzahl der Teilnehmer) stören. Ein Gegner kann statisch (vor Beginn der Berechnung wählen , seine Opfer) oder dynamisch (kann seine Opfer während der Ausführung der Berechnung wählen). Um die Sicherheit gegen einen dynamischen Gegner zu erhalten , ist oft viel schwieriger als gegen eine statisch. Ein Gegner kann als eine Schwellenstruktur definiert werden (Eng. Threshold – Struktur , dass dies zu sagen ist , den Speicher in einem Teilnehmerzahl bis zu einer bestimmten Grenze lesen kann), oder es kann als ein komplexeres sktruktur definiert werden (z. B. Schlag eine vorbestimmte Teilmenge die Teilnehmer als Modell für verschiedene mögliche sammansværgelser).
Sichere Mehrparteien Berechnung ist eng mit dem Problem verknüpft Secret Sharing (gemeinsame Nutzung Geheimnisse) und insbesondere nachprüfbar Secret Sharing (eng. Nachweisbare Secret Sharing VSS); jedes MPC – Protokoll verwendet eine VSS.
Sichere MPC bietet Lösungen für verschiedene Probleme aus dem wirklichen Leben, zum Beispiel. verteilt Abstimmung, private Ausschreibungen und Auktionen, teilt Unterschrift -. oder Verschlüsselungsfunktionen, private Information Retrieval, und so auf dem erste Haupt Verwendung von sicheren MPC weltweit fand in Dänemark im Januar 2008 wie von Bogetoft et al. [1] .
Fußnoten
- Aufspringen^ Peter Bogetoft und Dan Lund Christensen und Ivan Damgård und Martin Geisler und Thomas Jakobsen und Mikkel Krøigaard und Janus Dam Nielsen und Jesper Buus Nielsen und Kurt Nielsen und Jakob Pagter und Michael Schwartzbach und Tomas Toft: Multiparty Berechnung geht live, Kryptologie ePrint – Archiv Bericht 2008/068: