Struct TraceWidthVariable

pub struct TraceWidthVariable<C: Config> {
    pub preprocessed: Array<C, Usize<C::N>>,
    pub cached_mains: Array<C, Usize<C::N>>,
    pub common_main: Usize<C::N>,
    pub after_challenge: Array<C, Usize<C::N>>,
}

Fields

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

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

common_main: Usize<C::N>

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

Width counted by extension field elements, not base field elements

Trait Implementations

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

where C::N: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Debug + Config> Debug for TraceWidthVariable<C>

where C::N: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<C: Config> MemVariable<C> for TraceWidthVariable<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 TraceWidthVariable<C>

type Expression = TraceWidthVariable<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