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.
Trait Implementations
Auto Trait Implementations
impl<E, G> RefUnwindSafe for EvaluationDomain<E, G> where
G: RefUnwindSafe,
<E as ScalarEngine>::Fr: RefUnwindSafe,
impl<E, G> Send for EvaluationDomain<E, G>
impl<E, G> Sync for EvaluationDomain<E, G>
impl<E, G> Unpin for EvaluationDomain<E, G> where
G: Unpin,
<E as ScalarEngine>::Fr: Unpin,
impl<E, G> UnwindSafe for EvaluationDomain<E, G> where
G: UnwindSafe,
<E as ScalarEngine>::Fr: UnwindSafe,