pub fn generate_proving_input<SC: StarkProtocolConfig<F = F>>( user_pv_commit: [F; 8], merkle_proof: &[[F; 8]], memory_dimensions: MemoryDimensions, num_user_pvs: usize, ) -> (AirProvingContext<CpuBackend<SC>>, Vec<[F; 16]>)