Enum ExtendedFoldingColumn

pub enum ExtendedFoldingColumn<C: FoldingConfig> {
    Inner(Variable<C::Column>),
    WitnessExtended(usize),
    Error,
    Constant(<C::Curve as AffineRepr>::ScalarField),
    Challenge(C::Challenge),
    Alpha(usize),
    Selector(C::Selector),
}

Describes the additional columns. It is parametrized by a configuration for the folding scheme, described in the trait FoldingConfig. For instance, the configuration describes the initial columns of the circuit, the challenges and the underlying field.

Variants

Inner(Variable<C::Column>)

The variables of the initial circuit, without quadraticization and not homogeonized.

WitnessExtended(usize)

For the extra columns added by the module quadraticization.

Error

The error term introduced in the “relaxed” instance.

Constant(<C::Curve as AffineRepr>::ScalarField)

A constant value in our expression

Challenge(C::Challenge)

A challenge used by the PIOP or the folding scheme.

Alpha(usize)

A list of randomizer to combine expressions

Selector(C::Selector)

A “virtual” selector that can be used to activate/deactivate expressions while folding/accumulating multiple expressions.

Trait Implementations

impl<C> Clone for ExtendedFoldingColumn<C>

where C: FoldingConfig,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C> Debug for ExtendedFoldingColumn<C>

where C: FoldingConfig,

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

Formats the value using the given formatter.

impl<C> Hash for ExtendedFoldingColumn<C>

where C: FoldingConfig,

fn hash<__HC>(&self, __state: &mut __HC)

where __HC: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<C> PartialEq for ExtendedFoldingColumn<C>

where C: FoldingConfig,

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<C> Eq for ExtendedFoldingColumn<C>

where C: FoldingConfig,