pub fn generate_proving_ctx( app_exe_commit: [F; 8], app_vm_commit: [F; 8], user_pvs: Vec<F>, def_idx: usize, ) -> DeferralOutputCtx<CpuBackend<BabyBearPoseidon2Config>>