Struct snarkvm_algorithms::fft::polynomial::PolyMultiplier

pub struct PolyMultiplier<'a, F: PrimeField> { /* private fields */ }

Implementations

impl<'a, F: PrimeField> PolyMultiplier<'a, F>

pub fn new() -> Self

pub fn add_precomputation(
    &mut self,
    fft_pc: &'a FFTPrecomputation<F>,
    ifft_pc: &'a IFFTPrecomputation<F>
)

pub fn add_polynomial(&mut self, poly: DensePolynomial<F>, label: impl ToString)

pub fn add_evaluation(&mut self, evals: Evaluations<F>, label: impl ToString)

pub fn add_polynomial_ref(
    &mut self,
    poly: &'a DensePolynomial<F>,
    label: impl ToString
)

pub fn add_evaluation_ref(
    &mut self,
    evals: &'a Evaluations<F>,
    label: impl ToString
)

pub fn multiply(self) -> Option<DensePolynomial<F>>

Multiplies all polynomials stored in self.

Returns None if any of the stored evaluations are over a domain that’s insufficiently large to interpolate the product, or if F does not contain a sufficiently large subgroup for interpolation.

pub fn element_wise_arithmetic_4_over_domain<T: Borrow<str>>(
    self,
    domain: EvaluationDomain<F>,
    labels: [T; 4],
    f: impl Fn(F, F, F, F) -> F + Sync
) -> Option<DensePolynomial<F>>

Trait Implementations

impl<'a, F: Default + PrimeField> Default for PolyMultiplier<'a, F>

fn default() -> PolyMultiplier<'a, F>

Returns the “default value” for a type.