Everything You Wanted to Know About Polygon zkEVM’s Prover, But Were Too Afraid to Ask