Trait DeviceDataTransporter

pub trait DeviceDataTransporter<SC, PB>
where
    SC: StarkGenericConfig,
    PB: ProverBackend<Val = Val<SC>, Challenge = SC::Challenge, Commitment = Com<SC>>,
{
    // Required methods
    fn transport_pk_to_device<'a>(
        &self,
        mpk: &'a MultiStarkProvingKey<SC>,
        air_ids: Vec<usize>,
    ) -> DeviceMultiStarkProvingKey<'a, PB>
       where SC: 'a;
    fn transport_matrix_to_device(
        &self,
        matrix: &Arc<RowMajorMatrix<Val<SC>>>,
    ) -> PB::Matrix;
    fn transport_pcs_data_to_device(&self, data: &PcsData<SC>) -> PB::PcsData;
}

Trait to manage data transport of prover types from host to device.

Required Methods

fn transport_pk_to_device<'a>( &self, mpk: &'a MultiStarkProvingKey<SC>, air_ids: Vec<usize>, ) -> DeviceMultiStarkProvingKey<'a, PB>

where SC: 'a,

Transport the proving key to the device, filtering for only the provided air_ids.

fn transport_matrix_to_device( &self, matrix: &Arc<RowMajorMatrix<Val<SC>>>, ) -> PB::Matrix

fn transport_pcs_data_to_device(&self, data: &PcsData<SC>) -> PB::PcsData

Implementors

impl<SC> DeviceDataTransporter<SC, CpuBackend<SC>> for CpuBackend<SC>

where SC: StarkGenericConfig,