Note also; it doesn't Have to be ZK proofs, you can still demand that miners do the computing and finalize the state, but you can demand that with latency, so they get to do that in the background and take their time, not while accepting txn to put in the block... Then they can vote on the state commitment of previous epoch.
The downside of that is that you don't get to invent custom vms and don't save miners the effort. The upside is that you trust miners majority, instead of math and possibly buggy code.
I don't know which is better, but I wanted to say this is possible
