Máquina de Estados

Una blockchain se comporta como una máquina de estados (state machine): mantiene un único estado actual — cada saldo de cuenta, cada ranura de almacenamiento de contrato y cada nonce — y las transacciones son las entradas que la llevan de un estado válido al siguiente. Las reglas para aplicar una transacción son deterministas, así que cualquier nodo que reprocese los mismos bloques desde el génesis llega exactamente al mismo estado, y eso es lo que permite que miles de máquinas independientes coincidan sin coordinador. Este enfoque explica buena parte del comportamiento real: las transacciones se ordenan antes de ejecutarse, una entrada inválida se rechaza por completo en vez de aplicarse a medias, y un rollup demuestra su trabajo probando la transición de estado.