Struct AirProvingContext 

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

Fields

cached_mains: Vec<CommittedTraceData<PB>>

Cached main trace matrices as PcsData. The original trace matrix should be extractable as a view from the PcsData. The PcsData should also contain the commitment value. Cached trace commitments have a single matrix per commitment.

The PcsData is kept inside an Arc to emphasize that this data is cached and may be shared between multiple proving contexts. In particular, it is not typically safe to mutate the data during a proving job.

common_main: 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: PB::Matrix, public_values: Vec<PB::Val>, ) -> Self

Constructs a new AirProvingContext.

impl<PB: ProverBackend> AirProvingContext<PB>

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

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

pub fn height(&self) -> usize

Return the height of the main trace.