CairoVM and Optimistic Validity Rollups

The next generation of optimistic rollups seem to be powered by utilizing validity proofs for proving fraud rather than simulation/emulation.You can read about one possible implementation here.

This means we might be able to use the succintness provided by validity proofs as well as teh efficiency from the optimistic setup to achieve cost reductions and performance boosts that are even greater than just a traditional validity proof -based zk rollups.

Can this same method be applied for CairoVM based rollups? Could one run an optimistic validity rollup that proves/verifies validity of CairoVM state transitions only when challenged?

Anyone working on this?