pub fn write_app_pk_to_file<VC: VmConfig<BabyBear>, P: AsRef<Path>>( app_pk: AppProvingKey<VC>, path: P, ) -> Result<()>