Function prove_zerocheck_and_logup_gpu 

pub fn prove_zerocheck_and_logup_gpu<HS, TS>(
    transcript: &mut TS,
    mpk: &DeviceMultiStarkProvingKey<GenericGpuBackend<HS>>,
    proving_ctx: &ProvingContext<GenericGpuBackend<HS>>,
    save_memory: bool,
    monomial_num_y_threshold: u32,
    sm_count: u32,
    device_ctx: &GpuDeviceCtx,
) -> Result<(GkrProof<HS::SC>, BatchConstraintProof<HS::SC>, Vec<EF>), LogupZerocheckError>
where
    HS: GpuHashScheme,
    TS: GpuFiatShamirTranscript<HS::SC>,