Distance-Preserving Digests: A Primitive for BFT Consensus
Dieser Beitrag führt „abstandserhaltende Digests" ein, eine Primitive, die kommutative Vektorsummen anstelle von kollisionsresistenten Hashes verwendet, um effiziente Finalität in einem einzigen Rundenwechsel und skalierbaren, baumstrukturierten BFT-Konsens zu ermöglichen, indem sie Validatoren erlaubt, Zustandsabweichungen zu messen und Konsistenz ohne vollständige Zustandssynchronisation zu verifizieren.
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 riesige Gruppe von Menschen vor, die versuchen, sich auf eine einzige Liste von Regeln für ein Spiel zu einigen. In der Welt der Blockchain und sicherer Netzwerke wird diese Gruppe als „Konsensprotokoll" bezeichnet. Seit Jahrzehnten war der Standardweg, um zu überprüfen, ob alle übereinstimmen, wie der Vergleich zweier Personenlisten, indem sie in einen einzigen, unzerbrechlichen Code (einen „Hash") umgewandelt wurden.
Hier ist das Problem mit dieser alten Methode: Sie zerstört Nuancen.
Wenn Person A 19 von 20 korrekten Einträgen hat und Person B alle 20 korrekt hat, besagt die alte Methode, dass ihre Codes völlig unterschiedlich sind. Es ist, als würde man sagen, eine Liste mit einem Tippfehler sei genauso „falsch" wie eine Liste ohne jegliche Einträge. Da das System nicht zwischen „fast perfekt" und „völlig kaputt" unterscheiden kann, zwingt es alle zum Stoppen, zum erneuten Senden ihrer gesamten Listen und zum Warten auf eine perfekte Übereinstimmung, bevor sie fortfahren können. Dies ist langsam, teuer und erfordert riesige Gruppen von Menschen, um sicher zu sein.
Dieses Papier stellt ein neues Werkzeug vor, das Abstandserhaltende Digests genannt wird. Denken Sie daran als ein System für „fuzzy matches" (unscharfe Übereinstimmungen), das der Gruppe erlaubt zu sehen, wie nah sie einer Einigung sind, anstatt nur zu fragen: „Sind wir identisch?"
Die Kernidee: Die Analogie des „Vektorsummen"
Anstatt eine Liste von Transaktionen in einen einzigen, starren Code umzuwandeln, schlägt das Papier vor, jede Transaktion in einen winzigen Pfeil (einen Vektor) in einem 8-dimensionalen Raum umzuwandeln.
- Der alte Weg: Wenn Ihnen ein Eintrag fehlt, ändert sich Ihr Code vollständig.
- Der neue Weg: Wenn Ihnen ein Eintrag fehlt, bewegt sich Ihr „Pfeil" nur ein winziges Stück vom Zentrum weg. Wenn Ihnen zehn Einträge fehlen, bewegt er sich weiter weg.
Dies ermöglicht dem System, Abstand zu messen.
- Abstand = 0: Alle haben exakt dieselbe Liste.
- Abstand = Winzig: Allen fehlen nur ein oder zwei Einträge (vielleicht aufgrund einer langsamen Internetverbindung).
- Abstand = Riesig: Jemand lügt oder hat eine völlig andere Liste.
Drei große Verbesserungen
Das Papier behauptet, dass diese einfache Änderung drei große Kopfschmerzen im Blockchain-Design löst:
1. Die „Fast Lane" für Einigung
- Alter Weg: Selbst wenn alle perfekt übereinstimmen, muss das System drei langsame Abstimmungsrunden durchlaufen, um sicherzugehen.
- Neuer Weg: Da das System sehen kann, dass alle sehr nah beieinander sind (der Abstand ist nahe Null), kann es sofort sagen: „Okay, ihr stimmt alle zu!" und die Entscheidung in einer Runde abschließen. Es ist, als würde ein Lehrer sehen, dass eine Klasse zu 99 % bereit ist und sagen: „Großartig, machen wir weiter", anstatt auf eine formale Abstimmung zu warten.
2. Kleinere, tiefere Teams
- Alter Weg: Um sicher zu sein, mussten Gruppen (Ausschüsse) riesig sein (z. B. 128 Personen). Wenn eine kleine Gruppe sogar nur ein paar Lügner hatte, könnte die gesamte Gruppe scheitern.
- Neuer Weg: Da das System die Lügner anhand ihres „Abstands" erkennen kann (sie werden weit vom Gruppenmittelwert entfernt sein), kann es sie sofort ausschließen. Das bedeutet, Sie können viel kleinere Gruppen haben (z. B. 10 Personen) und trotzdem sicher sein. Sie können auch tiefere „Bäume" dieser Gruppen aufbauen, was die Skalierbarkeit des Netzwerks erheblich verbessert.
3. Behebung von Cross-Chain-Chaos
- Alter Weg: Wenn zwei verschiedene Teile einer Blockchain miteinander sprechen müssen, müssen sie normalerweise eine Nachricht für jede einzelne Transaktion senden, um zu überprüfen, ob sie übereinstimmen. Dies ist wie das Überprüfen jedes einzelnen Ziegels in zwei verschiedenen Wänden, um zu sehen, ob sie gleich sind.
- Neuer Weg: Sie tauschen einfach ihre „Abstands-Zusammenfassungen" aus. Wenn die Zusammenfassungen übereinstimmen, großartig. Tun sie es nicht, verwendet das System einen speziellen „Bloom-Filter" (wie eine schnelle Checkliste), um genau zu finden, welche wenigen Ziegel unterschiedlich sind, und repariert nur diese. Dies senkt die Kommunikationskosten in vielen Fällen um 99 %.
Wie es funktioniert (Der Zwei-Phasen-Prozess)
Das Papier beschreibt ein Protokoll namens Proxima, das dieses Werkzeug in zwei Schritten verwendet:
- Phase 1 (Der „Fuzzy"-Check): Alle senden ihre Zusammenfassung. Das System berechnet den Abstand. Wenn alle nah beieinander sind, überspringt es den Rest und schließt sofort ab. Wenn einige Personen weit entfernt sind, bittet das System nur diese spezifischen Personen, ihre fehlenden Daten zu senden (unter Verwendung des Bloom-Filter-Tricks).
- Phase 2 (Der „Harte"-Check): Sobald die Gruppe ausgerichtet ist, unterschreibt jeder ein finales, unzerbrechliches Zertifikat. Dies stellt sicher, dass selbst wenn jemand versucht hat, das System in Phase 1 zu täuschen, er die finale Unterschrift nicht fälschen kann.
Die Ergebnisse
Das Papier vergleicht dieses neue System (Proxima) mit dem aktuellen Industriestandard (HotStuff):
- Geschwindigkeit: Auf einem einzelnen Computerkern ist Proxima ungefähr 20-mal schneller (0,9 Sekunden vs. 18 Sekunden), da es unnötige Runden überspringt.
- Effizienz: Mit 100.000 Validatoren sendet Proxima 2,2-mal weniger Nachrichten als das alte System.
- Sicherheit: Die Mathematik beweist, dass das System, solange weniger als 33 % der Gruppe böswillig sind, nicht dazu gebracht werden kann, gleichzeitig zwei verschiedene Regeln zu akzeptieren.
Das Fazit
Dieses Papier schlägt vor, ein „starrsinniges, Alles-oder-Nichts"-Prüfsystem durch ein „flexibles, abstandsmessendes" System zu ersetzen. Indem erkannt wird, dass „fast richtig" tatsächlich nützliche Information ist, kann das System schneller vorankommen, kleinere Teams nutzen und viel weniger kommunizieren, alles bei gleichbleibend hohem Sicherheitsniveau.
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.