*Haftungsausschluss: Nichts davon ist als geringfügig gegen einen Kunden gedacht. Es besteht eine hohe Wahrscheinlichkeit, dass jeder Kunde und möglicherweise sogar die Spezifikation seine eigenen Versehen und Fehler haben. ETH2 ist ein kompliziertes Protokoll, und die Menschen, die es umsetzen, sind nur menschlich. Der Punkt dieses Artikels ist es, hervorzuheben, wie und warum die Risiken gemindert werden.*
Mit der Einführung des Medalla -TestNet wurden die Menschen ermutigt, mit verschiedenen Kunden zu experimentieren. Und direkt von Genesis haben wir gesehen, warum: Nimbus- und Lodestar -Knoten nicht mit der Arbeitsbelastung eines vollständigen Testnetzes fertig werden und steckten fest. [0][1] Infolgedessen konnte Medalla die erste halbe Stunde seiner Existenz nicht abschließen.
Am 14. August verlor Prysm -Knoten die Zeit, als eine der Zeitserver, die sie als Referenz verwendeten, plötzlich einen Tag in die Zukunft sprangen. Diese Knoten machten dann Blöcke und Bescheinigungen, als wären sie auch in Zukunft. Als die Uhren auf diesen Knoten korrigiert wurden (entweder durch Aktualisierung des Clients oder weil der Timeserver zur richtigen Zeit zurückgekehrt war), fanden diejenigen, die den Standard -Schrägstrich deaktiviert hatten, ihre Einsätze aufschlitzten.
Was genau passiert ist, ist etwas subtiler. Ich empfehle das Lesen dringend Raul Jordans Aufschreiben des Vorfalls.
Taktversagen – die Verschleierung
In dem Moment, in dem Prysm -Knoten mit dem Reisen begann, machten sie ~ 62% des Netzwerks aus. Dies bedeutete, dass der Schwellenwert zur Fertigstellung von Blöcken (> 2/3 in einer Kette) nicht erfüllt werden konnte. Schlimmer noch, diese Knoten konnten die Kette, die sie erwarteten, nicht finden (es gab eine 4 -stündige “Lücke” in der Geschichte und sie sprangen alle in etwas unterschiedliche Zeiten vor) und so überfluteten sie das Netzwerk mit kurzen Gabeln, wie sie bei den “fehlenden” Daten vermuteten.
Prysm macht derzeit 82% der Medalla -Knoten aus 😳! [ethernodes.org]
Zu diesem Zeitpunkt wurde das Netzwerk mit Tausenden verschiedener Vermutungen an dem, was der Kopf der Kette war, überflutet und alle Kunden begannen sich unter der verstärkten Arbeitsbelastung der herauszufinden, welche Kette die richtige war. Dies führte dazu, dass Knoten zurückfielen, die Synchronisation, das Gedächtnis und andere Formen des Chaos mussten, die das Problem alle verschlechterten.
Letztendlich war dies eine gute Sache, da wir es uns ermöglichten, nicht nur das Wurzelproblem in Bezug auf Uhren zu beheben, sondern die Clients unter dem Zustand des Massenknotenausfalls und der Netzwerkbelastung zu testen. Trotzdem muss dieses Versagen nicht so extrem gewesen sein, und der Schuldige in diesem Fall war Prysms Dominanz.
Schilling -Dezentralisierung – Teil I, es ist gut für ETH2
Wie ich zuvor besprochen habe1/3 ist die magische Zahl, wenn es um sichere, asynchrone BFT -Algorithmen geht. Wenn mehr als 1/3 Validatoren offline sind, können Epochen nicht mehr abgeschlossen sein. Während die Kette noch wächst, ist es nicht mehr möglich, auf einen Block zu verweisen und zu garantieren, dass sie ein Teil der kanonischen Kette bleibt.
Schilling -Dezentralisierung – Teil II, es ist gut für Sie
Validatoren sind so weit wie möglich angeregt, das zu tun, was für das Netzwerk gut ist, und vertrauen nicht einfach, etwas zu tun, weil es das Richtige ist.
Wenn mehr als 1/3 der Knoten offline sind, werden die Strafen für die Offline -Knoten zunehmen. Dies wird als Inaktivitätsstrafe bezeichnet.
Dies bedeutet, dass als Validator, Sie möchten versuchen, sicherzustellen, dass wenn etwas Ihren Knoten offline stellt, es unwahrscheinlich ist, dass es viele andere Knoten gleichzeitig offline abbricht.
Gleiches gilt für die Häutung. Während es immer die Möglichkeit besteht, dass Ihre Validatoren aufgrund eines Spezifikations- oder Softwarefehlers/Fehlers gesenkt werden, sind die Strafen für einzelne Schrägstriche “nur” 1 ETH.
Wenn jedoch viele Validatoren gleichzeitig wie Sie abgeschnitten werden, steigen die Strafen bis zu 32 ETH. Der Punkt, an dem dies geschieht, ist wieder der Magic 1/3 -Schwellenwert. [An explanation of why this is the case can be found here].
Diese Anreize werden als Anti-Korrelation- und Sicherheits-Anti-Korrelation als Lebendigkeit bezeichnet und sind sehr absichtliche Aspekte des Entwurfs von ETH2. Anti-Korrelations-Mechanismen treiben Validatoren an, Entscheidungen zu treffen, die im besten Interesse des Netzwerks sind, indem sie individuelle Strafen an die Auswirkungen jedes Validators auf das Netzwerk verbinden.
Schilling -Dezentralisierung – Teil III, die Zahlen
ETH2 wird von vielen unabhängigen Teams implementiert, die jeweils unabhängige Kunden entsprechen Spezifikation In erster Linie vom ETH2 -Forschungsteam geschrieben. Dies stellt sicher, dass es mehrere Leuchtfeuerknoten- und Validator-Client-Implementierungen gibt, die jeweils unterschiedliche Entscheidungen über die Technologie, Sprachen, Optimierungen, Kompromisse usw. treffen, die für den Aufbau eines ETH2-Kunden erforderlich sind. Auf diese Weise wirkt sich ein Fehler in jeder Ebene des Systems nur auf diejenigen aus, die einen bestimmten Client ausführen, und nicht auf das gesamte Netzwerk.
Wenn im Beispiel des Prysm Medalla-Zeitverbunds nur 20% der ETH2-Knoten Prysm und 85% der Menschen online betrieben hätten, dann hätte die Inaktivitätsstrafe für Prysm-Knoten nicht eingebunden und das Problem hätte mit nur geringfügigen Strafen und einigen schlaflosen Nächten für die Entwickler behoben werden können.
Da im Gegensatz dazu so viele Menschen denselben Kunden (viele von ihnen behindert hatten), wurden zwischen 3500 und 5000 Validatoren in kurzer Zeit geschleift.* Der hohe Grad an Korrelation bedeutet, dass die Schrägstriche ~ 16 ETH für diese Validatoren waren, weil sie einen beliebten Kunden verwendeten.
* Zum Zeitpunkt des Schreibens strömen die Schrägstriche immer noch ein, so dass es noch keine endgültige Nummer gibt.
Probieren Sie etwas Neues aus
Jetzt ist es an der Zeit, mit verschiedenen Kunden zu experimentieren. Finden Sie einen Kunden, den eine Minderheit von Validatoren verwendet (Sie können sich die Verteilung ansehen Hier). LeuchtturmAnwesend MeerAnwesend RegensturmUnd Prysm sind momentan alle einigermaßen stabil Leitstern holt schnell auf.
Probieren Sie vor allem einen neuen Kunden aus! Wir haben die Möglichkeit, Medalla eine gesündere Verteilung auf Medalla zu schaffen, um sich auf ein dezentrales Mainnet vorzubereiten.
