Trait kimchi::circuits::expr::constraints::ExprOps

pub trait ExprOps<F>: Add<Output = Self> + Sub<Output = Self> + Neg<Output = Self> + Mul<Output = Self> + AddAssign<Self> + MulAssign<Self> + Clone + Zero + One + From<u64> + Debug + Displaywhere
    Self: Sized,{
    // Required methods
    fn two_pow(pow: u64) -> Self;
    fn two_to_limb() -> Self;
    fn two_to_2limb() -> Self;
    fn two_to_3limb() -> Self;
    fn double(&self) -> Self;
    fn square(&self) -> Self;
    fn pow(&self, p: u64) -> Self;
    fn boolean(&self) -> Self;
    fn crumb(&self) -> Self;
    fn literal(x: F) -> Self;
    fn witness(
        row: CurrOrNext,
        col: usize,
        env: Option<&ArgumentData<F>>
    ) -> Self;
    fn coeff(col: usize, env: Option<&ArgumentData<F>>) -> Self;
    fn constant(expr: ConstantExpr<F>, env: Option<&ArgumentData<F>>) -> Self;
    fn cache(&self, cache: &mut Cache) -> Self;
}

This trait defines a common arithmetic operations interface that can be used by constraints. It allows us to reuse constraint code for witness computation.

Required Methods

fn two_pow(pow: u64) -> Self

2^pow

fn two_to_limb() -> Self

2^{LIMB_BITS}

fn two_to_2limb() -> Self

2^{2 * LIMB_BITS}

fn two_to_3limb() -> Self

2^{3 * LIMB_BITS}

fn double(&self) -> Self

Double the value

fn square(&self) -> Self

Compute the square of this value

fn pow(&self, p: u64) -> Self

Raise the value to the given power

fn boolean(&self) -> Self

Constrain to boolean

fn crumb(&self) -> Self

Constrain to crumb (i.e. two bits)

fn literal(x: F) -> Self

Create a literal

fn witness(row: CurrOrNext, col: usize, env: Option<&ArgumentData<F>>) -> Self

fn coeff(col: usize, env: Option<&ArgumentData<F>>) -> Self

Coefficient

fn constant(expr: ConstantExpr<F>, env: Option<&ArgumentData<F>>) -> Self

Create a constant

fn cache(&self, cache: &mut Cache) -> Self

Cache item

Implementors

impl<F> ExprOps<F> for Expr<ConstantExpr<F>, Column>where F: PrimeField, Expr<ConstantExpr<F>, Column>: Display,

impl<F: Field> ExprOps<F> for F