pub(crate) fn load_proof( fixtures_dir: &Path, program_name: &str, proof_type: ProofType, index: usize, ) -> Result<Proof<SC>>