pub fn write_proof_file(path: &str, proof_bytes: &[u8]) -> Result<(), String>
Write a proof to a hex-encoded file