Function generate_proving_ctx 

pub fn generate_proving_ctx(
    user_pvs: Vec<F>,
) -> (AirProvingContext<CpuBackend<BabyBearPoseidon2Config>>, Vec<[F; 16]>)