Each transaction triggers a state transition, updating balances and storage in the EVM.

ZK rollups generate proofs that verify state transitions are valid before posting the compressed result to L1.