[][src]Struct bellman::domain::EvaluationDomain

pub struct EvaluationDomain<S: PrimeField, G: Group<S>> { /* fields omitted */ }

Implementations

impl<S: PrimeField, G: Group<S>> EvaluationDomain<S, G>[src]

pub fn into_coeffs(self) -> Vec<G>[src]

pub fn from_coeffs(
    mut coeffs: Vec<G>
) -> Result<EvaluationDomain<S, G>, SynthesisError>
[src]

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: S)[src]

pub fn coset_fft(&mut self, worker: &Worker)[src]

pub fn icoset_fft(&mut self, worker: &Worker)[src]

pub fn z(&self, tau: &S) -> S[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<S, Scalar<S>>
)
[src]

Perform O(n) multiplication of two polynomials in the domain.

pub fn sub_assign(&mut self, worker: &Worker, other: &EvaluationDomain<S, G>)[src]

Perform O(n) subtraction of one polynomial from another in the domain.

Trait Implementations

impl<S: PrimeField, G: Group<S>> AsMut<[G]> for EvaluationDomain<S, G>[src]

impl<S: PrimeField, G: Group<S>> AsRef<[G]> for EvaluationDomain<S, G>[src]

Auto Trait Implementations

impl<S, G> RefUnwindSafe for EvaluationDomain<S, G> where
    G: RefUnwindSafe,
    S: RefUnwindSafe
[src]

impl<S, G> Send for EvaluationDomain<S, G>[src]

impl<S, G> Sync for EvaluationDomain<S, G>[src]

impl<S, G> Unpin for EvaluationDomain<S, G> where
    G: Unpin,
    S: Unpin
[src]

impl<S, G> UnwindSafe for EvaluationDomain<S, G> where
    G: UnwindSafe,
    S: UnwindSafe
[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<A, T> AsBits<T> for A where
    A: AsRef<[T]>,
    T: BitStore + BitRegister
[src]

impl<A, T> AsBitsMut<T> for A where
    A: AsMut<[T]>,
    T: BitStore + BitRegister
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Conv for T

impl<T> Conv for T

impl<T> FmtForward for T

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pipe for T where
    T: ?Sized

impl<T> Pipe for T

impl<T> PipeAsRef for T

impl<T> PipeBorrow for T

impl<T> PipeDeref for T

impl<T> PipeRef for T

impl<T> Tap for T

impl<T> Tap for T

impl<T, U> TapAsRef<U> for T where
    U: ?Sized

impl<T, U> TapBorrow<U> for T where
    U: ?Sized

impl<T> TapDeref for T

impl<T> TryConv for T

impl<T> TryConv for T

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.