[−][src]Trait snarkos_marlin::ahp::EvaluationsProvider

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

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

Get the evaluation of linear combination lc at point.

Loading content...

Implementations on Foreign Types

impl<'a, F: Field> EvaluationsProvider<F> for Evaluations<'a, F>[src]

impl<'a, F: Field, T: Borrow<LabeledPolynomial<'a, F>>> EvaluationsProvider<F> for Vec<T>[src]

Loading content...

Implementors

Loading content...