Prover time comparison of GKR+Groth16 vs. Groth16 for proving MiMC hashes