pub fn generate_proving_ctx( proofs: &[Proof<BabyBearPoseidon2Config>], child_is_agg: bool, ) -> AirProvingContext<CpuBackend<BabyBearPoseidon2Config>>