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

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

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§

source

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§

source§

impl<F, T> EvaluationsProvider<F> for Vec<T>where F: PrimeField, T: Borrow<LabeledPolynomial<F>> + Debug,

source§

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

Implementors§