Trait SymbolicEvaluator

pub trait SymbolicEvaluator<F: Field, E: AbstractField + From<F>> {
    // Required method
    fn eval_var(&self, symbolic_var: SymbolicVariable<F>) -> E;

    // Provided method
    fn eval_expr(&self, symbolic_expr: &SymbolicExpression<F>) -> E { ... }
}

Required Methods

fn eval_var(&self, symbolic_var: SymbolicVariable<F>) -> E

Provided Methods

fn eval_expr(&self, symbolic_expr: &SymbolicExpression<F>) -> E

Implementors

impl<F, EF, PubVar, Var, Expr> SymbolicEvaluator<F, Expr> for GenericVerifierConstraintFolder<'_, F, EF, PubVar, Var, Expr>

where F: Field, EF: ExtensionField<F>, Expr: AbstractField + From<F> + Send + Sync, Var: Into<Expr> + Copy + Send + Sync, PubVar: Into<Expr> + Copy + Send + Sync,

impl<SC> SymbolicEvaluator<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val, <<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val as Field>::Packing> for ProverConstraintFolder<'_, SC>

where SC: StarkGenericConfig,