ZKProphet: Understanding Performance of Zero-Knowledge Proofs on GPUs