Walrus Tackles die synchrone Herausforderungsschwäche in den heutigen Speichersystemen
Dezentrale Speichersysteme verlassen sich auf Herausforderungen, um zu überprüfen, ob Validatoren tatsächlich Daten speichern. Ein einfaches Mechanismus: das Protokoll fragt zufällig "Hast du Blob X?" und erwartet schnelle Antworten. Der Haken ist die Synchronität – das funktioniert nur, wenn die Antworten innerhalb vorhersehbarer Zeitgrenzen eintreffen.
Echte Netzwerke verletzen diese Annahme ständig. Ein Validator könnte Daten korrekt speichern, aber Netzwerkverzögerungen, regionale Überlastungen oder kurze Ausfälle erfahren. Unter synchronen Herausforderungsmechanismen erscheint dieser ehrliche Validator als nicht reagierend. Das Protokoll bestraft ihn trotz korrekten Verhaltens. In der Zwischenzeit können wirklich böswillige Validatoren ihre Antworten strategisch timen, um der Erkennung zu entkommen.
Synchrone Herausforderungen schaffen perverse Anreize. Systeme müssen Zeitüberschreitungen großzügig festlegen, um falsche Positivmeldungen zu vermeiden, was die Erkennung verlangsamt. Oder sie setzen Zeitüberschreitungen eng, um Fehlverhalten schnell zu erfassen, was ehrliche Knoten bestraft, die mit vorübergehenden Netzwerkproblemen konfrontiert sind. So oder so, das System verschlechtert sich.
@Walrus 🦭/acc verzichtet vollständig auf synchrone Herausforderungen. Seine asynchrone Verifizierung hängt nicht von der Antwortzeit ab. Eine Herausforderung bleibt gültig, ob eine Antwort in Millisekunden oder Tagen eintrifft. Validatoren können nicht durch strategische Verzögerung ausweichen, und ehrliche Knoten werden niemals bestraft für Netzwerkbedingungen, die außerhalb ihrer Kontrolle liegen.
Dieser Übergang von Synchronität zu Asynchronität ist subtil, aber tiefgreifend – er stimmt die Annahmen des Protokolls mit dem tatsächlichen Verhalten echter Netzwerke überein.
