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.