Trait kimchi::circuits::expr::ColumnEvaluations

pub trait ColumnEvaluations<F> {
    type Column;

    // Required method
    fn evaluate(
        &self,
        col: Self::Column
    ) -> Result<PointEvaluations<F>, ExprError<Self::Column>>;
}

Required Associated Types

type Column

Required Methods

fn evaluate( &self, col: Self::Column ) -> Result<PointEvaluations<F>, ExprError<Self::Column>>

Implementors

impl<F: Copy> ColumnEvaluations<F> for ProofEvaluations<PointEvaluations<F>>

type Column = Column