Add soft checkpoints such that L1 miners will only verify the SNARK proof up to some point in the past (a month), determined by how long the rollup data must remain available (ephemeral data).
A less ambitious approach would be to support several specific VMs, and have a different precompile for each one. Eg, we can support Cairo as one VM and zkEVM as another.
Support “gas stations” that can be securely paid in internal rollup currency (either one centralized gas station or multiple)
With second approach user will choose which gas station to use, first approach single “smart contract” gas station this also opens room for races and potential MEV, but the point is that the rollup operators make the decision about how this works, not us (and different rollups can try different strategies).
Bullet points from this discussion (Thoughts about generic support for layer 1.5 rollups)
See