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