Struct bellman::domain::EvaluationDomain
[−]
[src]
pub struct EvaluationDomain<E: Engine, G: Group<E>> { /* fields omitted */ }
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)[src]
pub fn ifft(&mut self, worker: &Worker)[src]
pub fn distribute_powers(&mut self, worker: &Worker, g: E::Fr)[src]
pub fn coset_fft(&mut self, worker: &Worker)[src]
pub fn icoset_fft(&mut self, worker: &Worker)[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)[src]
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.
Trait Implementations
Auto Trait Implementations
impl<E, G> Send for EvaluationDomain<E, G> where
<E as Engine>::Fr: Send,
<E as Engine>::Fr: Send,
impl<E, G> Sync for EvaluationDomain<E, G> where
<E as Engine>::Fr: Sync,
<E as Engine>::Fr: Sync,