Struct MultiStarkVerifyingKeyView 

pub struct MultiStarkVerifyingKeyView<'a, Val, Com> {
    pub per_air: Vec<&'a StarkVerifyingKey<Val, Com>>,
    pub trace_height_constraints: &'a [LinearConstraint],
    pub pre_hash: Com,
}

Fields

per_air: Vec<&'a StarkVerifyingKey<Val, Com>>

trace_height_constraints: &'a [LinearConstraint]

Trace height constraints are not filtered by AIR. When computing the dot product, this will be indexed into by air_id.

pre_hash: Com

Implementations

impl<'a, Val, Com> MultiStarkVerifyingKeyView<'a, Val, Com>

pub fn new( per_air: Vec<&'a StarkVerifyingKey<Val, Com>>, trace_height_constraints: &'a [LinearConstraint], pre_hash: Com, ) -> Self

Constructs a new MultiStarkVerifyingKeyView.

impl<Val, Com: Clone> MultiStarkVerifyingKeyView<'_, Val, Com>

pub fn preprocessed_commits(&self) -> Vec<Option<Com>>

Returns the preprocessed commit of each AIR. If the AIR does not have a preprocessed trace, returns None.

pub fn flattened_preprocessed_commits(&self) -> Vec<Com>

Returns all non-empty preprocessed commits.

pub fn num_phases(&self) -> usize

pub fn num_challenges_per_phase(&self) -> Vec<usize>

pub fn num_challenges_in_phase(&self, phase_idx: usize) -> usize

pub fn main_widths(&self) -> Vec<usize>

Returns the main width for each AIR.

pub fn total_widths<E>(&self) -> Vec<usize>

where Val: Field, E: ExtensionField<Val>,

Returns the total width for each AIR.

pub fn num_interactions(&self) -> Vec<usize>

Returns the number of interactions for each AIR.

Trait Implementations

impl<'a, Val: Clone, Com: Clone> Clone for MultiStarkVerifyingKeyView<'a, Val, Com>

fn clone(&self) -> MultiStarkVerifyingKeyView<'a, Val, Com>

Returns a duplicate of the value.

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

Performs copy-assignment from source.