Zustandsmaschine

Eine Blockchain verhält sich wie eine Zustandsmaschine (State Machine): Sie hält einen aktuellen Zustand — jeden Kontostand, jeden Speicherplatz eines Contracts und jede Nonce — und Transaktionen sind die Eingaben, die sie von einem gültigen Zustand in den nächsten überführen. Die Regeln zur Anwendung einer Transaktion sind deterministisch, deshalb muss jeder Knoten, der dieselben Blöcke ab dem Genesis-Block nachvollzieht, exakt denselben Zustand erreichen. Genau das erlaubt Tausenden unabhängigen Rechnern Einigkeit ohne Koordinator. Diese Sichtweise erklärt vieles am realen Verhalten: Transaktionen werden vor der Ausführung geordnet, eine ungültige Eingabe wird ganz verworfen statt teilweise angewandt, und ein Rollup kann korrekte Verarbeitung beweisen, indem es seinen Zustandsübergang beweist.