Máquina de Estados

Uma blockchain se comporta como uma máquina de estados (state machine): mantém um único estado atual — cada saldo de conta, cada slot de armazenamento de contrato e cada nonce — e as transações são as entradas que a levam de um estado válido ao seguinte. As regras de aplicação de uma transação são determinísticas, então qualquer nó que reprocessar os mesmos blocos desde o início chega exatamente ao mesmo estado, e é isso que permite a milhares de máquinas independentes concordarem sem um coordenador. Essa leitura explica muito do comportamento prático da rede: as transações são ordenadas antes de executadas, uma entrada inválida é rejeitada por completo em vez de aplicada pela metade, e um rollup prova que processou tudo corretamente ao provar sua transição de estado.