Struct CpuBackend

pub struct CpuBackend<SC> { /* private fields */ }

CPU backend using Plonky3 traits.

Trait Implementations

impl<SC> Clone for CpuBackend<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> Default for CpuBackend<SC>

fn default() -> Self

Returns the “default value” for a type.

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

where SC: StarkGenericConfig,

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

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

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

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> ProverBackend for CpuBackend<SC>

const CHALLENGE_EXT_DEGREE: u8 = _

Extension field degree for the challenge field Self::Challenge over base field Self::Val.

type Val = <<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val

Base field type, on host.

type Challenge = <SC as StarkGenericConfig>::Challenge

Challenge field (extension field of base field), on host.

type OpeningProof = OpeningProof<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Proof, <SC as StarkGenericConfig>::Challenge>

PCS opening proof on host (see OpeningProver). This should not be a reference.

type RapPartialProof = Option<<<SC as StarkGenericConfig>::RapPhaseSeq as RapPhaseSeq<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val, <SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::PartialProof>

Partial proof for multiple RAPs

type Commitment = <<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment

Single commitment on host.

type Challenger = <SC as StarkGenericConfig>::Challenger

Challenger to observe commitments. Sampling is left to other trait implementations. We anticipate that the challenger largely operates on the host.

type Matrix = Arc<DenseMatrix<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>

Single matrix buffer on device together with dimension metadata. Owning this means nothing else has a shared reference to the buffer.

type PcsData = PcsData<SC>

Owned buffer for the preimage of a PCS commitment on device, together with any metadata necessary for computing opening proofs.

type RapPartialProvingKey = <<SC as StarkGenericConfig>::RapPhaseSeq as RapPhaseSeq<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val, <SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::PartialProvingKey

Part of proving key for a single RAP specific for the RAP challenge phases

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<SC> Copy for CpuBackend<SC>

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