Struct CpuDevice 

pub struct CpuDevice<SC> {
    pub config: Arc<SC>,
    /* private fields */
}

Safety

See CpuBackend.

Fields

config: Arc<SC>

Implementations

impl<SC> CpuDevice<SC>

pub fn new(config: Arc<SC>, log_blowup_factor: usize) -> Self

Constructs a new CpuDevice.

impl<SC> CpuDevice<SC>

pub fn config(&self) -> &SC

impl<SC: StarkGenericConfig> CpuDevice<SC>

pub fn pcs(&self) -> &SC::Pcs

Trait Implementations

impl<SC> Clone for CpuDevice<SC>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

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

where SC: StarkGenericConfig,

fn transport_pk_to_device( &self, mpk: &MultiStarkProvingKey<SC>, ) -> DeviceMultiStarkProvingKey<CpuBackend<SC>>

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>>>, ) -> Arc<RowMajorMatrix<Val<SC>>>

fn transport_committed_trace_to_device( &self, commitment: Com<SC>, trace: &Arc<RowMajorMatrix<Val<SC>>>, prover_data: &Arc<PcsProverData<SC>>, ) -> CommittedTraceData<CpuBackend<SC>>

The commitment and prover_data are assumed to have been previously computed from the trace.

fn transport_matrix_from_device_to_host( &self, matrix: &Arc<RowMajorMatrix<Val<SC>>>, ) -> Arc<RowMajorMatrix<Val<SC>>>

Transport a device matrix to host. This should only be used for testing / debugging purposes.

impl<SC: StarkGenericConfig> OpeningProver<CpuBackend<SC>> for CpuDevice<SC>

fn open( &self, challenger: &mut SC::Challenger, preprocessed: Vec<&PcsData<SC>>, main: Vec<PcsData<SC>>, after_phase: Vec<PcsData<SC>>, quotient_data: PcsData<SC>, quotient_degrees: &[u8], ) -> OpeningProof<PcsProof<SC>, SC::Challenge>

Opening proof for multiple RAP matrices, where

impl<SC: StarkGenericConfig> QuotientCommitter<CpuBackend<SC>> for CpuDevice<SC>

fn eval_and_commit_quotient( &self, challenger: &mut SC::Challenger, pk_views: &[&DeviceStarkProvingKey<CpuBackend<SC>>], public_values: &[Vec<Val<SC>>], cached_pcs_datas_per_air: &[Vec<PcsData<SC>>], common_main_pcs_data: &PcsData<SC>, prover_data_after: &ProverDataAfterRapPhases<CpuBackend<SC>>, ) -> (Com<SC>, PcsData<SC>)

Given a view of the PCS data from all phases of proving, first get the trace polynomials evaluated on the quotient domains. Then compute the quotient polynomial evaluated on the quotient domain and commit to it.

impl<SC: StarkGenericConfig> RapPartialProver<CpuBackend<SC>> for CpuDevice<SC>

fn partially_prove( &self, challenger: &mut SC::Challenger, mpk: &DeviceMultiStarkProvingKeyView<'_, CpuBackend<SC>>, trace_views: Vec<AirView<Arc<RowMajorMatrix<Val<SC>>>, Val<SC>>>, ) -> (Option<RapPhaseSeqPartialProof<SC>>, ProverDataAfterRapPhases<CpuBackend<SC>>)

The trace_views are the respective (owned) trace matrices, evaluated on the trace domain. Currently this function does not provide a view of any already committed data associated with the trace views, although that data is available.

impl<SC: StarkGenericConfig> TraceCommitter<CpuBackend<SC>> for CpuDevice<SC>

fn commit( &self, traces: &[Arc<RowMajorMatrix<Val<SC>>>], ) -> (Com<SC>, PcsData<SC>)

impl<SC: StarkGenericConfig> ProverDevice<CpuBackend<SC>> for CpuDevice<SC>