Nothing, it's already supported. In fact, Circom, one zk programming language, will output a Solidity verifier that can be deployed on any EVM chain. The proof generation would be run off chain, but the verification can and does occur directly on mainnet.