Once all validators are verifying execution proofs, the same proofs can also be used by an EXECUTE precompile for native zk-rollups.

Ethereum’s zkEVM rollout is designed so that once validators verify mainnet execution using zk-proofs, the same proofs can be reused by native zk-rollups.