Trait snarkvm_algorithms::snark::marlin::ahp::ahp::UnnormalizedBivariateLagrangePoly

source · 
pub trait UnnormalizedBivariateLagrangePoly<F: PrimeField> {
    // Required methods
    fn eval_unnormalized_bivariate_lagrange_poly(&self, x: F, y: F) -> F;
    fn batch_eval_unnormalized_bivariate_lagrange_poly_with_diff_inputs(
        &self,
        x: F
    ) -> Vec<F>;
    fn batch_eval_unnormalized_bivariate_lagrange_poly_with_diff_inputs_over_domain(
        &self,
        x: F,
        domain: &EvaluationDomain<F>
    ) -> Vec<F>;
    fn batch_eval_unnormalized_bivariate_lagrange_poly_with_same_inputs(
        &self
    ) -> Vec<F>;
}
Expand description

The derivative of the vanishing polynomial

Required Methods§

source

fn eval_unnormalized_bivariate_lagrange_poly(&self, x: F, y: F) -> F

Evaluate the polynomial

source

fn batch_eval_unnormalized_bivariate_lagrange_poly_with_diff_inputs( &self, x: F ) -> Vec<F>

Evaluate over a batch of inputs

source

fn batch_eval_unnormalized_bivariate_lagrange_poly_with_diff_inputs_over_domain( &self, x: F, domain: &EvaluationDomain<F> ) -> Vec<F>

source

fn batch_eval_unnormalized_bivariate_lagrange_poly_with_same_inputs( &self ) -> Vec<F>

Evaluate the magic polynomial over self

Implementors§