Ethereum's ZK roadmap can finally decouple gas limits from validation costs, and a lot more.

Enshrining multiple proof systems makes no sense though from a shipping speed perspective.

Keep it offchain, let the user decide whatever combination they want to use for redundancy.