Durum Makinesi

Bir blok zinciri durum makinesi (state machine) gibi davranır: tek bir güncel durum tutar — her hesap bakiyesi, her sözleşme depolama alanı ve her nonce — ve işlemler bu durumu geçerli bir halden bir sonrakine taşıyan girdilerdir. Bir işlemin uygulanma kuralları deterministiktir; dolayısıyla aynı blokları başlangıçtan itibaren yeniden işleyen her düğüm tam olarak aynı duruma ulaşmak zorundadır. Binlerce bağımsız makinenin bir koordinatör olmadan anlaşabilmesini sağlayan şey budur. Bu bakış, sistemin pratikteki davranışının çoğunu açıklar: işlemler yürütülmeden önce sıralanır, geçersiz bir girdi kısmen uygulanmak yerine tümüyle reddedilir ve bir rollup, durum geçişinin kurallara uyduğunu kanıtlayarak işlemleri doğru işlediğini ispatlayabilir.