Struct CpuDevice

pub struct CpuDevice<'a, SC> { /* private fields */ }

Implementations

impl<'a, SC> CpuDevice<'a, SC>

pub fn new(config: &'a SC) -> 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<'a, SC> Clone for CpuDevice<'a, SC>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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_views_per_air: &[Vec<SingleCommitPreimage<&Arc<RowMajorMatrix<Val<SC>>>, &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<'a>( &self, challenger: &mut SC::Challenger, mpk: &DeviceMultiStarkProvingKey<'a, CpuBackend<SC>>, trace_views: Vec<PairView<&'a Arc<RowMajorMatrix<Val<SC>>>, Val<SC>>>, ) -> (Option<RapPhaseSeqPartialProof<SC>>, ProverDataAfterRapPhases<CpuBackend<SC>>)

The trace_views are the views of the respective 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<'a, SC> Copy for CpuDevice<'a, SC>

impl<SC: StarkGenericConfig> ProverDevice<CpuBackend<SC>> for CpuDevice<'_, SC>