Kind of! But that state can also be a proof that a transition function is correct, rather than eg raw application state. Look into Mina or Zcash to better unde

Kind of! But that state can also be a proof that a transition function is correct, rather than eg raw application state. Look into Mina or Zcash to better understand what I mean. Off-chain clients (eg, wallets in Zcash) keep the application state, and the state committed to the chain is just the proof that the application state is following an agreed-upon state transition function. Relying on hashing, computation proofs, etc are ways to asymmetrically enjoy the benefits of global coordination without requiring all nodes in the network to run the code. Instead, they just verify the receipts of off-chain agents who ran the code.