Trait snarkvm_marlin::ahp::ahp::EvaluationsProvider

pub trait EvaluationsProvider<F: Field> {
    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<'a, F: Field> EvaluationsProvider<F> for Evaluations<'a, F>

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

impl<F: Field, T: Borrow<LabeledPolynomial<F>>> EvaluationsProvider<F> for Vec<T>

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

Implementors