Struct GenericPreExpanded

pub struct GenericPreExpanded<F> { /* private fields */ }

Works for any $S^{(0)}$ and pre-computes twiddles.

Implementations

impl<F: BinaryField> GenericPreExpanded<F>

pub fn generate_from_subspace(subspace: &BinarySubspace<F>) -> Self

Given a basis of $S^{(0)}$, computes a compatible DomainContext.

This will precompute the twiddles.

Trait Implementations

impl<F: Debug> Debug for GenericPreExpanded<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: BinaryField> DomainContext for GenericPreExpanded<F>

type Field = F

fn log_domain_size(&self) -> usize

Base 2 logarithm of the size of $S^{(0)}$, i.e., $\ell$.

fn subspace(&self, i: usize) -> BinarySubspace<F>

Returns the binary subspace with dimension $i$.

fn twiddle(&self, layer: usize, block: usize) -> F

Returns the twiddle of a certain block in a certain layer.

fn iter_twiddles( &self, layer: usize, log_step_by: usize, ) -> impl Iterator<Item = F>

Returns an iterator over all twiddles in a layer.