pub fn read_app_proof_from_file<P: AsRef<Path>>( path: P, ) -> Result<ContinuationVmProof<BabyBearPoseidon2Config>>