Struct GenericOnTheFly

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

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

On-the-fly twiddle computation should not be used for running a big NTT or for a complete FRI folding. In both cases, all twiddles will be accessed eventually, so they might as well be precomputed. But it could possibly be used e.g. in the FRI verifier, which only accesses a few selected twiddles.

Implementations

impl<F: BinaryField> GenericOnTheFly<F>

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

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

This will not precompute the twiddles; instead they will be computed on-the-fly.

Trait Implementations

impl<F: Debug> Debug for GenericOnTheFly<F>

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

Formats the value using the given formatter.

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