Secret Quorums: Protecting Byzantine Protocols Against Adaptive Adversaries
Dieses Paper führt „Secret Quorums“ ein, eine neuartige Abstraktion, die Ring Verifiable Random Functions nutzt, um komitee-basierte Protokolle zu ermöglichen, kleine, anonyme Validator-Teilmengen zu verwenden, die gegenüber adaptiven Angreifern resilient bleiben, ohne den Kommunikationsaufwand zu erhöhen, demonstriert durch das neue StealthDust-Zahlungsprotokoll.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich eine digitale Welt vor, in der Geld kein physisches Münzgeld in einer Tasche ist, sondern ein gemeinsames, magisches Kassenbuch, dem alle zustimmen. Dies ist das Reich der verteilten Systeme und Blockchains, in denen Computer (genannt Nodes) zusammenarbeiten, um den Überblick darüber zu behalten, wer was besitzt. Um sicherzustellen, dass niemand schummelt – wie zum Beispiel dieselbe Münze zweimal auszugeben – nutzen diese Computer ein Sicherheitsnetz namens „Quorum“. Denken Sie bei einem Quorum an einen Geheimbund mit einem geheimen Handschlag: Wenn genügend Mitglieder (normalerweise eine bestimmte Anzahl, wie z. B. 2 von 3) zustimmen, dass eine Transaktion echt ist, dann ist sie offiziell. Je größer der Club ist, desto schwieriger ist es für einen Betrüger, sie alle zu täuschen. Aber hier ist der Haken: Wenn der Club zu groß ist, dauert es ewig, bis sich alle einig sind, was das gesamte System langsam macht. Deshalb begannen Ingenieure, kleinere Clubs zu verwenden, um die Geschwindigkeit zu erhöhen. Dies schuf jedoch ein neues Problem. Wenn ein hinterlistiger Hacker genau weiß, wer in dem kleinen Club ist, kann er diese spezifischen Mitglieder sofort bestechen oder hacken, bevor der Club seine Aufgabe erledigt hat. Es ist, als wüsste ein Einbrecher genau, welche Wachen gerade Dienst haben, und schlüpfe unbemerkt vorbei, noch bevor der Alarm überhaupt losgeht.
Dieses Paper mit dem Titel „Secret Quorums: Protecting Byzantine Protocols Against Adaptive Adversaries“ befasst sich genau mit diesem Problem. Die Autoren, Maxence Perion, Sara Tucci-Piergiovanni und Rida Bazzi, schlagen eine kluge neue Art vor, diese kleinen Clubs zu führen, damit selbst die hinterlistigsten und schnellsten Hacker nicht herausfinden können, wer zuständig ist. Sie führen das Konzept der „Secret Quorums“ ein, bei dem die Clubmitglieder auch dann anonym bleiben, wenn sie ihre Aufgabe erfüllt haben. Anstatt ihre Namen auf den Genehmigungsschein zu setzen, nutzen sie einen speziellen kryptografischen Zaubertrick (unter Verwendung von Ringsignaturen und Zufallsfunktionen), um zu beweisen, dass sie Teil des Clubs sind, ohne ihre Identität preiszugeben. Das Paper demonstriert dies mit einem neuen Zahlungssystem namens „StealthDust“, das zeigt, dass das System durch das Verbergen der Identitäten der Validatoren viel schneller wird und weit weniger Kommunikation benötigt, um Transaktionen abzuwickeln, während es gleichzeitig sicher gegen Hacker bleibt, die ihre Ziele im laufenden Betrieb ändern können.
Das Problem: Der „eilstürzende“ Dieb
Stellen Sie sich vor, Sie spielen ein Spiel, bei dem eine kleine Gruppe von Freunden ausgewählt wird, um zu entscheiden, ob ein Handel fair ist. Auf die alte Art, sobald ein Freund ausgewählt wurde, hebt er die Hand und ruft: „Ich bin dabei!“ Dies lässt jeden wissen, wer die Entscheidungsträger sind. Stellen Sie sich nun einen Dieb vor, der unglaublich schnell und hinterhältig ist. Dieser Dieb kann das Spiel beobachten, sehen, wer die Hand hebt, und diesen Freund augenblicklich in einen Verräter verwandeln, noch bevor die Entscheidung überhaupt abgeschlossen ist. In der Welt der Computer nennt man dies einen „adaptiven und eilstürzenden Gegner“ (adaptive and rushing adversary). Er kann einen Computer in dem Moment korrumpieren, in dem er ihn als teilnehmend sieht, seinen Geist ändern und den gesamten Prozess stoppen.
Das Paper weist darauf hin, dass wir zwar Wege haben, diese Freunde zunächst geheim auszuwählen (unter Verwendung von etwas namens „kryptografischer Sortition“), aber in dem Moment, in dem sie versuchen zu beweisen, dass sie die richtigen Personen sind, enthüllen sie versehentlich ihre Identität. Es ist, als würde man zu einer Party eine Maske tragen, aber sie im zweiten Moment abnehmen, in dem man „Hallo“ sagt. Sobald die Maske abgenommen ist, weiß der Dieb genau, wen er angreifen muss.
Die Lösung: Der unsichtbare Club
Die Autoren schlagen eine Lösung namens Secret Quorums vor. In diesem neuen System werden die Freunde geheim ausgewählt, aber wenn sie beweisen, dass sie Teil der Gruppe sind, nehmen sie ihre Masken nicht ab. Stattdessen verwenden sie eine spezielle „Ringsignatur“.
Denken Sie bei einer Ringsignatur an eine Gruppe von Menschen, die im Kreis stehen und sich an den Händen halten. Wenn jemand in diesem Kreis ein Dokument unterzeichnen möchte, kann er dies so tun, dass bewiesen wird, dass jemand aus dem Kreis unterschrieben hat, aber niemand sagen kann, wer es war. Es ist, als würde die Unterschrift sagen: „Ich bin einer der 100 Menschen in diesem Kreis und ich bin autorisiert“, ohne auf ein spezifisches Gesicht zu zeigen.
Das Paper zeigt, wie man dies mit einem Werkzeug namens Ring Verifiable Random Function (rVRF) aufbaut. Dieses Werkzeug erledigt zwei Dinge gleichzeitig:
- Es wählt zufällig aus, wer im Club sein soll (damit der Dieb nicht vorhersagen kann, wer gewählt wird).
- Es ermöglicht den gewählten Mitgliedern, zu beweisen, dass sie im Club sind, ohne ihre Namen zu verraten.
Die Autoren beweisen mathematisch, dass selbst wenn der Dieb superschnell ist und Computer augenblicklich korrumpieren kann, er nicht herausfinden kann, welche Computer tatsächlich die Arbeit verrichten. Der Dieb bleibt im Dunkeln und muss raten, unfähig, die richtigen Leute ins Visier zu nehmen, um die Transaktion zu stoppen.
Das Ergebnis: StealthDust
Um zu zeigen, dass diese Idee in der realen Welt tatsächlich funktioniert, haben die Autoren ein neues Zahlungssystem namens StealthDust entwickelt. Dieses System löst ein kniffliges Problem namens „fraktioniertes Ausgeben“ (fractional spending), bei dem man sein Geld gleichzeitig in viele kleine Zahlungen aufteilen möchte.
In der alten Version dieses Systems mussten die Computer, um sicher vor dem „eilstürzenden Dieb“ zu sein, eine sehr langsame und komplizierte Methode namens „Secret Sharing“ anwenden. Es war, als würde man eine geheime Notiz durch eine Kette von Menschen weitergeben, wobei jeder eine Kopie schreiben und weiterreichen musste. Dies machte das System langsam und erforderte eine massive Menge an Kommunikation zwischen den Computern.
Mit StealthDust haben die Autoren diese langsame Secret-Sharing-Methode durch ihre Secret Quorums ersetzt. Da die Validatoren (die Computer, die die Arbeit verrichten) anonym bleiben, müssen sie ihre Identitäten nicht mit komplexen Secret-Sharing-Tricks verbergen. Sie können einfach ihren anonymen Beweis direkt senden.
Das Paper stellt fest, dass diese Änderung einen riesigen Unterschied macht:
- Geschwindigkeit: Es reduziert die Zeit, die für eine Zahlung benötigt wird, von 5 Nachrichtenverzögerungen auf 3 Nachrichtenverzögerungen.
- Effizienz: Es reduziert die Menge der Kommunikation, die zur Abrechnung der Konten nötig ist. Das alte System erforderte eine Komplexität von O(n³) (die sehr schnell wächst, wenn man mehr Leute hinzufügt), während StealthDust dies auf O(n²) senkt. Beim Einlösen von Geld sinkt die Komplexität von O(n²) auf nur O(n).
Was dies bedeutet
Das Paper behauptet nicht, alle Probleme des Universums gelöst zu zu haben. Es gibt zu, dass, falls der Netzwerkverkehr selbst Hinweise gibt (wie etwa wie schnell Nachrichten ankommen), ein sehr intelligenter Dieb dennoch einige Hinweise erhalten könnte. Zudem setzt das System voraus, dass es eine ausreichend große Gruppe potenzieller Kandidaten gibt, in der man sich verstecken kann; wenn fast jeder ein Dieb ist, verschwindet der Versteckort.
Die Autoren haben jedoch erfolgreich gezeigt, dass es möglich ist, ein System zu schaffen, in dem kleine Gruppen von Computern Entscheidungen schnell und sicher treffen können, selbst gegen Hacker, die ihre Ziele augenblicklich ändern können. Indem sie die Identität der Entscheidungsträger auch nach der Entscheidung geheim halten, haben sie einen Weg gefunden, verteilte Systeme sowohl schneller als auch sicherer zu machen. Es ist eine neue Art von Zaubertrick für das digitale Zeitalter: zu beweisen, dass man vertrauenswürdig ist, ohne jemals sein Gesicht zeigen zu müssen.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.