Struct bellperson::domain::EvaluationDomain [−][src]
pub struct EvaluationDomain<E: ScalarEngine, G: Group<E>> { /* fields omitted */ }
Implementations
pub fn coset_fft(
&mut self,
worker: &Worker,
kern: &mut Option<LockedFFTKernel<E>>
) -> GPUResult<()>
pub fn icoset_fft(
&mut self,
worker: &Worker,
kern: &mut Option<LockedFFTKernel<E>>
) -> GPUResult<()>
This evaluates t(tau) for this domain, which is tau^m - 1 for these radix-2 domains.
The target polynomial is the zero polynomial in our evaluation domain, so we must perform division over a coset.
Perform O(n) multiplication of two polynomials in the domain.
Perform O(n) subtraction of one polynomial from another in the domain.