Vəziyyət Maşını

Blokçeyn vəziyyət maşını (state machine) kimi işləyir: o, tək bir cari vəziyyəti saxlayır — bütün hesab balansları, kontrakt yaddaş xanaları və nonce dəyərləri — və əməliyyatlar bu vəziyyəti bir keçərli haldan digərinə keçirən giriş məlumatlarıdır. Əməliyyatın tətbiq qaydaları deterministikdir, ona görə eyni blokları başlanğıcdan yenidən emal edən istənilən node tam olaraq eyni vəziyyətə gəlməlidir; minlərlə müstəqil maşının koordinator olmadan razılaşmasını mümkün edən də budur. Bu baxış şəbəkənin praktik davranışını izah edir: əməliyyatlar icra edilməzdən əvvəl sıralanır, yanlış giriş qismən tətbiq olunmaq əvəzinə tamamilə rədd edilir və rollup vəziyyət keçidinin qaydalara uyğun olduğunu sübut etməklə düzgün işlədiyini göstərə bilir.