Struct StarkVerificationAdviceVariable

pub struct StarkVerificationAdviceVariable<C: Config> {
    pub preprocessed_data: Array<C, DigestVariable<C>>,
    pub width: TraceWidthVariable<C>,
    pub log_quotient_degree: Usize<C::N>,
    pub num_public_values: Usize<C::N>,
    pub num_challenges_to_sample: Array<C, Usize<C::N>>,
    pub num_exposed_values_after_challenge: Array<C, Usize<C::N>>,
}

Fields

preprocessed_data: Array<C, DigestVariable<C>>

Preprocessed trace data, if any

width: TraceWidthVariable<C>

Trace sub-matrix widths

log_quotient_degree: Usize<C::N>

The factor to multiply the trace degree by to get the degree of the quotient polynomial. Determined from the max constraint degree of the AIR constraints. This is equivalently the number of chunks the quotient polynomial is split into.

num_public_values: Usize<C::N>

Number of public values for this STARK only

num_challenges_to_sample: Array<C, Usize<C::N>>

For only this RAP, how many challenges are needed in each trace challenge phase

num_exposed_values_after_challenge: Array<C, Usize<C::N>>

Number of values to expose to verifier in each trace challenge phase

Trait Implementations

impl<C: Clone + Config> Clone for StarkVerificationAdviceVariable<C>

where C::N: Clone,

fn clone(&self) -> StarkVerificationAdviceVariable<C>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Config> MemVariable<C> for StarkVerificationAdviceVariable<C>

fn size_of() -> usize

fn load( &self, ptr: Ptr<<C as Config>::N>, index: MemIndex<<C as Config>::N>, builder: &mut Builder<C>, )

Loads the variable from the heap.

fn store( &self, ptr: Ptr<<C as Config>::N>, index: MemIndex<<C as Config>::N>, builder: &mut Builder<C>, )

Stores the variable to the heap.

impl<C: Config> Variable<C> for StarkVerificationAdviceVariable<C>

type Expression = StarkVerificationAdviceVariable<C>

fn uninit(builder: &mut Builder<C>) -> Self

fn assign(&self, src: Self::Expression, builder: &mut Builder<C>)

fn assert_eq( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn assert_ne( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn eval(builder: &mut Builder<C>, expr: impl Into<Self::Expression>) -> Self