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

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

Implementations

impl<F: Field, ChallengeTerm: Copy> ConstantExpr<F, ChallengeTerm>

pub fn value( &self, c: &Constants<F>, chals: &dyn Index<ChallengeTerm, Output = F> ) -> F

Evaluate the given constant expression to a field element.

Trait Implementations

impl<'a, F, ChallengeTerm: AlphaChallengeTerm<'a>> From<ChallengeTerm> for ConstantExpr<F, ChallengeTerm>

fn from(x: ChallengeTerm) -> Self

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

fn from(x: u64) -> Self

Converts to this type from the input type.