Trait snarkvm_algorithms::snark::marlin::ahp::ahp::EvaluationsProvider

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

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, AHPError>

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,

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

Implementors

impl<'a, F: PrimeField> EvaluationsProvider<F> for Evaluations<'a, F>