Trait EvaluationsProvider 

pub trait EvaluationsProvider<F: PrimeField>: Debug {
    // Required method
    fn get_lc_eval(&self, lc: &LinearCombination<F>, point: F) -> Result<F>;
}

Abstraction that provides evaluations of (linear combinations of) polynomials

Intended to provide a common interface for both the prover and the verifier when constructing linear combinations via AHPForR1CS::construct_linear_combinations.

Required Methods

fn get_lc_eval(&self, lc: &LinearCombination<F>, point: F) -> Result<F>

Get the evaluation of linear combination lc at point.

Implementations on Foreign Types

impl<F, T> EvaluationsProvider<F> for Vec<T>

where F: PrimeField, T: Borrow<LabeledPolynomial<F>> + Debug,

The EvaluationsProvider used by the prover

fn get_lc_eval(&self, lc: &LinearCombination<F>, point: F) -> Result<F>

Implementors

impl<F: PrimeField> EvaluationsProvider<F> for Evaluations<F>

The EvaluationsProvider used by the verifier