Struct AirProvingContext 

pub struct AirProvingContext<PB: ProverBackend> {
    pub cached_mains: Vec<CommittedTraceData<PB>>,
    pub common_main: Option<PB::Matrix>,
    pub public_values: Vec<PB::Val>,
}

Necessary context for proving a single AIR. Consists of the trace and public values (witness and instance data) as well as cached prover data from cached traces (already committed traces).

Public values: for each AIR, a separate list of public values. The prover can support global public values that are shared among all AIRs, but we currently split public values per-AIR for modularity.

Fields

cached_mains: Vec<CommittedTraceData<PB>>

Cached main trace matrices with commitments. One matrix per commitment.

common_main: Option<PB::Matrix>

Common main trace matrix

public_values: Vec<PB::Val>

Public values

Implementations

impl<PB: ProverBackend> AirProvingContext<PB>

pub fn new( cached_mains: Vec<CommittedTraceData<PB>>, common_main: Option<PB::Matrix>, public_values: Vec<PB::Val>, ) -> Self

Constructs a new AirProvingContext.

impl<PB: ProverBackend> AirProvingContext<PB>

pub fn simple(trace: PB::Matrix, public_values: Vec<PB::Val>) -> Self

pub fn simple_no_pis(trace: PB::Matrix) -> Self

pub fn multiple_simple( traces: Vec<PB::Matrix>, public_values: Vec<Vec<PB::Val>>, ) -> Vec<Self>

pub fn multiple_simple_no_pis(traces: Vec<PB::Matrix>) -> Vec<Self>

pub fn main_trace_height(&self) -> usize

Return the height of the main trace.

Trait Implementations

impl<PB: ProverBackend> Clone for AirProvingContext<PB>

where PB::Matrix: Clone, PB::PcsData: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.