pub fn read_proof_file(path: &str) -> Result<Vec<u8>, String>
Read and decode a hex-encoded proof file