[−][src]Struct bellperson::domain::EvaluationDomain
Methods
impl<E: Engine, G: Group<E>> EvaluationDomain<E, G>
[src]
pub fn as_ref(&self) -> &[G]
[src]
pub fn as_mut(&mut self) -> &mut [G]
[src]
pub fn into_coeffs(self) -> Vec<G>
[src]
pub fn from_coeffs(
coeffs: Vec<G>
) -> Result<EvaluationDomain<E, G>, SynthesisError>
[src]
coeffs: Vec<G>
) -> Result<EvaluationDomain<E, G>, SynthesisError>
pub fn fft(&mut self, worker: &Worker, kern: &mut Option<FFTKernel<E>>)
[src]
pub fn ifft(&mut self, worker: &Worker, kern: &mut Option<FFTKernel<E>>)
[src]
pub fn distribute_powers(&mut self, worker: &Worker, g: E::Fr)
[src]
pub fn coset_fft(&mut self, worker: &Worker, kern: &mut Option<FFTKernel<E>>)
[src]
pub fn icoset_fft(&mut self, worker: &Worker, kern: &mut Option<FFTKernel<E>>)
[src]
pub fn z(&self, tau: &E::Fr) -> E::Fr
[src]
This evaluates t(tau) for this domain, which is tau^m - 1 for these radix-2 domains.
pub fn divide_by_z_on_coset(
&mut self,
worker: &Worker,
kern: &mut Option<FFTKernel<E>>
)
[src]
&mut self,
worker: &Worker,
kern: &mut Option<FFTKernel<E>>
)
The target polynomial is the zero polynomial in our evaluation domain, so we must perform division over a coset.
pub fn mul_assign(
&mut self,
worker: &Worker,
other: &EvaluationDomain<E, Scalar<E>>
)
[src]
&mut self,
worker: &Worker,
other: &EvaluationDomain<E, Scalar<E>>
)
Perform O(n) multiplication of two polynomials in the domain.
pub fn sub_assign(&mut self, worker: &Worker, other: &EvaluationDomain<E, G>)
[src]
Perform O(n) subtraction of one polynomial from another in the domain.
Auto Trait Implementations
impl<E, G> Send for EvaluationDomain<E, G> where
<E as ScalarEngine>::Fr: Send,
<E as ScalarEngine>::Fr: Send,
impl<E, G> Sync for EvaluationDomain<E, G> where
<E as ScalarEngine>::Fr: Sync,
<E as ScalarEngine>::Fr: Sync,
impl<E, G> Unpin for EvaluationDomain<E, G> where
G: Unpin,
<E as ScalarEngine>::Fr: Unpin,
G: Unpin,
<E as ScalarEngine>::Fr: Unpin,
impl<E, G> UnwindSafe for EvaluationDomain<E, G> where
G: UnwindSafe,
<E as ScalarEngine>::Fr: UnwindSafe,
G: UnwindSafe,
<E as ScalarEngine>::Fr: UnwindSafe,
impl<E, G> RefUnwindSafe for EvaluationDomain<E, G> where
G: RefUnwindSafe,
<E as ScalarEngine>::Fr: RefUnwindSafe,
G: RefUnwindSafe,
<E as ScalarEngine>::Fr: RefUnwindSafe,
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,