Struct GaoMateerPreExpanded

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

Produces a specific “Gao-Mateer” $S^{(0)}$ and pre-computes twiddles. Only works for binary fields whose degree over $\mathbb{F}_2$ is a power of two.

For an explanation of this $S^{(0)}$, see GaoMateerOnTheFly.

Implementations

impl<F: BinaryField + TraceOneElement> GaoMateerPreExpanded<F>

pub fn generate(log_domain_size: usize) -> Self

Given the intended size of $S^{(0)}$, computes a “nice” Gao-Mateer DomainContext.

This will precompute the twiddles.

Preconditions

• The degree (over $\mathbb{F}2$) of the field needs to be a tower of two. For example, it does not work with $\mathbb{F}{2^3}$, but it works with $\mathbb{F}_{2^4}$.
• log_domain_size must be nonzero

Trait Implementations

impl<F: Debug> Debug for GaoMateerPreExpanded<F>

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

Formats the value using the given formatter.

impl<F: BinaryField> DomainContext for GaoMateerPreExpanded<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.