Kann Bitcoin (PoW) unter teilweiser Synchronität arbeiten?

Dieses Papier beweist rigoros, dass Bitcoin unter der Annahme einer begrenzten Nachrichtenübermittlungszeit einen Konsens erzielen kann:

Nachrichten in einer Mailbox können in beliebiger Reihenfolge und zu jeder Zeit zugestellt werden, außer es gibt eine maximale Verzögerung von ∆

Wenn ich es richtig verstehe, beweist dies nur, dass es im synchronen Netzwerk funktioniert. Wenn dem so ist, erscheint mir diese Annahme entspannt.

Tendermint- Papier behauptet, es könne unter der teilweise synchronen Annahme funktionieren (aus DLS-Papier ):

Es wird angenommen, dass es eine unbekannte Obergrenze Δ für die Zeit der zu liefernden Nachrichten gibt.

Das Setup ist insofern allgemeiner, als das upper bound ∆hier unbekannt ist .

Kann das Bitcoin-Protokoll auch in einem teilweise synchronen Netzwerk einen Konsens erzielen? Gibt es eine theoretische Arbeit, die sich dem Beweis widmet?

Antworten (1)

Wenn ich es richtig verstehe, beweist dies nur, dass es im synchronen Netzwerk funktioniert. Wenn dem so ist, erscheint mir diese Annahme entspannt.

Das Bitcoin-Netzwerk ist nicht synchron, es ist asynchron und behält den Konsens bei.

Kann das Bitcoin-Protokoll auch in einem teilweise synchronen Netzwerk einen Konsens erzielen?

Da Bitcoin ein asynchrones Netzwerk ist und einen Konsens erzielt, liegt es nahe, dass Bitcoin auch in einem synchronen oder teilsynchronen Netzwerk einen Konsens erzielen könnte.

Ich denke, mit einfachem Englisch ist nicht präzise genug für eine Diskussion. Es gibt so viele subtile Unterschiede zwischen verschiedenen Arten von Synchronie. Wie die Max-Message-Delivery-Delay-Annahme. Die Tatsache, dass es im wirklichen Leben die meiste Zeit "funktioniert", beweist nicht, dass es immer funktioniert. Nur rigorose Beweise können mich überzeugen.
Es gibt (noch) keinen Beweis dafür, dass Bitcoin in einem asynchronen Netzwerk einen Konsens erzielt, daher wissen wir nicht , ob dies der Fall ist oder welche zusätzlichen Annahmen erforderlich sind.
Ein Beweis für einen Konsens unter synchronen Annahmen ist meist vage: Mehr oder weniger gleichwertig mit dem Nachweis, dass ein digitales Signaturschema in einem Universum, in dem die einzige Möglichkeit, eine Signatur zu erzeugen, darin besteht, dem Protokoll zu folgen, fälschungssicher ist. Formalisierungen, die zeigen, dass Bitcoin unter erfundenen Modellen sicher ist, könnten ein nützlicher Fortschritt sein, sind aber kein wirklicher Beweis für die Sicherheit in einem nützlichen Sinne. Ich bin sehr besorgt über die Ethik einiger Parteien, die zeigen, dass Bitcoin in einer Spielzeugformalisierung sicher ist, und dann argumentieren, dass eine Alternative ebenso sicher ist, weil sie auch in derselben Spielzeugformalisierung sicher ist.
@G.Maxwell, geht Bitcoin nicht davon aus, dass alle Peer-Uhren innerhalb von 2 Stunden synchronisiert werden? Das heißt, mein Knoten wird Blöcke in 2 Stunden in der Zukunft ablehnen, also gibt es eine gewisse Synchronisationsannahme, richtig?
Kann Bitcoin (PoW) unter teilweiser Synchronität arbeiten?
AntwortenHierDatenschutz-Bestimmungen1y, 0v