Type Definition kimchi::circuits::expr::ConstantExpr

pub type ConstantExpr<F> = Operations<ConstantExprInner<F>>;

Implementations

impl<F: Field> ConstantExpr<F>

pub fn value(&self, c: &Constants<F>, chals: &Challenges<F>) -> F

Evaluate the given constant expression to a field element.

Trait Implementations

impl<F> From<ChallengeTerm> for ConstantExpr<F>

fn from(x: ChallengeTerm) -> Self

Converts to this type from the input type.

impl<F> From<ConstantTerm<F>> for ConstantExpr<F>

fn from(x: ConstantTerm<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<u64> for ConstantExpr<F>

fn from(x: u64) -> Self

Converts to this type from the input type.