pub fn generate_proving_ctx(
proofs: &[Proof<BabyBearPoseidon2Config>],
proofs_type: ProofsType,
child_is_app: bool,
absent_trace_pvs: Option<(DeferralPvs<F>, bool)>,
) -> (AirProvingContext<CpuBackend<BabyBearPoseidon2Config>>, Vec<[F; 16]>, Vec<usize>)