snark_verifier::util::arithmetic

Function root_of_unity

Source
pub fn root_of_unity<F: PrimeField>(k: usize) -> F
Expand description

Root of unity of 2^k-sized multiplicative subgroup of PrimeField by repeatedly squaring the root of unity of the largest multiplicative subgroup.

ยงPanic

If given k is greater than PrimeField::S.