Enum FoldingCompatibleExpr

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

Compatible folding expressions that can be used with folding schemes. An expression from kimchi::circuits::expr::Expr can be converted into a FoldingCompatibleExpr using the trait From. From there, an expression of type IntegratedFoldingExpr can be created using the function folding_expression.

Variants

Atom(FoldingCompatibleExprInner<C>)

Pow(Box<Self>, u64)

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

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

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

Double(Box<Self>)

Square(Box<Self>)

Implementations

impl<C: FoldingConfig> FoldingCompatibleExpr<C>

Converts an expression “compatible” with folding into a folded expression.

pub fn simplify(self) -> FoldingExp<C>

pub fn map_variable( self, mapper: &dyn Fn(Variable<C::Column>) -> Variable<C::Column>, ) -> FoldingCompatibleExpr<C>

Maps variable (column index) in expression using the mapper function. Can be used to modify (remap) the indexing of columns after the expression is built.

pub fn flatten_quad_columns( self, mapper: &dyn Fn(usize) -> Variable<C::Column>, ) -> FoldingCompatibleExpr<C>

Map all quad columns into regular witness columns.

Trait Implementations

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

type Output = FoldingCompatibleExpr<C>

The resulting type after applying the + operator.

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

Performs the + operation.

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

where C: FoldingConfig,

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

Formats the value using the given formatter.

impl<C: FoldingConfig> Display for FoldingCompatibleExpr<C>

Implement a human-readable version of a folding compatible expression.

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

Formats the value using the given formatter.

impl<F, Col, Config: FoldingConfig<Column = Col>> From<Operations<ConstantExprInner<F, BerkeleyChallengeTerm>>> for FoldingCompatibleExpr<Config>

where Config::Curve: AffineRepr<ScalarField = F>, Config::Challenge: From<BerkeleyChallengeTerm>,

fn from(expr: Operations<ConstantExprInner<F, BerkeleyChallengeTerm>>) -> Self

Converts to this type from the input type.

impl<F, Col, Config: FoldingConfig<Column = Col>> From<Operations<ExprInner<ConstantExprInner<F, BerkeleyChallengeTerm>, Col>>> for FoldingCompatibleExpr<Config>

where Config::Curve: AffineRepr<ScalarField = F>, Config::Challenge: From<BerkeleyChallengeTerm>,

fn from( expr: Operations<ExprInner<ConstantExprInner<F, BerkeleyChallengeTerm>, Col>>, ) -> Self

Converts to this type from the input type.

impl<F, Col, Config: FoldingConfig<Column = Col>> From<Operations<ExprInner<Operations<ConstantExprInner<F, BerkeleyChallengeTerm>>, Col>>> for FoldingCompatibleExpr<Config>

where Config::Curve: AffineRepr<ScalarField = F>, Config::Challenge: From<BerkeleyChallengeTerm>,

fn from( expr: Operations<ExprInner<Operations<ConstantExprInner<F, BerkeleyChallengeTerm>>, Col>>, ) -> Self

Converts to this type from the input type.

impl<C: FoldingConfig> Mul for FoldingCompatibleExpr<C>

type Output = FoldingCompatibleExpr<C>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<C> PartialEq for FoldingCompatibleExpr<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 FoldingCompatibleExpr<C>

type Output = FoldingCompatibleExpr<C>

The resulting type after applying the - operator.

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

Performs the - operation.