Ein Tag, an dem Protokolle vor allem Dinge entfernten
Serguey Asael Shinder1 Min. LesezeitDie heutigen Protokollmeldungen aus vier Ketten haben als Funktionen kaum etwas gemeinsam und als Arbeit genau eines.
Bitcoins BIPs-Repository entfernte eine Finalizer-Klausel aus der Beschreibung eines Taproot-PSBT-Ausgabefelds - eine Anweisung, die auf der falschen Seite der Transaktion stand. Ethereums Kernentwickler setzten eine Reihe von EIPs auf die Aufnahmelisten, von denen die meisten entfernen: Storage-Clear-Refunds, die Refund-Obergrenze, Bloom-Filter, SELFDESTRUCT, die Felder deposit und eth1data. Auch Solanas SIMD-0558 ergaenzte keine Faehigkeit; es legte die Reihenfolge fest, in der ein Syscall scheitert. Und XLS-85d im XRP Ledger verwendet den groessten Teil seiner Substanz nicht auf die Escrow-Funktion, sondern auf die Invariantenpruefungen und die Aenderung an gateway_balances, die verhindern, dass die Funktion eine Berichtsluecke erzeugt.
Nichts davon ist ein Punkt auf einer Roadmap, und nichts davon taucht in einer Vergleichstabelle auf.
Es ist zugleich die Arbeit, die darueber entscheidet, ob zwei unabhaengige Implementierungen derselben Kette uebereinstimmen. Jede der heutigen Aenderungen schliesst eine Stelle, an der ein Leser der Spezifikation raten musste: was ein Finalizer mit einem Ausgabefeld tut, welcher Fehler zuerst greift, ob sich die eskrowierte Menge eines Emittenten in einem Aufruf lesen laesst. Eine Vermutung, die zwei Teams unterschiedlich aufloesen, ist ein Konsensfehler, der auf den Block wartet, der ihn ausloest.
Die Ethereum-Liste ist die schaerfste Fassung desselben Instinkts, denn Entfernen ist die teuerste Aenderung, die eine laufende Kette vornehmen kann - jedes Werkzeug, das die Funktion nutzte, bricht bei einer Hoehe, die niemand verschieben kann. Diesen Preis zu zahlen heisst, dass die Kosten des Mitschleppens einer Inkonsistenz inzwischen hoeher bewertet werden als die Kosten, das Abhaengige zu brechen. Dieses Urteil ist, wie Reife in einem Protokoll aussieht - und sie ist von Natur aus unspektakulaer.