Машина состояний

Блокчейн работает как машина состояний (state machine): он хранит одно текущее состояние — все балансы аккаунтов, ячейки хранилища контрактов и нонсы, — а транзакции служат входными данными, переводящими его из одного корректного состояния в следующее. Правила применения транзакции детерминированы, поэтому любой узел, заново проигравший те же блоки с самого начала, обязан прийти ровно к тому же состоянию: именно это позволяет тысячам независимых машин согласовываться без координатора. Такой взгляд объясняет многое в поведении сети на практике: транзакции сначала упорядочиваются, а потом исполняются; некорректный ввод целиком отклоняется, а не применяется частично; а роллап может доказать корректность обработки, доказав, что его переход состояния соответствовал правилам.