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