pub fn write_app_proof_to_file<P: AsRef<Path>>( proof: ContinuationVmProof<SC>, path: P, ) -> Result<()>