Trait snarkvm_algorithms::snark::marlin::ahp::ahp::SelectorPolynomial

source · 
pub trait SelectorPolynomial<F: PrimeField> {
    // Required method
    fn evaluate_selector_polynomial(
        &self,
        other: EvaluationDomain<F>,
        point: F
    ) -> F;
}
Expand description

Given two domains H and K such that H \subseteq K, construct polynomial that outputs 0 on all elements in K \ H, but 1 on all elements of H.

Required Methods§

source

fn evaluate_selector_polynomial( &self, other: EvaluationDomain<F>, point: F ) -> F

Implementors§