Determinismus, Vorhersagbarkeit und Transaktionsfehler

Deterministisch heißt nicht automatisch vorhersehbar für den Nutzer

Der Begriff Determinismus wird in Blockchain-Diskussionen häufig unsauber verwendet. Ein deterministisches Ausführungsmodell liefert bei denselben gültigen Eingaben und demselben Ausgangszustand dasselbe Ergebnis. Das ist für Konsens essenziell: verschiedene Knoten müssen denselben Zustandsübergang reproduzieren können.

Netzwerkdeterminismus und Pre-Submission-Predictability

Davon zu unterscheiden ist die Frage, wie sicher ein Nutzer das Ergebnis vor dem Absenden kennt. In einem System mit gemeinsamem veränderbarem Zustand kann sich der relevante Zustand zwischen Simulation und tatsächlicher Blockausführung ändern. Die Ausführung im Block kann trotzdem vollständig deterministisch sein, sobald Reihenfolge und Ausgangszustand feststehen.

Bei UTXO- und eUTXO-Transaktionen werden konkrete Inputs genannt. Sind diese Inputs zum Ausführungszeitpunkt noch gültig und unverbraucht, ist der relevante Zustand stärker eingegrenzt. Wurde einer inzwischen ausgegeben, muss die Transaktion typischerweise verworfen oder neu gebaut werden.

Simulation ist kein Konsens

Wallets und Anwendungen können Transaktionen vorab simulieren. Eine Simulation hilft bei Kostenabschätzung und Fehlererkennung. Sie ist aber kein Ersatz für die Validierung im Netzwerk und keine Garantie, dass alle externen Bedingungen bis zur Aufnahme in einen Block unverändert bleiben.

Ressourcenmessung und Gebühren

Smart-Contract-Plattformen benötigen Regeln, um Rechenzeit, Speicherzugriffe oder andere knappe Ressourcen zu begrenzen und zu bepreisen. Account-basierte Plattformen verwenden häufig Gas-ähnliche Modelle. eUTXO-Plattformen können Ressourcen ebenfalls messen und Gebühren oder Sicherheiten verwenden. Deshalb ist die pauschale Aussage „fehlgeschlagene eUTXO-Transaktionen kosten niemals etwas“ keine allgemeine Eigenschaft des Zustandsmodells.

Drei Fehlerklassen auseinanderhalten

1. Konstruktionsfehler: Die Transaktion ist bereits lokal offensichtlich ungültig.
2. Konfliktfehler: Ein benötigter Zustand oder Input wurde vor Aufnahme der Transaktion verändert beziehungsweise verbraucht.
3. Ausführungsfehler: Programmregeln oder Ressourcenbedingungen führen während der Validierung zum Scheitern.

Die genaue Gebührenfolge dieser Fälle ist protokollspezifisch und kann sich durch Upgrades ändern. Für einen zeitlosen Kurs ist wichtiger, die Fehlerklasse zu erkennen als einen aktuellen Preis auswendig zu lernen.

Determinismus beschreibt die Beziehung zwischen Eingangsdaten und Ergebnis. Vorhersagbarkeit beschreibt zusätzlich, wie sicher du diese Eingangsdaten vor der endgültigen Ausführung kennst.

Praxisaufgabe: Drei Arten von Unsicherheit

1. Formuliere eine Transaktion, die lokal schon ungültig ist.
2. Formuliere eine UTXO-Transaktion, deren Input ein anderer Nutzer vorher ausgibt.
3. Formuliere eine account-basierte Transaktion, deren Ergebnis von einem inzwischen geänderten Contract-Wert abhängt.
4. Ordne jeden Fall als Konstruktion, Konflikt oder Ausführung ein.
5. Schreibe dazu, welche Information eine Vorab-Simulation liefern kann und welche nicht.

Mini-Schritt: Ersetze den Satz „Blockchain X ist deterministisch“ durch eine präzisere Aussage darüber, was genau deterministisch ist.