Struct AirProofInput

pub struct AirProofInput<SC: StarkGenericConfig> {
    pub air: Arc<dyn AnyRap<SC>>,
    pub cached_mains_pdata: Vec<ProverTraceData<SC>>,
    pub raw: AirProofRawInput<Val<SC>>,
}

Necessary input for proving a single AIR.

Fields

air: Arc<dyn AnyRap<SC>>

cached_mains_pdata: Vec<ProverTraceData<SC>>

Prover data for cached main traces

raw: AirProofRawInput<Val<SC>>

Implementations

impl<SC: StarkGenericConfig> AirProofInput<SC>

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

pub fn simple_no_pis( air: Arc<dyn AnyRap<SC>>, trace: RowMajorMatrix<Val<SC>>, ) -> Self

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

pub fn multiple_simple_no_pis( airs: Vec<Arc<dyn AnyRap<SC>>>, 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( air: Arc<dyn AnyRap<SC>>, 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.