Ich kämpfe damit, den Unterschied zwischen den beiden zu verstehen. Nach dem, was ich zusammenstelle, haben sie unterschiedliche kontradiktorische Modelle, MPC fügt die Bedingung der Absprache zwischen den Parteien hinzu, dh Wahlabstimmung.
ODER
Ist Zero Knowledge eine Voraussetzung für MPC?
Ich würde mich freuen, wenn jemand sowohl eine einfache als auch eine erweiterte Erklärung dafür liefern könnte.
Es wäre besser für Sie, diese Frage auf einer bestimmten Ressource wie https://crypto.stackexchange.com zu stellen . In der Kryptographie sind dies zwei völlig unterschiedliche Konzepte. Sie können auch in Wikipedia-Seiten nachsehen.
Ich werde versuchen, diese beiden Konzepte in wenigen Worten zu beschreiben, vielleicht hilft es.
Nicht-interaktiver Zero-Knowledge-Beweis (NIZKP) ist eine spezielle Zeichenfolge, die eine Aussage über einen öffentlichen Wert (wie die Kenntnis eines geheimen Schlüssels, der dem öffentlichen Schlüssel entspricht, oder die verborgene Struktur einer Nachricht) beweist, ohne andere Informationen preiszugeben (z entsprechenden geheimen Schlüssel). Im Zusammenhang mit Ethereum bedeutet dies normalerweise, dass der Urheber der Transaktion ihren genauen Wert verbirgt, aber einen Beweis dafür liefert, dass es sich um eine gültige Transaktion handelt.
Multi-Party-Berechnung ist eine interaktive Kommunikation zwischen mehreren Parteien, so dass sie sicher gleichzeitig eine Funktion ihrer geheimen Werte berechnen, ohne diese Werte preiszugeben. Sie könnten MPC zwischen 3 Parteien abbilden, von denen jede eine Geheimzahl hat, und sie (jede) werten die Summe dieser Zahlen aus. Allerdings bekommt niemand Kenntnis von Geheimnummern von 2 Kontrahenten, sondern nur die Gesamtsumme von 3 davon.
Was die gegnerischen Modelle betrifft, so sind sie natürlich unterschiedlich, aber das ist nur eine Folge unterschiedlicher Konzepte (unterschiedliche Parteien und Ziele).
In NIZKP haben Sie zB 2 Parteien: Prüfer, der geheimes Wissen hat, und verallgemeinerter Prüfer (eigentlich jeder), der keine geheimen Werte kennt. Das Ziel des Prüfers (I) den Prüfer von etwas zu überzeugen (normalerweise unter Verwendung des geheimen Werts) (II) enthüllt den geheimen Wert nicht. Die Ziele des Gegners: (I) den Verifizierer von etwas Falschem überzeugen (oder ohne Kenntnis des geheimen Wertes) oder (II) den Beweis des ehrlichen Prüfers verwenden, um den geheimen Wert aufzudecken.
In MPC haben Sie mehrere Peers. Jeder von ihnen hat das Ziel, (I) die Funktion geheimer Werte von Peers sicher zu bewerten und (II) anderen Peers zu ermöglichen, dasselbe zu tun, ohne jedoch den geheimen Wert preiszugeben. Unehrliche Peers (Gegner) möchten möglicherweise (I) andere Peers täuschen, damit der von ihnen bewertete Ergebniswert falsch ist (II) um geheime Werte anderer Peers preiszugeben.