Enum folding::expressions::ExpExtension

pub enum ExpExtension<C: FoldingConfig> {
    U,
    Error,
    ExtendedWitness(usize),
    Alpha(usize),
    Selector(C::Selector),
}

Extra expressions that can be created by folding

Variants

U

The variable u used to make the polynomial homogenous

Error

The error term

ExtendedWitness(usize)

Additional columns created by quadraticization

Alpha(usize)

The random values α_{i} used to aggregate constraints

Selector(C::Selector)

Represent a dynamic selector, in the case of using decomposable folding

Trait Implementations

impl<C> Clone for ExpExtension<C>where C: FoldingConfig,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C> Debug for ExpExtension<C>where C: FoldingConfig,

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

Formats the value using the given formatter.

impl<C> PartialEq<ExpExtension<C>> for ExpExtension<C>where C: FoldingConfig,

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.