Struct AirProofInput

pub struct AirProofInput<SC: StarkGenericConfig> {
    pub cached_mains_pdata: Vec<(Com<SC>, Arc<PcsProverData<SC>>)>,
    pub raw: AirProofRawInput<Val<SC>>,
}

Necessary input for proving a single AIR.

The Chip trait is currently specific to the CPU backend and in particular to RowMajorMatrix. We may extend to more general ProverBackends, but currently we use this struct as a common interface.

Fields

cached_mains_pdata: Vec<(Com<SC>, Arc<PcsProverData<SC>>)>

Prover data for cached main traces. They must either be all provided or they will be regenerated from the raw traces.

raw: AirProofRawInput<Val<SC>>

Implementations

impl<SC: StarkGenericConfig> AirProofInput<SC>

pub fn simple( trace: RowMajorMatrix<Val<SC>>, public_values: Vec<Val<SC>>, ) -> Self

pub fn simple_no_pis(trace: RowMajorMatrix<Val<SC>>) -> Self

pub fn multiple_simple( traces: Vec<RowMajorMatrix<Val<SC>>>, public_values: Vec<Vec<Val<SC>>>, ) -> Vec<Self>

pub fn multiple_simple_no_pis(traces: Vec<RowMajorMatrix<Val<SC>>>) -> Vec<Self>

pub fn main_trace_height(&self) -> usize

Return the height of the main trace.

Trait Implementations

impl<SC: StarkGenericConfig> AirProofInputTestHelper<SC> for AirProofInput<SC>

fn cached_traces_no_pis( cached_traces: Vec<RowMajorMatrix<Val<SC>>>, common_trace: RowMajorMatrix<Val<SC>>, ) -> Self

impl<SC: StarkGenericConfig> Clone for AirProofInput<SC>

where Com<SC>: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.