Enum FoldingExp

pub enum FoldingExp<C: FoldingConfig> {
    Atom(ExtendedFoldingColumn<C>),
    Pow(Box<Self>, u64),
    Add(Box<Self>, Box<Self>),
    Mul(Box<Self>, Box<Self>),
    Sub(Box<Self>, Box<Self>),
    Double(Box<Self>),
    Square(Box<Self>),
}

Internal expression used for folding. A “folding” expression is a multivariate polynomial like defined in kimchi::circuits::expr with the following differences.

• No constructors related to zero-knowledge or lagrange basis (i.e. no constructors related to the PIOP)
• The variables includes a set of columns that describes the initial circuit shape, with additional columns strictly related to the folding scheme (error term, etc).

Variants

Atom(ExtendedFoldingColumn<C>)

Pow(Box<Self>, u64)

Add(Box<Self>, Box<Self>)

Mul(Box<Self>, Box<Self>)

Sub(Box<Self>, Box<Self>)

Double(Box<Self>)

Square(Box<Self>)

Implementations

impl<C: FoldingConfig> FoldingExp<C>

pub fn double(self) -> Self

Trait Implementations

impl<C: FoldingConfig> Add for FoldingExp<C>

type Output = FoldingExp<C>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl<C> Clone for FoldingExp<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 FoldingExp<C>

where C: FoldingConfig,

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

Formats the value using the given formatter.

impl<C> Hash for FoldingExp<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: FoldingConfig> Mul for FoldingExp<C>

type Output = FoldingExp<C>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl<C> PartialEq for FoldingExp<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: FoldingConfig> Sub for FoldingExp<C>

type Output = FoldingExp<C>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.

impl<C> Eq for FoldingExp<C>

where C: FoldingConfig,