Die Annahme aufschreiben: rippled, Ethereum und Solana machen ungeschriebene Regeln explizit
Victoria Shinder1 Min. LesezeitDrei kleine Änderungen, am 6. Oktober auf drei verschiedenen Chains übernommen, folgen einem Muster, das leicht übersehen wird, weil keine von ihnen heute etwas für Nutzer ändert.
rippled #8152. Eine Prüfung des Lending-Codes fand eine Überweisung ohne Übertragbarkeitsprüfung. Der befürchtete Zustand war unerreichbar – aber nur, weil Ausgabeflags nie gelöscht werden, und das galt nur, weil eine Funktion zufällig Flags hinzufügt und nie entfernt. Die Lösung flickte nicht den Lending-Code, sondern machte „Ausgabeflags werden nie gelöscht“ zu einer Invariante, die das Ledger durchsetzt.
EIP-8298. Der Entwurf führt eine Instruktion ein, mit der ein Konto den Code eines anderen übernimmt. Sein neuer Mempool-Abschnitt legt fest, was Knoten über möglicherweise veränderlichen Code annehmen sollen: die Instruktion bei der Validierung verbieten, Verträge, die sie enthalten, als veränderlich behandeln und begrenzen, wie viele wartende Transaktionen vom Code eines Vertrags abhängen dürfen.
SIMD-0464. Eine Ergänzung von vier Zeilen hält fest, dass zwei Empfängerkonten für Belohnungen dasselbe Konto oder das Vote-Konto selbst sein dürfen und Prüfungen je Index gelten. Vorher musste ein Implementierer raten.
Der gemeinsame Nenner. In allen drei Fällen war das Risiko kein existierender Fehler, sondern eine Annahme, die niemand aufgeschrieben hatte – nichts hätte eine spätere Änderung daran gehindert, sie zu brechen. Konsenssoftware ist dafür besonders anfällig: Zwei Clients, die eine ungeschriebene Regel unterschiedlich lesen, sind sich uneins, welche Transaktionen gültig sind, und eine spätere Funktion kann stillschweigend auf etwas bauen, das niemand zugesagt hat.
Für Leser, die Protokollentwicklung verfolgen. Solche Änderungen machen selten Schlagzeilen, und sie sind kein Krisenzeichen; keine der drei behebt eine ausgenutzte Lücke. Sie zeigen, dass Review funktioniert: Jemand fragte, was wahr sein muss, damit der Code sicher ist, und sorgte dafür, dass es wahr bleibt.