Struct ZerofierOnCoset

pub struct ZerofierOnCoset<F: Field> { /* private fields */ }

Precomputations of the evaluation of Z_H(X) = X^n - 1 on a coset s K with H <= K.

Implementations

impl<F: TwoAdicField> ZerofierOnCoset<F>

pub fn new(log_n: usize, rate_bits: usize, coset_shift: F) -> Self

pub fn eval(&self, i: usize) -> F

Returns Z_H(g * w^i).

pub fn eval_inverse(&self, i: usize) -> F

Returns 1 / Z_H(g * w^i).

pub fn eval_inverse_packed<P: PackedField<Scalar = F>>( &self, i_start: usize, ) -> P

Like eval_inverse, but for a range of indices starting with i_start.

pub fn lagrange_basis_unnormalized(&self, i: usize) -> Vec<F>

Evaluate the Langrange basis polynomial, L_i(x) = Z_H(x) / (x - g_H^i), on our coset s K. Here L_i(x) is unnormalized in the sense that it evaluates to some nonzero value at g_H^i, not necessarily 1.

Trait Implementations

impl<F: Debug + Field> Debug for ZerofierOnCoset<F>

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

Formats the value using the given formatter.