pub fn generate_proving_ctx(
proofs: &[Proof<BabyBearPoseidon2Config>],
child_is_agg: bool,
child_vk_commit: VkCommit<F>,
) -> DeferralVerifierPvsTraceCtxpub fn generate_proving_ctx(
proofs: &[Proof<BabyBearPoseidon2Config>],
child_is_agg: bool,
child_vk_commit: VkCommit<F>,
) -> DeferralVerifierPvsTraceCtx