pub fn generate_proving_ctx(
proofs: &[Proof<BabyBearPoseidon2Config>],
child_is_agg: bool,
child_merkle_depth: Option<usize>,
) -> DeferralAggPvsTraceCtxpub fn generate_proving_ctx(
proofs: &[Proof<BabyBearPoseidon2Config>],
child_is_agg: bool,
child_merkle_depth: Option<usize>,
) -> DeferralAggPvsTraceCtx